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

Commuting costs and their impact on wage rates. Institute of Transport Studies, University of Leeds, (2006)Weighted Relational Models for Mobility.. FSCD, volume 52 of LIPIcs, page 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Bidomains and Full Abstraction for Countable Nondeterminism.. FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 352-366. Springer, (2006)From Qualitative to Quantitative Semantics - By Change of Base.. FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 36-52. (2017)A Fully Abstract Trace Semantics for General References.. ICALP, volume 4596 of Lecture Notes in Computer Science, page 667-679. Springer, (2007)Finite Models and Full Completeness.. CSL, volume 1862 of Lecture Notes in Computer Science, page 384-398. Springer, (2000)On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF.. Fundam. Informaticae, 77 (4): 511-531 (2007)Game semantics for a polymorphic programming language.. J. ACM, 60 (4): 29:1-29:27 (2013)Fixed Points In Quantitative Semantics.. LICS, page 347-356. ACM, (2016)Polymorphic Game Semantics for Dynamic Binding.. CSL, volume 62 of LIPIcs, page 27:1-27:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)