← Back to directory
Martin Wirsing
Researcher Next ID · RN-001012
Professor · Computer Science
Ludwig-Maximilians-Universität München
Munich, Germany
Not currently recruitingFunding unknown
- Works count
- 328
- Citation count
- 5,436
- H-index
- 37
- i10-index
- 108
About
328 publications and 5,436 citations recorded on OpenAlex.
Research interests
Computer Science
Logic, programming, and type systems
Formal Methods in Verification
Advanced Software Engineering Methodologies
Model-Driven Software Engineering Techniques
Service-Oriented Architecture and Web Services
Publications
Algebraic Specification
Elsevier eBooks · 1990 · 10.1016/b978-0-444-88074-1.50018-4
Current projects
No projects listed.