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.

 

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

Dream types: a domain specific type system for component-based message-oriented middleware., , , , и . SAVCBS@ESEC/FSE, стр. 2. ACM, (2005)An Abstract Machine for the Kell Calculus., , и . FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 31-46. Springer, (2005)Role-based access control for boxed ambients., , и . Theor. Comput. Sci., 398 (1-3): 203-216 (2008)The Kell Calculus: Operational Semantics and Type System., и . FMOODS, том 2884 из Lecture Notes in Computer Science, стр. 109-123. Springer, (2003)Pict Correctness Revisited., и . FMOODS, том 4468 из Lecture Notes in Computer Science, стр. 206-220. Springer, (2007)BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions., , , , , , , и . CS2Bio, том 293 из Electronic Notes in Theoretical Computer Science, стр. 35-49. Elsevier, (2012)