Author of the publication

Decidability and Complexity of Tree Share Formulas.

, , and . FSTTCS, volume 65 of LIPIcs, page 19:1-19:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Probabilistic Bisimulation for Parameterized Systems (Technical Report)., , , and . CoRR, (2020)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)., , , , and . CoRR, (2023)Regular Model Checking Revisited., and . Model Checking, Synthesis, and Learning, volume 13030 of Lecture Notes in Computer Science, page 97-114. Springer, (2021)Rational Verification for Probabilistic Systems., , , , and . KR, page 312-322. (2021)Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems., and . AAMAS, page 1254-1262. ACM, (2021)Regular Symmetry Patterns., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 455-475. Springer, (2016)Complexity Analysis of Tree Share Structure., , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 89-108. Springer, (2018)Relational Perspective on Graph Query Languages., , and . CoRR, (2024)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games., , , , and . CSL, volume 288 of LIPIcs, page 32:1-32:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Monadic Decomposition in Integer Linear Arithmetic., , , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 122-140. Springer, (2020)