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

Bayesian inference using data flow analysis., , , , and . ESEC/SIGSOFT FSE, page 92-102. ACM, (2013)Service Combinators for Farming Virtual Machines., , and . TGC, volume 4912 of Lecture Notes in Computer Science, page 22. Springer, (2007)Ambient Groups and Mobility Types., , and . IFIP TCS, volume 1872 of Lecture Notes in Computer Science, page 333-347. Springer, (2000)Validating a Web service security abstraction by typing., and . XML Security, page 18-29. ACM, (2002)Equational Properties of Mobile Ambients., and . FoSSaCS, volume 1578 of Lecture Notes in Computer Science, page 212-226. Springer, (1999)Practical probabilistic programming with monads., , and . Haskell, page 165-176. ACM, (2015)A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.. HUG, volume 780 of Lecture Notes in Computer Science, page 413-425. Springer, (1993)Service Combinators for Farming Virtual Machines., , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 33-49. Springer, (2008)Bisimilarity for a First-Order Calculus of Objects with Subtyping., and . POPL, page 386-395. ACM Press, (1996)Deciding validity in a spatial logic for trees., , and . J. Funct. Program., 15 (4): 543-572 (2005)