Martin Wirsing - Google Scholar Citations

Cited by

	All	Since 2015
Citations	7096	1056
h-index	42	16
i10-index	140	37

360

180

270

198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202037 66 76 78 82 105 188 94 165 88 205 135 181 173 242 248 234 222 219 185 170 184 188 192 170 195 243 225 206 226 187 242 223 214 354 222 138 177 150 14

Co-authors

Nora KochLudwig-Maximilians-Universität MünchenVerified email at pst.ifi.lmu.de
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
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
Ulrike LechnerProfessor for Information Systems, Universität der Bundeswehr MünchenVerified email at unibw.de
Lenz BelznerLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Franco ZAMBONELLIUniversità di Modena e Reggio EmiliaVerified email at unimore.it
Jonas EckhardtTechnische Universität MünchenVerified email at in.tum.de
Tobias MuehlbauerTableau SoftwareVerified email at tableau.com
Fabio GadducciProfessore di scienze informatiche, Università di PisaVerified email at unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it

Martin Wirsing

Professor of Computer Science, LMU Munich

Verified email at lmu.de - Homepage

Software Engineering Formal Methods Adaptive Systems


Title	Cited by	Year
Algebraic specification M Wirsing Formal models and semantics, 675-788, 1990	872	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	257	1983
Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982	239	1982
Structured algebraic specifications: A kernel language M Wirsing Theoretical Computer Science 42, 123-249, 1986	223	1986
Selections from the Smuts Papers: Volume 3, June 1910-November 1918 K Hancock, J Van Der Poel Cambridge University Press, 2007	208*	2007
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13 M Wirsing Elsevier, 1990	207	1990
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	199	1986
The Munich reference model for adaptive hypermedia applications N Koch, M Wirsing International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002	172	2002
Software engineering for adaptive hypermedia applications N Koch, M Wirsing 8th International Conference on User Modeling, Sonthofen, Germany, 2001	172	2001
On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 1-33, 1983	171	1983
Behavioural and abstractor specifications M Bidoit, R Hennicker, M Wirsing Science of Computer Programming 25 (2-3), 149-186, 1995	132	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	103	1999
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	90	2006
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	90	1987
Implementation of parameterised specifications D Sannella, M Wirsing International Colloquium on Automata, Languages, and Programming, 473-488, 1982	83	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	74	2002
Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science JW De Bakker, C Huizing, WP de Roever, G Rozenberg Springer-Verlag, Berlin, 1992	67*	1992
Algebraic implementations preserve program correctness M Broy, B Möller, P Pepper, M Wirsing Science of Computer Programming 7, 35-53, 1986	64	1986
Towards a system model for ensembles M Hölzl, M Wirsing Formal Modeling: Actors, Open Systems, Biological Systems, 241-261, 2011	61	2011
Semantics of nondeterministic and noncontinuous constructs M Broy, R Gnatz, M Wirsing Program Construction, 553-592, 1979	61	1979

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

Upload PDF

Follow this author

Cited by

Co-authors