Martin Wirsing

Cited by

	All	Since 2019
Citations	7764	861
h-index	45	14
i10-index	152	21

360

180

270

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202481 101 174 104 156 127 180 150 172 153 222 241 226 216 213 171 164 170 193 186 256 179 249 228 212 204 187 203 228 210 354 207 126 177 162 133 112 104 140 207

Public access

View all

8 articles

1 article

available

not available

Based on funding mandates

Co-authors

Nora KochUniversidad de Sevilla, LMUVerified email at iwt2.org
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerified email at pst.ifi.lmu.de
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Franco ZAMBONELLIUniversità di Modena e Reggio EmiliaVerified email at unimore.it
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
Claude KirchnerInriaVerified email at inria.fr
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Ulrike LechnerProfessor of Information Systems, Universität der Bundeswehr MünchenVerified email at unibw.de
Jonas EckhardtTechnische Universität MünchenVerified email at in.tum.de
Tobias MuehlbauerTableau, a Salesforce companyVerified email at tableau.com
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it

Martin Wirsing

Professor of Computer Science, LMU Munich

Verified email at lmu.de - Homepage

Software Engineering Formal Methods Adaptive Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Algebraic specification M Wirsing Formal models and semantics, 675-788, 1990	938	1990
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	280	1983
Partial abstract types M Broy, M Wirsing Acta Informatica 18, 47-64, 1982	261	1982
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986	256	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	213	1986
The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing Adaptive Hypermedia and Adaptive Web-Based Systems: Second International …, 2002	205	2002
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20, 1-33, 1983	191	1983
Software engineering for adaptive hypermedia applications N Koch, M Wirsing 8th International Conference on User Modeling, Sonthofen, Germany, 13-17, 2001	186	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	111	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	104	1987
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	95	2006
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990	95	1990
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	89	2014
Software engineering for collective autonomic systems: the ASCENS approach M Wirsing, M Hölzl, N Koch, P Mayer Springer, 2015	87	2015
Extending activity diagrams to model mobile systems H Baumeister, N Koch, P Kosiuczenko, M Wirsing Objects, Components, Architectures, Services, and Applications for a …, 2003	84	2003
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	76	2023
What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing Recent Trends in Algebraic Development Techniques: 19th International …, 2009	76	2009
Implementation of parameterised specifications D Sannella, M Wirsing Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982	70	1982
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	68	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors