Iovka Boneva
Publications
Publications
|
|
Shape Expressions with InheritanceESWC 2025 - 22nd European Semantic Web Conference, Jun 2025, Portoroz, Slovenia. pp.481-499, ⟨10.1007/978-3-031-94575-5_26⟩ |
|
|
Common Foundations for SHACL, ShEx, and PG-SchemaWWW 2025 - The ACM Web Conference 2025, Apr 2025, Sydney, Australia. pp.8-21, ⟨10.1145/3696410.3714694⟩ |
|
|
Static Analysis of Graph Database TransformationsSymposium on Principles of Database Systems, Jun 2023, Seattle, United States |
|
|
Nested Regular Expressions can be Compiled to Small Deterministic Nested Word AutomataCSR 2020 - 15th International Computer Science Symposium in Russia, Jun 2020, Ekaterinburg, Russia |
|
|
ShERML: Mapping Relational Data to RDF *Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, Industry, and Outrageous Ideas) co-located with 18th International Semantic Web Conference (ISWC 2019), Oct 2019, Auckland, New Zealand |
|
|
Regular Matching and Inclusion on Compressed Tree Patterns with Context VariablesLATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint Petersburg, Russia |
|
|
Relational to RDF Data Exchange in Presence of a Shape Expression SchemaAMW 2018 - 12th Alberto Mendelzon International Workshop on Foundations of Data Management, May 2018, Cali, Colombia. pp.1-16 |
|
|
Semantics and Validation of Shapes Schemas for RDFISWC2017 - 16th International semantic web conference, Oct 2017, Vienna, Austria |
|
|
Graph Data Exchange with Target ConstraintsEDBT/ICDT Workshops - Querying Graph Structured Data (GraphQ), Mar 2015, Bruxelles, Belgium. pp.171-176 |
|
|
Complexity and Expressiveness of ShEx for RDF18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.195⟩ |
|
|
Simple Schemas for Unordered XML16th International Workshop on the Web and Databases (WebDB), Jun 2013, New York, United States |
|
|
View update translation for XML14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden |
|
|
The view update problem for XML2010 EDBT/ICDT Workshops, Mar 2010, Lausanne, Switzerland. ⟨10.1145/1754239.1754262⟩ |
|
|
Automata and Logics for Unranked and Unordered Trees20th International Conference on Rewriting Techniques and Applications, 2005, Nara, Japan. pp.500--515 |
|
|
Expressiveness of a spatial logic for trees20th Annual IEEE Symposium on Logic in Computer Science, 2005, Chicago, United States. pp.280--289 |
|
|
When Ambients Cannot be OpenedProceedings of Sixth International Conference on Foundations of Software Science and Computation Structures, 2003, Warsaw, Poland. pp.169 -- 184 |
|
|
Regular Matching and Inclusion on Compressed Tree Patterns with Constrained Context VariablesInformation and Computation, 2022, 286, ⟨10.1016/j.ic.2021.104776⟩ |
|
|
ShExML: improving the usability of heterogeneous data mapping languages for first-time usersPeerJ Computer Science, 2020, 6, pp.27. ⟨10.7717/peerj-cs.318⟩ |
|
|
Schemas for Unordered XML on a DIMETheory of Computing Systems, 2015, 57 (2), pp.337--376. ⟨10.1007/s00224-014-9593-1⟩ |
When Ambients Cannot be OpenedTheoretical Computer Science, 2005, 2 (333), pp.127-169. ⟨10.1016/j.tcs.2004.10.020⟩ |
|
|
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints2021 |
|
|
Semi Automatic Construction of ShEx and SHACL Schemas2019 |
|
|
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version)2018 |
|
|
Comparative expressiveness of ShEx and SHACL (Early working draft)2016 |
|
|
Shape Expressions Schemas2015 |
|
|
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape ConstraintsConsistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints, pp.97-107, 2020, ADBIS 2020: New Trends in Databases and Information Systems, ⟨10.1007/978-3-030-54623-6_9⟩ |
|
|
Shape Designer for ShEx and SHACL ConstraintsISWC 2019 - 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand. 2019 |
|
|
Validating RDF DataMorgan & Claypool, 7 (1), pp.1 - 328, 2017, ⟨10.2200/S00786ED1V01Y201707WBE016⟩ |
|
|
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnésAutre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français. ⟨NNT : ⟩ |