Martin Wirsing

Cited by

	All	Since 2019
Citations	7659	770
h-index	45	13
i10-index	151	21

360

180

270

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202481 101 174 104 156 126 180 150 172 153 221 241 226 216 213 171 164 170 192 186 256 179 248 228 210 204 190 203 228 210 354 207 126 176 162 134 112 113 138 110

Public access

View all

8 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
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
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
Ulrike LechnerProfessor of Information Systems, Universität der Bundeswehr MünchenVerified email at unibw.de
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
(Objects+ concurrency) & reusability—A proposal to circumvent the inheritance anomaly U Lechner, C Lengauer, F Nickl, M Wirsing ECOOP’96—Object-Oriented Programming: 10th European Conference Linz …, 1996	22	1996
05081 Abstracts Collection--Foundations of Global Computing JL Fiadeiro, U Montanari, M Wirsing Dagstuhl Seminar Proceedings, 2006		2006
07061 Abstracts Collection--Autonomous and Adaptive Web Services J Koehler, M Pistore, AP Sheth, P Traverso, M Wirsing Dagstuhl Seminar Proceedings, 2007		2007
1 Fakultät für Mathematik und Informatik Universität Passau, D-94030 Passau, Germany email:{lechner, lengauer) Ofmi. uni-passau. de 2 sd&m GmbH & Co. KG U Lechner¹, C Lengauer¹, F Nickl, M Wirsing ECOOP'96-Object-Oriented Programming: 10th European Conference, Linz …, 1996		1996
1.1 Teilprojekt A2: Verteilte Systeme in offenen Netzen F für das Teilprojekt, M Wirsing
2nd Workshop on Theory and Applications of Abstract Data Types: Universität Passau, May 16th-20th, 1983 M Broy, M Wirsing Fakultät für Informatik, Universität Passau, 1983		1983
3.19 Engineering Autonomous Ensembles M Wirsing Collective Adaptive Systems: Qualitative and Quantitative Modelling and …, 0
3), North-Holland. Wirsing, M.(1990): Algebraic Specification. In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ. Wood, KR (1993): A … M Wirsing
A calculus of higher-order parameterization for algebraic specifications MV Cengarle, M Wirsing Logic Journal of the IGPL 3 (4), 615-641, 1995	6	1995
A calculus of parameterization for algebraic specifications MV Cengarle, M Wirsing Monash University. Department of Computer Science, 1994	1	1994
A component model for architectural programming H Baumeister, F Hacklinger, R Hennicker, A Knapp, M Wirsing Electronic Notes in Theoretical Computer Science 160, 75-96, 2006	60	2006
A component-based approach to adaptive user-centric pervasive applications M Wirsing International Conference on the Quality of Software Architectures, 2-2, 2010		2010
A contract-based approach to adaptivity A Schroeder, SS Bauer, M Wirsing The journal of logic and algebraic programming 80 (3-5), 180-193, 2011	10	2011
A Contract-Based Approach to Adaptivity in User-Centric Pervasive Applications M Wirsing, M Hammer, A Schroeder, S Bauer FLACOS’09 Third Workshop on Formal Languages and Analysis of Contract …, 2009		2009
A coordination approach to mobile components D Pattinson, M Wirsing Theoretical computer science 331 (2-3), 457-483, 2005		2005
A dynamic logic for systems with predicate-based communication R Hennicker, M Wirsing Leveraging Applications of Formal Methods, Verification and Validation …, 2020	8	2020
A Formal Approach to Object Oriented Software Engineering A Knapp, M Wirsing Shaker, 2001	20	2001
A formal approach to object-oriented software engineering M Wirsing, A Knapp Theoretical Computer Science 285 (2), 519-560, 2002	24	2002
A formal approach to object-oriented software engineering M Wirsing, A Knapp Electronic Notes in Theoretical Computer Science 4, 322-360, 1996	51	1996
A formal approach to requirements engineering F Nickl, M Wirsing Formal Methods in Programming and Their Applications: International …, 2005	13	2005

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