Author of the publication

Symbolic Execution Game Semantics.

, and . FSCD, volume 167 of LIPIcs, page 27:1-27:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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

History-Register Automata, and . Logical Methods in Computer Science, (2016)Reachability in pushdown register automata., , and . J. Comput. Syst. Sci., (2017)From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques., , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 178-195. Springer, (2022)Game Semantic Analysis of Equivalence in IMJ., , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 411-428. Springer, (2015)A Contextual Equivalence Checker for IMJ ∗., , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 234-240. Springer, (2015)Towards Nominal Abramsky., and . Computation, Logic, Games, and Quantum Foundations, volume 7860 of Lecture Notes in Computer Science, page 246-263. Springer, (2013)There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques., , and . CoRR, (2021)Program Equivalence with Names.. Modelling, Controlling and Reasoning About State, volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Block Structure vs. Scope Extrusion: Between Innocence and Omniscience., and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 33-47. Springer, (2010)Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence., , and . LICS, page 53:1-53:15. ACM, (2024)