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

Connectors for Mobile Programs., and . IEEE Trans. Software Eng., 24 (5): 331-341 (1998)On local modularity and interpolation in entailment systems., , and . Inf. Process. Lett., 82 (4): 203-211 (2002)Revisiting the Institutional Approach to Herbrand's Theorem., and . CALCO, volume 35 of LIPIcs, page 304-319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Designing for Software's Social Complexity.. Computer, 40 (1): 34-39 (2007)Describing, Structuring and Implementing Objects., and . REX Workshop, volume 489 of Lecture Notes in Computer Science, page 274-310. Springer, (1990)Preservation and Reflection in Specification., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 380-394. Springer, (1997)A Compositional Approach to Connector Construction., , and . WADT, volume 2267 of Lecture Notes in Computer Science, page 201-220. Springer, (2001)Algebraic Semantics of Design Abstractions for Context-Awareness., and . WADT, volume 3423 of Lecture Notes in Computer Science, page 79-93. Springer, (2004)A Model-Checking Approach for Service Component Architectures., , , and . FMOODS/FORTE, volume 5522 of Lecture Notes in Computer Science, page 219-224. Springer, (2009)Categories for software engineering.. Springer, (2005)