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

Boxed ambients with communication interfaces., , , and . Math. Struct. Comput. Sci., 17 (4): 587-645 (2007)Multipoint Session Types for a Distributed Calculus., and . TGC, volume 4912 of Lecture Notes in Computer Science, page 240-256. Springer, (2007)Computational and mathematical models of the JAK-STAT signal transduction pathway., and . SummerSim, page 15. Society for Computer Simulation International / ACM DL, (2013)On Object Calculus with Algebraic Rewriting., and . PLILP, volume 1292 of Lecture Notes in Computer Science, page 17-31. Springer, (1997)Decidability of Higher-Order Subtyping with Intersection Types.. CSL, volume 933 of Lecture Notes in Computer Science, page 46-60. Springer, (1994)Computational modeling of the effects of counterfeit components., , and . SummerSim, page 50. SCS/ ACM, (2014)Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape., , , , , and . BCB, page 613. ACM, (2013)Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs., , , and . BCB, page 610-612. ACM, (2012)Boxed Ambients with Communication Interfaces., , , and . MFCS, volume 3153 of Lecture Notes in Computer Science, page 119-148. Springer, (2004)Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks., , and . CASSIS, volume 3956 of Lecture Notes in Computer Science, page 37-56. Springer, (2005)