Martin Wirsing

Cited by

	All	Since 2017
Citations	7228	713
h-index	42	12
i10-index	144	22

380

190

285

198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202288 80 76 103 194 98 176 98 175 144 183 163 240 230 220 206 225 159 156 173 195 181 168 196 255 223 204 209 184 217 222 204 377 212 124 180 153 114 109 33

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
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerified email at pst.ifi.lmu.de
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
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
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Ulrike LechnerProfessor for Information Systems, Universität der Bundeswehr MünchenVerified email at unibw.de
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Franco ZAMBONELLIUniversità di Modena e Reggio EmiliaVerified email at unimore.it
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	912	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	266	1983
Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982	252	1982
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986	234	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	209	1986
The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002	192	2002
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 1-33, 1983	188	1983
Software engineering for adaptive hypermedia applications N Koch, M Wirsing 8th International Conference on User Modeling, Sonthofen, Germany, 2001	178	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	99	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	99	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	96	2006
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990	94	1990
Implementation of parameterised specifications D Sannella, M Wirsing International Colloquium on Automata, Languages, and Programming, 473-488, 1982	84	1982
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	74	2014
Software engineering for collective autonomic systems: the ASCENS approach M Wirsing, M Hölzl, N Koch, P Mayer Springer, 2015	70	2015
Algebraic implementations preserve program correctness M Broy, B Möller, P Pepper, M Wirsing Science of Computer Programming 7, 35-53, 1986	67	1986
What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing International Workshop on Algebraic Development Techniques, 71-87, 2008	66	2008
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 this author

Cited by

Co-authors