Nombre de documents

12

CV de Iovka Boneva


Article dans une revue2 documents

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

Pré-publication, Document de travail1 document

  • Iovka Boneva. Comparative expressiveness of ShEx and SHACL (Early working draft). 2016. <hal-01288285>

Communication dans un congrès8 documents

  • 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. 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, 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. 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>

Thèse1 document

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