From post

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.

 

Другие публикации лиц с тем же именем

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