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

Symbolic Execution of Concurrent Systems Using Petri Nets., , , and . Comput. Lang., 14 (4): 263-281 (1989)A Metric Temporal Logic for Dealing with Zero-Time Transitions., , , and . TIME, page 81-88. IEEE Computer Society, (2012)SCORE: The first student Contest in Software Engineering., and . ICSE Companion, page 487-488. IEEE, (2009)Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages., , and . SOFSEM, volume 7741 of Lecture Notes in Computer Science, page 307-318. Springer, (2013)A formal approach for designing CORBA based applications., , , and . ICSE, page 188-197. ACM, (2000)Dealing with different time scales in formal specifications., , , , , , and . IWSSD, page 92-101. IEEE Computer Society, (1991)Modeling the Environment in Software-Intensive Systems., , and . MiSE@ICSE, page 11. IEEE Computer Society, (2007)Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach., , and . CSEDU (2), page 289-296. INSTICC Press, (2010)Operator Precedence and the Visibly Pushdown Property., and . LATA, volume 6031 of Lecture Notes in Computer Science, page 214-226. Springer, (2010)Augmenting Parsers to Support Incrementality., and . J. ACM, 27 (3): 564-579 (1980)