Author of the publication

Expressive Languages for Path Queries over Graph-Structured Data.

, , , and . ACM Trans. Database Syst., 37 (4): 31:1-31:46 (2012)

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

Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs).. MFCS, volume 7464 of Lecture Notes in Computer Science, page 630-642. Springer, (2012)Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)., and . CoRR, (2021)CertiStr: a certified string solver., , , and . CPP, page 210-224. ACM, (2022)Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables., , , , , , , , and . CoRR, (2021)Logical Languages Accepted by Transformer Encoders with Hard Attention., , , and . CoRR, (2023)Concurrent Stochastic Lossy Channel Games., , , and . CoRR, (2023)Reasoning on Data Words over Numeric Domains., and . LICS, page 37:1-37:13. ACM, (2022)Accelerating tree-automatic relations.. FSTTCS, volume 18 of LIPIcs, page 313-324. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)String solving with word equations and transducers: towards a logic for analysing mutation XSS., and . POPL, page 123-136. ACM, (2016)A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type., , , , , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 325-342. Springer, (2020)