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

Games Characterizing Levy-Longo Trees., and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 476-487. Springer, (2002)Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes.. MFCS, volume 4708 of Lecture Notes in Computer Science, page 15-21. Springer, (2007)Applying Game Semantics to Compositional Software Modeling and Verification., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 421-435. Springer, (2004)ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States., , and . ACM Trans. Program. Lang. Syst., 41 (2): 11:1-11:38 (2019)Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs., , and . LICS, page 889-898. ACM, (2018)Logic, Language, Information and Computation (WoLLIC 2012)., and . Theor. Comput. Sci., (2015)Higher-order constrained horn clauses for verification., , and . Proc. ACM Program. Lang., 2 (POPL): 11:1-11:28 (2018)Verifying Liveness Properties of ML Programs., , , and . CoRR, (2020)Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing., , and . CoRR, (2024)Defunctionalization of Higher-Order Constrained Horn Clauses., , and . CoRR, (2018)