Algebraic specification M Wirsing Formal models and semantics, 675-788, 1990 | 884 | 1990 |
A kernel language for algebraic specification and implementation extended abstract D Sannella, M Wirsing International Conference on Fundamentals of Computation Theory, 413-427, 1983 | 264 | 1983 |
Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982 | 241 | 1982 |
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986 | 226 | 1986 |
Selections from the Smuts Papers: Volume 3, June 1910-November 1918 K Hancock Cambridge University Press, 2007 | 212* | 2007 |
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 | 210 | 1986 |
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990 | 206 | 1990 |
The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002 | 180 | 2002 |
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 1-33, 1983 | 174 | 1983 |
Software engineering for adaptive hypermedia applications N Koch, M Wirsing 8th International Conference on User Modeling, Sonthofen, Germany, 2001 | 173 | 2001 |
Behavioural and abstractor specifications M Bidoit, R Hennicker, M Wirsing Science of Computer Programming 25 (2-3), 149-186, 1995 | 135 | 1995 |
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 | 106 | 1999 |
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 | 92 | 1987 |
Semantic-based development of service-oriented systems M Wirsing, A Clark, S Gilmore, M Hölzl, A Knapp, N Koch, A Schroeder International Conference on Formal Techniques for Networked and Distributed …, 2006 | 91 | 2006 |
Implementation of parameterised specifications D Sannella, M Wirsing International Colloquium on Automata, Languages, and Programming, 473-488, 1982 | 83 | 1982 |
Extending activity diagrams to model mobile systems H Baumeister, N Koch, P Kosiuczenko, M Wirsing Net. ObjectDays: International Conference on Object-Oriented and Internet …, 2002 | 75 | 2002 |
Software engineering for collective autonomic systems: the ASCENS approach M Wirsing, M Hölzl, N Koch, P Mayer Springer, 2015 | 67 | 2015 |
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 | 67 | 2014 |
Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science JW De Bakker, C Huizing, WP de Roever, G Rozenberg Springer-Verlag, Berlin, 1992 | 67* | 1992 |
Towards a system model for ensembles M Hölzl, M Wirsing Formal Modeling: Actors, Open Systems, Biological Systems, 241-261, 2011 | 64 | 2011 |