Martin Wirsing

Cited by

	All	Since 2017
Citations	7285	794
h-index	43	13
i10-index	146	29

380

190

285

198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202283 78 78 98 189 97 175 99 175 147 185 160 237 229 224 206 223 160 157 173 185 179 164 190 256 223 202 207 189 219 220 212 380 210 124 186 150 121 106 107

Public access

View all

9 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
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
Ulrike LechnerProfessor for 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
Claude KirchnerInriaVerified email at inria.fr
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
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	913	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	265	1983
Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982	250	1982
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986	236	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 International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002	191	2002
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 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	184	2001
Behavioural and abstractor specifications M Bidoit, R Hennicker, M Wirsing Science of Computer Programming 25 (2-3), 149-186, 1995	133	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	100	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	97	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	94	2006
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990	94	1990
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	82	2002
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	79	2014
Software engineering for collective autonomic systems: the ASCENS approach M Wirsing, M Hölzl, N Koch, P Mayer Springer, 2015	75	2015
What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing International Workshop on Algebraic Development Techniques, 71-87, 2008	70	2008
Implementation of parameterised specifications D Sannella, M Wirsing International Colloquium on Automata, Languages, and Programming, 473-488, 1982	70	1982
Algebraic implementations preserve program correctness M Broy, B Möller, P Pepper, M Wirsing Science of Computer Programming 7, 35-53, 1986	68	1986
A spatio-temporal logic for the specification and refinement of mobile systems S Merz, M Wirsing, J Zappe International Conference on Fundamental Approaches to Software Engineering …, 2003	66	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