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.

 

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

Generalized Unfold/fold Transformation Systems for Normal Logic Programs., , и . ICLP, стр. 616. MIT Press, (1999)Interacting process classes., , , и . ICSE, стр. 302-311. ACM, (2006)Scratchpad allocation for concurrent embedded software., , и . CODES+ISSS, стр. 37-42. ACM, (2008)Accurate estimation of cache-related preemption delay., , и . CODES+ISSS, стр. 201-206. ACM, (2003)Formal Reasoning about Hardware and Software Memory Models.. ICFEM, том 2495 из Lecture Notes in Computer Science, стр. 423-434. Springer, (2002)Mining message sequence graphs., , , и . ICSE, стр. 91-100. ACM, (2011)Hierarchical dynamic slicing., и . ISSTA, стр. 228-238. ACM, (2007)Efficient Algorithms for Vertex Arboricity of Planar Graphs., и . FSTTCS, том 1026 из Lecture Notes in Computer Science, стр. 37-51. Springer, (1995)WOMM: A Weak Operational Memory Model., , и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 519-534. Springer, (2010)Scalable and precise refinement of cache timing analysis via path-sensitive verification., и . Real Time Syst., 49 (4): 517-562 (2013)