| Algebraic specification M Wirsing Formal models and semantics, 675-788, 1990 | 879 | 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 | 225 | 1986 |
| 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 | 209 | 1986 |
| Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990 | 205 | 1990 |
| Selections from the Smuts Papers: Volume 3, June 1910-November 1918 K Hancock Cambridge University Press, 2007 | 204* | 2007 |
| The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002 | 175 | 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 | 134 | 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 | 90 | 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 | 74 | 2002 |
| 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 | 63 | 2011 |
| Algebraic implementations preserve program correctness M Broy, B Möller, P Pepper, M Wirsing Science of Computer Programming 7, 35-53, 1986 | 63 | 1986 |
| 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 | 61 | 2014 |
Nora KochUniversidad de Sevilla, LMUE-mail megerősítve itt: iwt2.org
