M Wirsing

Formal models and semantics, 675-788, 1990

D Sannella, M Wirsing

Foundations of Computation Theory: Proceedings of the 1983 International FCT …, 1983

M Broy, M Wirsing

Acta Informatica 18, 47-64, 1982

M Wirsing

Theoretical Computer Science 42, 123-249, 1986

FL Bauer, R Berghammer, M Broy, W Dosch, F Geiselbrechtinger, ...

springer-Verlag, 1986

N Koch, M Wirsing

Adaptive Hypermedia and Adaptive Web-Based Systems: Second International …, 2002

M Wirsing, P Pepper, H Partsch, W Dosch, M Broy

Acta Informatica 20, 1-33, 1983

N Koch, M Wirsing

8th International Conference on User Modeling, Sonthofen, Germany, 13-17, 2001

M Bidoit, R Hennicker, M Wirsing

Science of Computer Programming 25 (2-3), 149-186, 1995

P Cenciarelli, A Knapp, B Reus, M Wirsing

Formal syntax and semantics of Java, 157-200, 1999

M Broy, M Wirsing, P Pepper

ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (1), 54-99, 1987

M Wirsing, A Clark, S Gilmore, M Hölzl, A Knapp, N Koch, A Schroeder

Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006

M Wirsing

Elsevier, 1990

P Dillenbourg, A Fox, C Kirchner, J Mitchell, M Wirsing

Dagstuhl Manifestos 4 (1), 2014

M Wirsing, M Hölzl, N Koch, P Mayer

Springer, 2015

H Baumeister, N Koch, P Kosiuczenko, M Wirsing

Objects, Components, Architectures, Services, and Applications for a …, 2003

L Belzner, T Gabor, M Wirsing

International Conference on Bridging the Gap between AI and Reality, 355-374, 2023

A Boronat, A Knapp, J Meseguer, M Wirsing

Recent Trends in Algebraic Development Techniques: 19th International …, 2009

D Sannella, M Wirsing

Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982

S Merz, M Wirsing, J Zappe

Fundamental Approaches to Software Engineering: 6th International Conference …, 2003