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

A Calculus of Higher-Order Parameterization for Algebraic Specifications., and . Logic Journal of the IGPL, 3 (4): 615-641 (1995)Variability within Modeling Language Definitions., , and . CoRR, (2014)Semantic Typing for Parametric Algebraic Specifications.. AMAST, volume 936 of Lecture Notes in Computer Science, page 261-276. Springer, (1995)System Model Semantics of Class Diagrams, , and . Informatik-Bericht, 2008-05. TU Braunschweig, Germany, (2008)Answer to Baker's Remarks of July 1991 on Version 1.0., , , , , and . Lisp and Symbolic Computation, 4 (4): 399-404 (1992)The Disjunctive Constrained Lambda Calculus., and . Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 297-309. Springer, (1996)System model for UML -- The interactions case.. MMOSS, volume 06351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Institutions for OCL-Like Expression Languages., and . Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 193-214. Springer, (2015)Considerations and Rationale for a UML System Model, , , and . UML 2 Semantics and Applications, John Wiley & Sons, (November 2009)Towards a System Model for UML. Part 2: The Control Model, , and . Technical Report, TUM-I0710. TU Munich, Germany, (February 2007)