| Algebraic specification M Wirsing Formal models and semantics, 675-788, 1990 | 959 | 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 | 285 | 1983 |
| Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986 | 261 | 1986 |
| Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982 | 259 | 1982 |
| 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 | 221* | 1986 |
| The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002 | 204 | 2002 |
| On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 1-33, 1983 | 198 | 1983 |
| Software engineering for adaptive hypermedia applications N Koch, M Wirsing 8th International Conference on User Modeling, Sonthofen, Germany, 2001 | 174 | 2001 |
| Large language model assisted software engineering: prospects, challenges, and a case study L Belzner, T Gabor, M Wirsing International conference on bridging the gap between AI and reality, 355-374, 2023 | 157 | 2023 |
| Behavioural and abstractor specifications M Bidoit, R Hennicker, M Wirsing Science of Computer Programming 25 (2-3), 149-186, 1995 | 137 | 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, 2002 | 112 | 2002 |
| 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 | 108 | 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 | 98 | 2006 |
| 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), 1-27, 2014 | 96 | 2014 |
| Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990 | 93 | 1990 |
| Implementation of parameterised specifications D Sannella, M Wirsing International Colloquium on Automata, Languages, and Programming, 473-488, 1982 | 91 | 1982 |
| Software engineering for collective autonomic systems: the ASCENS approach M Wirsing, M Hölzl, N Koch, P Mayer Springer, 2015 | 90 | 2015 |
| 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 | 84 | 2002 |
| What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing International Workshop on Algebraic Development Techniques, 71-87, 2008 | 77 | 2008 |
| Existential quantifiers in abstract data types M Broy, W Dosch, H Partsch, P Pepper, M Wirsing International Colloquium on Automata, Languages, and Programming, 73-87, 1979 | 75 | 1979 |
Nora KochUniversidad de Sevilla, LMUVerified email at iwt2.org
