Publications

Journals

• When Ambients Cannot be Opened. In Theoretical Computer Science, (333):127--169. Elsevier, 2005. With Jean-Marc Talbot. abstract

Conferences and workshops

• View update translation for XML. In Proceedings of the 14th International Conference on Database Theory (ICDT 2011). With Benoît Groz, Sophie Tison, Anne-Cécile Caron, Yves Roos and Slawek Staworko. abstract

• The View Update Problem for XML. In EDBT/ICDT Workshops (Updates in XML), March 2010, Lausanne, Switzerland. With Benoît Groz and Slawek Staworko. abstract

• A Modal-Logic Based Graph Abstraction. In Proceedings of 4th International Conference on Graph Transformation. With Jörg Bauer, Arend Rensink and Marcos Kurbán. abstract

• Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. In Proceedings of the third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007). To appear. With Gabriele Taentzer, Enrico Biermann, Denes Bisztray, Bernd Bohnet, Artur Boronat, Leif Geiger, Rubino Geiss, Akos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamas Vajk. abstract

• Simulating Multigraph Transformations Using Simple Graphs. In Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), 2007, Volume 6 of Electronic Communications of the EASST, With Frank Hermann, Harmen Kastenberg and Arend Rensink. abstract

• Expressiveness of a spatial logic for trees. In 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005) IEEE Comp. Soc. Press, 2005. With Jean-Marc Talbot and Sophie Tison. abstract

• Automata and Logics for Unranked and Unordered Trees. In 20th International Conference on Rewriting Techniques and Applications (RTA 2005). Lecture Notes in Computer Science (3467). Springer Verlag, 2005. With Jean-Marc Talbot. abstract

• On Complexity of Model-Checking for the TQL Logic. In TC1 3rd IFIP International Conference on Theoretical Computer Science (TCS2004). Kluwer, 2004. With Jean-Marc Talbot. abstract

• When Ambients Cannot be Opened. In Sixth International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2003. Lecture Notes in Computer Science (2620). Springer Verlag, 2003. With Jean-Marc Talbot. abstract

Manuscripts

• Graph Abstraction and Abstract Graph Transformations. Technical report, University of Twente, 2007. With Arend Rensink, Marcos E. Kurbán, Jörg Bauer. abstract

Doctorate thesis

• Expressiveness, satisfiability and model checking of a spatial logic for unordered trees. abstract