Iovka Boneva

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

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

  • Momar Sakho, Iovka Boneva, Joachim Niehren. Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables. 13th International Conference on Language and Automata Theory and Applications (LATA), Mar 2019, Saint Petersburg, Russia. Springer, 2019. 〈hal-01926011〉
  • 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, 〈http://ceur-ws.org/Vol-1330/paper-28.pdf〉. 〈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. Marcelo Arenas and Martín Ugarte. 18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. 2015, 18th International Conference on Database Theory (ICDT 2015). 〈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. 2011. 〈inria-00534857v2〉
  • Slawomir Staworko, Iovka Boneva, Benoit Groz. The view update problem for XML. 2010 EDBT/ICDT Workshops, Mar 2010, Lausanne, Switzerland. 2010, Proceedings of the 2010 EDBT/ICDT Workshops. 〈10.1145/1754239.1754262〉. 〈inria-00536503〉
  • 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. IEEE Computer Science Press, pp.280--289, 2005. 〈inria-00536696〉
  • Iovka Boneva, Jean-Marc Talbot. Automata and Logics for Unranked and Unordered Trees. Jürgen Giesl. 20th International Conference on Rewriting Techniques and Applications, 2005, Nara, Japan. Springer, 3467, pp.500--515, 2005, Lecture Notes in Computer Science. 〈inria-00536694〉
  • Iovka Boneva, Jean-Marc Talbot. When Ambients Cannot be Opened. Andrew D. Gordon. Proceedings of Sixth International Conference on Foundations of Software Science and Computation Structures, 2003, Warsaw, Poland. Springer, pp.169 -- 184, 2003, Lecture Notes in Computer Science. 〈inria-00536732〉

Ouvrage (y compris édition critique et traduction)

Autre publication

  • Iovka Boneva, Joachim Niehren, Momar Sakho. Approximating Certain Query Answering on Hyperstreams. Technical report. 2018. 〈hal-01811835〉

Pré-publication, Document de travail

  • 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〉