Author of the publication

Semantic and Syntactic Approaches to Simulation Relations.

, , and . MFCS, volume 2747 of Lecture Notes in Computer Science, page 68-91. Springer, (2003)

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 Survey of Controlled Experiments in Software Engineering., , , , , , and . IEEE Trans. Software Eng., 31 (9): 733-753 (2005)A systematic review of effect size in software engineering experiments., , , and . Inf. Softw. Technol., 49 (11-12): 1073-1086 (2007)Earned Business Value: See That You Deliver Value to Your Customer., , and . IEEE Software, 34 (4): 58-70 (2017)Benefit Points: The Best Part of the Story., , and . IEEE Software, 34 (3): 73-85 (2017)Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.. ICALP, volume 2719 of Lecture Notes in Computer Science, page 903-917. Springer, (2003)Specification Refinement with System F - The Higher-Order Case.. WADT, volume 1827 of Lecture Notes in Computer Science, page 162-181. Springer, (1999)Specification Refinement with System F.. CSL, volume 1683 of Lecture Notes in Computer Science, page 530-545. Springer, (1999)Managing the changing understanding of benefits in software initiatives., and . J. Syst. Softw., (February 2024)Structured crisis training with mixed reality simulations., and . ISCRAM, ISCRAM Association, (2019)Perceived productivity threats in large agile development projects., and . ESEM, ACM, (2010)