Iovka Boneva

According to our database, Iovka Boneva authored at least 32 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Static Analysis of Graph Database Transformations.

Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

Regular matching and inclusion on compressed tree patterns with constrained context variables.

Iovka Boneva, Joachim Niehren, Momar Sakho

Inf. Comput., 2022

2020

ShExML: improving the usability of heterogeneous data mapping languages for first-time users.

Herminio García-González, Iovka Boneva, Slawek Staworko, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle

PeerJ Comput. Sci., 2020

Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata.

Iovka Boneva, Joachim Niehren, Momar Sakho

Proceedings of the Computer Science - Theory and Applications, 2020

Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints.

Iovka Boneva, Slawek Staworko, Jose Lozano

Proceedings of the New Trends in Databases and Information Systems, 2020

2019

Semi Automatic Construction of ShEx and SHACL Schemas.

Iovka Boneva, Jérémie Dusart, Daniel Fernández-Álvarez, José Emilio Labra Gayo

CoRR, 2019

Shape Designer for ShEx and SHACL constraints.

Iovka Boneva, Jérémie Dusart, Daniel Fernández-Álvarez, José Emilio Labra Gayo

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

ShERML: Mapping Relational Data to RDF.

Iovka Boneva, Jose Martin Lozano Aparicio, Slawomir Staworko

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables.

Iovka Boneva, Joachim Niehren, Momar Sakho

Proceedings of the Language and Automata Theory and Applications, 2019

2018

Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams.

Iovka Boneva, Joachim Niehren, Momar Sakho

Proceedings of the Reachability Problems - 12th International Conference, 2018

Relational to RDF Data Exchange in Presence of a Shape Expression Schema.

Iovka Boneva, Jose Lozano, Slawomir Staworko

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017

Validating RDF Data

José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Dimitris Kontokostas

Synthesis Lectures on the Semantic Web: Theory and Technology, Morgan & Claypool Publishers, ISBN: 978-3-031-79478-0, 2017

Validating and describing linked data portals using shapes.

José Emilio Labra Gayo, Eric Prud'hommeaux, Harold R. Solbrig, Iovka Boneva

CoRR, 2017

Semantics and Validation of Shapes Schemas for RDF.

Iovka Boneva, José Emilio Labra Gayo, Eric G. Prud'hommeaux

Proceedings of the Semantic Web - ISWC 2017, 2017

2015

Schemas for Unordered XML on a DIME.

Iovka Boneva, Radu Ciucanu, Slawek Staworko

Theory Comput. Syst., 2015

Shape Expressions Schemas.

Iovka Boneva, José Emilio Labra Gayo, Eric G. Prud'hommeaux, Slawek Staworko

CoRR, 2015

Complexity and Expressiveness of ShEx for RDF.

Slawek Staworko, Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig

Proceedings of the 18th International Conference on Database Theory, 2015

Towards an RDF Validation Language Based on Regular Expression Derivatives.

José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Slawek Staworko, Harold R. Solbrig, Samuel Hym

Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

Graph Data Exchange with Target Constraints.

Iovka Boneva, Angela Bonifati, Radu Ciucanu

Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

2014

Validating RDF with Shape Expressions.

Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko

CoRR, 2014

2013

Simple Schemas for Unordered XML.

Iovka Boneva, Radu Ciucanu, Slawek Staworko

Proceedings of the 16th International Workshop on the Web and Databases 2013, 2013

2011

View update translation for XML.

Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Sophie Tison, Slawek Staworko

Proceedings of the Database Theory, 2011

2010

The view update problem for XML.

Slawek Staworko, Iovka Boneva, Benoît Groz

Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010

2009

Graph Abstraction for a Modal Logic.

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink

Bull. EATCS, 2009

2008

A Modal-Logic Based Graph Abstraction.

Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Simulating Multigraph Transformations Using Simple Graphs.

Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.

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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

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

PhD thesis, 2006

2005

When ambients cannot be opened.

Iovka Boneva, Jean-Marc Talbot

Theor. Comput. Sci., 2005

Automata and Logics for Unranked and Unordered Trees.

Iovka Boneva, Jean-Marc Talbot

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Expressiveness of a Spatial Logic for Trees.

Iovka Boneva, Jean-Marc Talbot, Sophie Tison

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

On Complexity of Model-Checking for the TQL Logic.

Iovka Boneva, Jean-Marc Talbot

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004