Follow
Martin Wirsing
Martin Wirsing
Professor of Computer Science, LMU Munich
Verified email at lmu.de - Homepage
Title
Cited by
Cited by
Year
Algebraic specification
M Wirsing
Formal models and semantics, 675-788, 1990
9291990
A kernel language for algebraic specification and implementation extended abstract
D Sannella, M Wirsing
Foundations of Computation Theory: Proceedings of the 1983 International FCT …, 1983
2771983
Structured algebraic specifications: A kernel language
M Wirsing
Theoretical Computer Science 42, 123-249, 1986
2581986
Partial abstract types
M Broy, M Wirsing
Acta Informatica 18, 47-64, 1982
2581982
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
FL Bauer, R Berghammer, M Broy, W Dosch, F Geiselbrechtinger, ...
springer-Verlag, 1986
2091986
The Munich reference model for adaptive hypermedia applications
N Koch, M Wirsing
Adaptive Hypermedia and Adaptive Web-Based Systems: Second International …, 2002
2052002
On hierarchies of abstract data types
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy
Acta Informatica 20, 1-33, 1983
1921983
Software engineering for adaptive hypermedia applications
N Koch, M Wirsing
8th International Conference on User Modeling, Sonthofen, Germany, 13-17, 2001
1832001
Behavioural and abstractor specifications
M Bidoit, R Hennicker, M Wirsing
Science of Computer Programming 25 (2-3), 149-186, 1995
1371995
An event-based structural operational semantics of multi-threaded Java
P Cenciarelli, A Knapp, B Reus, M Wirsing
Formal syntax and semantics of Java, 157-200, 1999
1101999
On the algebraic definition of programming languages
M Broy, M Wirsing, P Pepper
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (1), 54-99, 1987
1011987
Semantic-based development of service-oriented systems
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
952006
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13
M Wirsing
Elsevier, 1990
931990
Implementation of parameterised specifications
D Sannella, M Wirsing
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982
861982
Massive open online courses: current state and perspectives (Dagstuhl perspectives workshop 14112)
P Dillenbourg, A Fox, C Kirchner, J Mitchell, M Wirsing
Dagstuhl Manifestos 4 (1), 2014
822014
Extending activity diagrams to model mobile systems
H Baumeister, N Koch, P Kosiuczenko, M Wirsing
Objects, Components, Architectures, Services, and Applications for a …, 2003
822003
Software engineering for collective autonomic systems: the ASCENS approach
M Wirsing, M Hölzl, N Koch, P Mayer
Springer, 2015
802015
What is a multi-modeling language?
A Boronat, A Knapp, J Meseguer, M Wirsing
Recent Trends in Algebraic Development Techniques: 19th International …, 2009
712009
A spatio-temporal logic for the specification and refinement of mobile systems
S Merz, M Wirsing, J Zappe
Fundamental Approaches to Software Engineering: 6th International Conference …, 2003
682003
Towards a system model for ensembles
M Hölzl, M Wirsing
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
672011
The system can't perform the operation now. Try again later.
Articles 1–20