Author of the publication

Stable Predicate Detection in Dynamic Systems.

, , and . OPODIS, volume 3974 of Lecture Notes in Computer Science, page 161-175. Springer, (2005)

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

The Advantages of Real Time in TORA., , and . CAINE, page 225-229. ISCA, (2003)A System for Visualizing the Process Address Space in the Context of Teaching Secure Coding in C., , , , and . SIGCSE, page 1033-1039. ACM, (2020)Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems., , and . ICPADS, page 338-346. IEEE Computer Society, (2010)MuON: Epidemic Based Mutual Anonymity., , , and . ICNP, page 99-109. IEEE Computer Society, (2005)UNIXvisual: A Visualization Tool for Teaching the UNIX Permission Model., , , , and . ITiCSE, page 356. ACM, (2016)Concurrent Mentor: A Visualization System for Distributed Programming Education., , , , and . PDPTA, page 1676-1682. CSREA Press, (2003)ThreadMentor: a pedagogical tool for multithreaded programming., , and . ACM J. Educ. Resour. Comput., 3 (1): 1 (2003)ECvisual: a visualization tool for elliptic curve based ciphers., , , , and . SIGCSE, page 571-576. ACM, (2012)Design and Use of a Visualization for Teaching Integer Coercion., , , , , , and . SIGCSE (1), page 794-800. ACM, (2022)A communication library to support concurrent programming courses., , , , and . SIGCSE, page 360-364. ACM, (2002)