Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extending two-variable logic on data trees with order on data values and its automata.. ACM Trans. Comput. Log., 15 (1): 8:1-8:39 (2014)A simple combinatorial proof for the small model property of two-variable logic., and . Inf. Process. Lett., (2021)On the Variable Hierarchy of First-Order Spectra., and . ACM Trans. Comput. Log., 16 (2): 17:1-17:12 (2015)Regular Graphs and the Spectra of Two-Variable Logic with Counting., and . SIAM J. Comput., 44 (3): 786-818 (2015)On the Satisfiability of Two-Variable Logic over Data Words., , and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 248-262. Springer, (2010)On the complexity of query answering over incomplete XML documents., , and . ICDT, page 169-181. ACM, (2012)Approximating polyhedral objects with deformable smooth surfaces., and . Comput. Geom., 39 (2): 104-117 (2008)Pebble automata for data languages: separation, decidability, and undecidability.. Technion - Israel Institute of Technology, Israel, (2009)Gumbo: Guarded Fragment Queries over Big Data., , and . EDBT, page 521-524. OpenProceedings.org, (2015)Graph Reachability and Pebble Automata over Infinite Alphabets.. LICS, page 157-166. IEEE Computer Society, (2009)