Martin Wirsing

Cited by

	All	Since 2018
Citations	7560	802
h-index	43	14
i10-index	149	26

380

190

285

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202382 81 109 174 114 172 108 185 153 171 157 233 244 221 210 210 171 163 174 192 180 257 185 243 226 205 201 186 218 225 211 363 214 126 177 159 132 110 108 112

Public access

View all

7 articles

2 articles

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
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 FiadeiroProfessor of Computer Science, 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
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl

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	929	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	277	1983
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986	260	1986
Partial abstract types M Broy, M Wirsing Acta Informatica 18, 47-64, 1982	257	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	211	1986
The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing Adaptive Hypermedia and Adaptive Web-Based Systems: Second International …, 2002	197	2002
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20, 1-33, 1983	192	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	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, 1999	112	1999
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990	102	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	101	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	87	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	79	2015
What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing Recent Trends in Algebraic Development Techniques: 19th International …, 2009	71	2009
Towards a system model for ensembles M Hölzl, M Wirsing Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011	68	2011
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