Iovka Boneva

42 papers A* 3A 2B 2C 1Misc 1Journal 17Unranked 14
YearRankTypeTitle / Venue / Authors
2025 A* conf
Common Foundations for SHACL, ShEx, and PG-Schema.
WWW
Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025 J jnl
Common Foundations for SHACL, ShEx, and PG-Schema.
CoRR
Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025 — conf
Shape Expressions with Inheritance.
ESWC (1)
Iovka Boneva, José Emilio Labra Gayo, Eric Prud'hommeaux, Katherine Thornton, Andra Waagmeester
2025 J jnl
Shape Expressions with Inheritance.
CoRR
Iovka Boneva, José Emilio Labra Gayo, Eric Prud'hommeaux, Katherine Thornton, Andra Waagmeester
2023 A* conf
Static Analysis of Graph Database Transformations.
PODS
Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko
2023 J jnl
Static Analysis of Graph Database Transformations.
CoRR
Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawomir Staworko
2022 J jnl
Regular matching and inclusion on compressed tree patterns with constrained context variables.
Inf. Comput.
Iovka Boneva, Joachim Niehren, Momar Sakho
2020 — conf
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints.
ADBIS (Short Papers)
Iovka Boneva, Slawek Staworko, Jose Lozano
2020 J jnl
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints.
CoRR
Iovka Boneva, Jose Lozano, Slawek Staworko
2020 Misc conf
Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata.
CSR
Iovka Boneva, Joachim Niehren, Momar Sakho
2020 J jnl
ShExML: improving the usability of heterogeneous data mapping languages for first-time users.
PeerJ Comput. Sci.
Herminio García-González, Iovka Boneva, Slawek Staworko, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle
2019 C conf
Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables.
LATA
Iovka Boneva, Joachim Niehren, Momar Sakho
2019 J jnl
Semi Automatic Construction of ShEx and SHACL Schemas.
CoRR
Iovka Boneva, Jérémie Dusart, Daniel Fernández-Álvarez, José Emilio Labra Gayo
2019 — conf
ShERML: Mapping Relational Data to RDF.
ISWC (Satellites)
Iovka Boneva, Jose Martin Lozano Aparicio, Slawomir Staworko
2019 — conf
Shape Designer for ShEx and SHACL constraints.
ISWC (Satellites)
Iovka Boneva, Jérémie Dusart, Daniel Fernández-Álvarez, José Emilio Labra Gayo
2018 — conf
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams.
RP
Iovka Boneva, Joachim Niehren, Momar Sakho
2018 — conf
Relational to RDF Data Exchange in Presence of a Shape Expression Schema.
AMW
Iovka Boneva, Jose Lozano, Slawomir Staworko
2018 J jnl
Relational to RDF Data Exchange in Presence of a Shape Expression Schema.
CoRR
Iovka Boneva, Jose Lozano, Slawek Staworko
2017 — conf
Semantics and Validation of Shapes Schemas for RDF.
ISWC (1)
Iovka Boneva, José Emilio Labra Gayo, Eric G. Prud'hommeaux
2017 — book
Validating RDF Data
José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Dimitris Kontokostas
2017 J jnl
Validating and describing linked data portals using shapes.
CoRR
José Emilio Labra Gayo, Eric Prud'hommeaux, Harold R. Solbrig, Iovka Boneva
2015 A conf
Complexity and Expressiveness of ShEx for RDF.
ICDT
Slawek Staworko, Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig
2015 — conf
Graph Data Exchange with Target Constraints.
EDBT/ICDT Workshops
Iovka Boneva, Angela Bonifati, Radu Ciucanu
2015 J jnl
Schemas for Unordered XML on a DIME.
Theory Comput. Syst.
Iovka Boneva, Radu Ciucanu, Slawek Staworko
2015 J jnl
Shape Expressions Schemas.
CoRR
Iovka Boneva, José Emilio Labra Gayo, Eric G. Prud'hommeaux, Slawek Staworko
2015 — conf
Towards an RDF Validation Language Based on Regular Expression Derivatives.
EDBT/ICDT Workshops
José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Slawek Staworko, Harold R. Solbrig, Samuel Hym
2014 J jnl
Validating RDF with Shape Expressions.
CoRR
Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko
2013 J jnl
Schemas for Unordered XML on a DIME.
CoRR
Iovka Boneva, Radu Ciucanu, Slawek Staworko
2013 J jnl
Simple Schemas for Unordered XML
CoRR
Iovka Boneva, Radu Ciucanu, Slawek Staworko
2013 — conf
Simple Schemas for Unordered XML.
WebDB
Iovka Boneva, Radu Ciucanu, Slawek Staworko
2011 A conf
View update translation for XML.
ICDT
Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Sophie Tison, Slawek Staworko
2010 — conf
The view update problem for XML.
EDBT/ICDT Workshops
Slawek Staworko, Iovka Boneva, Benoît Groz
2009 J jnl
Graph Abstraction for a Modal Logic.
Bull. EATCS
Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink
2008 B conf
A Modal-Logic Based Graph Abstraction.
ICGT
Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
2007 — conf
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
AGTIVE
Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
2007 J jnl
Simulating Multigraph Transformations Using Simple Graphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
2006 — —
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés. (Logics for unranked and unordered trees and their use for querying semistructured data).
Iovka Boneva
2005 — conf
Automata and Logics for Unranked and Unordered Trees.
RTA
Iovka Boneva, Jean-Marc Talbot
2005 A* conf
Expressiveness of a Spatial Logic for Trees.
LICS
Iovka Boneva, Jean-Marc Talbot, Sophie Tison
2005 J jnl
When ambients cannot be opened.
Theor. Comput. Sci.
Iovka Boneva, Jean-Marc Talbot
2004 — conf
On Complexity of Model-Checking for the TQL Logic.
IFIP TCS
Iovka Boneva, Jean-Marc Talbot
2003 B conf
When Ambients Cannot Be Opened.
FoSSaCS
Iovka Boneva, Jean-Marc Talbot