dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Iovka Boneva Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Sophie Tison, Slawek Staworko: View update translation for XML. ICDT 2011: 42-53
2010
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlawek Staworko, Iovka Boneva, Benoît Groz: The view update problem for XML. EDBT/ICDT Workshops 2010
2009
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink: Graph Abstraction for a Modal Logic. Bulletin of the EATCS 97: 106-116 (2009)
2008
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink: A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk: Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE 2007: 514-539
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink: Simulating Multigraph Transformations Using Simple Graphs. ECEASST 6: (2007)
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Jean-Marc Talbot, Sophie Tison: Expressiveness of a Spatial Logic for Trees. LICS 2005: 280-289
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Jean-Marc Talbot: Automata and Logics for Unranked and Unordered Trees. RTA 2005: 500-515
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Jean-Marc Talbot: When ambients cannot be opened. Theor. Comput. Sci. 333(1-2): 127-169 (2005)
2004
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Jean-Marc Talbot: On Complexity of Model-Checking for the TQL Logic. IFIP TCS 2004: 381-394
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIovka Boneva, Jean-Marc Talbot: When Ambients Cannot Be Opened. FoSSaCS 2003: 169-184

Coauthor Index

1Enrico Biermann [7]
2Dénes Bisztray [7]
3Bernd Bohnet [7]
4Artur Boronat [7]
5Anne-Cécile Caron [11]
6Leif Geiger [7]
7Rubino Geiß [7]
8Benoît Groz [10] [11]
9Frank Hermann [6]
10Ákos Horvath [7]
11Harmen Kastenberg [6]
12Ole Kniemeyer [7]
13Jörg Kreiker (Jörg Bauer) [8] [9]
14Marcos E. Kurbán [8] [9]
15Tom Mens [7]
16Benjamin Ness [7]
17Detlef Plump [7]
18Arend Rensink [6] [8] [9]
19Yves Roos [11]
20Slawomir Staworko (Slawek Staworko) [10] [11]
21Gabriele Taentzer [7]
22Jean-Marc Talbot [1] [2] [3] [4] [5]
23Sophie Tison [5] [11]
24Tamás Vajk [7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page