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.

 

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

An Interpretation of Objects and Object Types., , и . POPL, стр. 396-409. ACM Press, (1996)Correct Passive Testing Algorithms and Complete Fault Coverage., , и . FORTE, том 2767 из Lecture Notes in Computer Science, стр. 303-318. Springer, (2003)Network simulation via hybrid system modeling: a time-stepped approach., , , , и . ICCCN, стр. 531-536. IEEE, (2005)Passive mid-stream monitoring of real-time properties., и . EMSOFT, стр. 343-352. ACM, (2005)A Higher Order Modal Fixed Point Logic., и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 512-528. Springer, (2004)Recursion theoretic semantics, fully abstract term models, and imperative constructs.. Stanford University, USA, (1995)Optimal Resource Allocation in Clouds., , и . IEEE CLOUD, стр. 418-425. IEEE Computer Society, (2010)A calculus for dynamic customization of virtual environments., и . ACM Multimedia (1), стр. 47-56. ACM, (1999)Isolating Side Effects in Sequential Languages., и . POPL, стр. 1-12. ACM Press, (1995)Expected Convergence Properties of BGP., , , и . ICNP, стр. 3-15. IEEE Computer Society, (2005)