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

A Higher Order Modal Fixed Point Logic., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 512-528. Springer, (2004)Recursion theoretic semantics, fully abstract term models, and imperative constructs.. Stanford University, USA, (1995)Passive mid-stream monitoring of real-time properties., and . EMSOFT, page 343-352. ACM, (2005)Optimal Resource Allocation in Clouds., , and . IEEE CLOUD, page 418-425. IEEE Computer Society, (2010)An Interpretation of Objects and Object Types., , and . POPL, page 396-409. ACM Press, (1996)Correct Passive Testing Algorithms and Complete Fault Coverage., , and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 303-318. Springer, (2003)Network simulation via hybrid system modeling: a time-stepped approach., , , , and . ICCCN, page 531-536. IEEE, (2005)Expected Convergence Properties of BGP., , , and . ICNP, page 3-15. IEEE Computer Society, (2005)Optimal Resource Allocation for Batch Testing., , and . ICST, page 91-100. IEEE Computer Society, (2009)Message Ferrying for Constrained Scenarios., , and . WOWMOM, page 487-489. IEEE Computer Society, (2005)