Iovka Boneva

maître de conférences
CNU : SECTION 27 - INFORMATIQUE
iovka_boneva.jpg

Iovka Boneva

maître de conférences

Publications

Article dans des revues

  • Iovka Boneva, Radu Ciucanu, Slawomir Staworko. Schemas for Unordered XML on a DIME. Theory of Computing Systems, Springer Verlag, 2015, 57 (2), pp.337--376. ⟨10.1007/s00224-014-9593-1⟩. ⟨hal-01076329⟩
  • Iovka Boneva, Jean-Marc Talbot. When Ambients Cannot be Opened. Theoretical Computer Science, Elsevier, 2005, 2 (333), pp.127-169. ⟨inria-00536689⟩

Communication dans un congrès

  • Iovka Boneva, Joachim Niehren, Momar Sakho. Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata. 15th International Computer Science Symposium in Russia, Jul 2020, Ekaterinburg, Russia. ⟨hal-02532706⟩
  • Iovka Boneva, Joachim Niehren, Momar Sakho. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables. LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint Petersburg, Russia. ⟨hal-01811835v4⟩
  • Iovka Boneva, Jose Lozano, Sławek Staworko. Relational to RDF Data Exchange in Presence of a Shape Expression Schema. AMW 2018 - 12th Alberto Mendelzon International Workshop on Foundations of Data Management, May 2018, Cali, Colombia. pp.1-16. ⟨hal-01775199⟩
  • Iovka Boneva, Angela Bonifati, Radu Ciucanu. Graph Data Exchange with Target Constraints. EDBT/ICDT Workshops - Querying Graph Structured Data (GraphQ), Mar 2015, Bruxelles, Belgium. pp.171-176. ⟨hal-01095838⟩
  • Slawomir Staworko, Iovka Boneva, Jose Emilio Labra Gayo, Samuel Hym, Eric Gordon Prud'Hommeaux, et al.. Complexity and Expressiveness of ShEx for RDF. 18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.195⟩. ⟨hal-01218552⟩
  • Iovka Boneva, Radu Ciucanu, Slawomir Staworko. Simple Schemas for Unordered XML. 16th International Workshop on the Web and Databases (WebDB), Jun 2013, New York, United States. ⟨hal-00824459⟩
  • Iovka Boneva, Benoit Groz, Sophie Tison, Anne-Cécile Caron, Yves Roos, et al.. View update translation for XML. 14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden. ⟨inria-00534857v2⟩
  • Slawomir Staworko, Iovka Boneva, Benoit Groz. The view update problem for XML. 2010 EDBT/ICDT Workshops, Mar 2010, Lausanne, Switzerland. ⟨10.1145/1754239.1754262⟩. ⟨inria-00536503⟩
  • Iovka Boneva, Jean-Marc Talbot. Automata and Logics for Unranked and Unordered Trees. 20th International Conference on Rewriting Techniques and Applications, 2005, Nara, Japan. pp.500--515. ⟨inria-00536694⟩
  • Iovka Boneva, Jean-Marc Talbot, Sophie Tison. Expressiveness of a spatial logic for trees. 20th Annual IEEE Symposium on Logic in Computer Science, 2005, Chicago, United States. pp.280--289. ⟨inria-00536696⟩
  • Iovka Boneva, Jean-Marc Talbot. When Ambients Cannot be Opened. Proceedings of Sixth International Conference on Foundations of Software Science and Computation Structures, 2003, Warsaw, Poland. pp.169 -- 184. ⟨inria-00536732⟩

Poster

  • Iovka Boneva, Jérémie Dusart, Daniel Fernández Alvarez, Jose Emilio Labra Gayo. Shape Designer for ShEx and SHACL Constraints. ISWC 2019 - 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand. 2019. ⟨hal-02268667⟩

Ouvrage (y compris édition critique et traduction)

Pré-publication, Document de travail

  • Iovka Boneva, Jérémie Dusart, Daniel Fernández Alvarez, Jose Emilio Labra Gayo. Semi Automatic Construction of ShEx and SHACL Schemas. 2019. ⟨hal-02193275⟩
  • Iovka Boneva, Joachim Niehren, Momar Sakho. Approximating Certain Query Answers on Nested Hyperstreams. 2019. ⟨hal-02092276⟩
  • Iovka Boneva, Joachim Niehren, Momar Sakho. Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version). 2018. ⟨hal-01846016⟩
  • Iovka Boneva. Comparative expressiveness of ShEx and SHACL (Early working draft). 2016. ⟨hal-01288285⟩

Thèse

  • Iovka Boneva. Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés. Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français. ⟨tel-00613198⟩