On Complexity of Model-Checking for the TQL Logic. - Iovka Boneva; Jean-Marc Talbot (IFIP TCS, 2004)

Expressiveness of a Spatial Logic for Trees. - Iovka Boneva; Jean-Marc Talbot; Sophie Tison (LICS, 2005)

Automata and Logics for Unranked and Unordered Trees. - Iovka Boneva; Jean-Marc Talbot (RTA, 2005)

When ambients cannot be opened. - Iovka Boneva; Jean-Marc Talbot (Theor. Comput. Sci., 2005)

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 (2006)

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 001; Ole Kniemeyer; Tom Mens; Benjamin Ness; et al. (AGTIVE, 2007)

Simulating Multigraph Transformations Using Simple Graphs. - Iovka Boneva; Frank Hermann 001; Harmen Kastenberg; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

A Modal-Logic Based Graph Abstraction. - Jörg Bauer 001; Iovka Boneva; Marcos E. Kurbán; Arend Rensink (ICGT, 2008)

Graph Abstraction for a Modal Logic. - Iovka Boneva; Jörg Kreiker; Marcos E. Kurbán; Arend Rensink (Bull. EATCS, 2009)

The view update problem for XML. - Slawek Staworko; Iovka Boneva; Benoît Groz (EDBT/ICDT Workshops, 2010)

View update translation for XML. - Iovka Boneva; Anne-Cécile Caron; Benoît Groz; Yves Roos; Sophie Tison; Slawek Staworko (ICDT, 2011)

Simple Schemas for Unordered XML. - Iovka Boneva; Radu Ciucanu; Slawek Staworko (WebDB, 2013)

Validating RDF with Shape Expressions. - Iovka Boneva; José Emilio Labra Gayo; Samuel Hym; Eric G. Prud'hommeaux; Harold R. Solbrig; Slawek Staworko (CoRR, 2014)

Graph Data Exchange with Target Constraints. - Iovka Boneva; Angela Bonifati; Radu Ciucanu (EDBT/ICDT Workshops, 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 (EDBT/ICDT Workshops, 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 (ICDT, 2015)

Shape Expressions Schemas. - Iovka Boneva; José Emilio Labra Gayo; Eric G. Prud'hommeaux; Slawek Staworko (CoRR, 2015)

Schemas for Unordered XML on a DIME. - Iovka Boneva; Radu Ciucanu; Slawek Staworko (Theory Comput. Syst., 2015)

Semantics and Validation of Shapes Schemas for RDF. - Iovka Boneva; José Emilio Labra Gayo; Eric G. Prud'hommeaux (ISWC (1), 2017)

Validating and describing linked data portals using shapes. - José Emilio Labra Gayo; Eric Prud'hommeaux; Harold R. Solbrig; Iovka Boneva (CoRR, 2017)

Validating RDF Data - José Emilio Labra Gayo; Eric Prud'hommeaux; Iovka Boneva; Dimitris Kontokostas (Morgan & Claypool Publishers, 2017)

Relational to RDF Data Exchange in Presence of a Shape Expression Schema. - Iovka Boneva; Jose Lozano; Slawomir Staworko (AMW, 2018)

Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams. - Iovka Boneva; Joachim Niehren; Momar Sakho (RP, 2018)

Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables. - Iovka Boneva; Joachim Niehren; Momar Sakho (LATA, 2019)

ShERML: Mapping Relational Data to RDF. - Iovka Boneva; Jose Martin Lozano Aparicio; Slawomir Staworko (ISWC (Satellites), 2019)

Shape Designer for ShEx and SHACL constraints. - Iovka Boneva; Jérémie Dusart; Daniel Fernández-Álvarez; José Emilio Labra Gayo (ISWC (Satellites), 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)

Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints. - Iovka Boneva; Slawek Staworko; Jose Lozano (ADBIS (Short Papers), 2020)

Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata. - Iovka Boneva; Joachim Niehren; Momar Sakho (CSR, 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)

Regular matching and inclusion on compressed tree patterns with constrained context variables. - Iovka Boneva; Joachim Niehren; Momar Sakho (Inf. Comput., 2022)

Static Analysis of Graph Database Transformations. - Iovka Boneva; Benoît Groz; Jan Hidders; Filip Murlak; Slawek Staworko (PODS, 2023)

Shape Expressions with Inheritance. - Iovka Boneva; José Emilio Labra Gayo; Eric Prud'hommeaux; Katherine Thornton; Andra Waagmeester (ESWC (1), 2025)

Common Foundations for SHACL, ShEx, and PG-Schema. - 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; et al. (WWW, 2025)