Martin Wirsing

Cited by

	All	Since 2018
Citations	7429	736
h-index	44	13
i10-index	147	24

420

210

105

315

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202372 77 105 135 102 166 82 164 127 164 133 202 249 201 210 210 172 156 176 195 180 413 195 263 227 207 204 168 226 239 208 358 208 128 183 161 130 106 113 42

Public access

View all

6 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
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerified email at pst.ifi.lmu.de
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
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
Ulrike LechnerProfessor for Information Systems, Universität der Bundeswehr MünchenVerified email at unibw.de
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Franco ZAMBONELLIUniversità di Modena e Reggio EmiliaVerified email at unimore.it
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Claude KirchnerInriaVerified email at inria.fr
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
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	928	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	270	1983
Partial abstract types M Broy, M Wirsing Acta Informatica 18, 47-64, 1982	254	1982
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986	237	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	214	1986
The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing Adaptive Hypermedia and Adaptive Web-Based Systems: Second International …, 2002	198	2002
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20, 1-33, 1983	189	1983
Software engineering for adaptive hypermedia applications N Koch, M Wirsing 8th International Conference on User Modeling, Sonthofen, Germany, 13-17, 2001	185	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	112	1999
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990	101	1990
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	97	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	93	2006
Implementation of parameterised specifications D Sannella, M Wirsing Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982	88	1982
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	83	2014
Extending activity diagrams to model mobile systems H Baumeister, N Koch, P Kosiuczenko, M Wirsing Objects, Components, Architectures, Services, and Applications for a …, 2003	83	2003
Software engineering for collective autonomic systems: the ASCENS approach M Wirsing, M Hölzl, N Koch, P Mayer Springer, 2015	77	2015
What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing Recent Trends in Algebraic Development Techniques: 19th International …, 2009	70	2009
Algebraic implementations preserve program correctness M Broy, B Möller, P Pepper, M Wirsing Science of Computer Programming 7, 35-53, 1986	69	1986
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