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

On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study., , , , and . ESEM, ACM, (2010)Sharing in Nondeterminism., and . ICALP, volume 71 of Lecture Notes in Computer Science, page 1-15. Springer, (1979)Formalism and Method., and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 93-114. Springer, (1997)An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint., and . WADT, volume 2755 of Lecture Notes in Computer Science, page 56-81. Springer, (2002)A Syntax-Directed Approach to the Semantics of Concurrent Languages., and . IFIP Congress, page 571-576. North-Holland/IFIP, (1986)Observational Structures and Their Logics., , and . Theor. Comput. Sci., 96 (1): 249-283 (1992)Parametric Channels via Label Expressions in CCS., and . Theor. Comput. Sci., (1984)The Insensitivity Theorem for Nonreducing Reflexive Types., and . J. Comput. Syst. Sci., 27 (3): 389-399 (1983)Fundamental Approaches to Software Engineering., and . Sci. Comput. Program., 40 (1): 1-2 (2001)Tutorials at MoDELS 2006.. MoDELS, volume 4199 of Lecture Notes in Computer Science, page 791-794. Springer, (2006)