World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
46
Citations
8203
World Ranking
6870
National Ranking
330

Overview

Martin Wirsing is affiliated with Ludwig-Maximilians-Universität München in Germany. Their research work spans a variety of topics within computer science, focusing principally on advanced software engineering methodologies, modular robots and swarm intelligence, distributed systems and fault tolerance, logic, reasoning and knowledge, formal methods in verification, semantic web and ontologies, and reinforcement learning in robotics.

The main fields of study to which Martin Wirsing has contributed include computer science with a substantial emphasis on artificial intelligence, computational theory and mathematics, computer networks and communications, mechanical engineering, and information systems.

The scientist has published extensively in several academic venues. Frequent publication venues include:

  • arXiv (Cornell University)
  • International Journal on Software Tools for Technology Transfer
  • Bulletin of Symbolic Logic
  • Logic Journal of IGPL
  • EPiC series in computing

Martin Wirsing's recent publications reflect ongoing contributions to topics in software tools, logic, and system design. Notable papers include:

  • "Rigorous engineering of collective adaptive systems - 2nd special section," 2023, International Journal on Software Tools for Technology Transfer
  • "A reduction-based cut-free Gentzen calculus for dynamic epistemic logic," 2022, Logic Journal of IGPL
  • "On methods and tools for rigorous system design," 2021, International Journal on Software Tools for Technology Transfer
  • "Rigorous engineering of collective adaptive systems: special section," 2020, International Journal on Software Tools for Technology Transfer
  • "A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC," 2025, Bulletin of Symbolic Logic

Collaborative work has been a significant aspect of their career. Frequent co-authors include:

  • Alexander Knapp
  • Stefan Jähnichen
  • Lenz Belzner
  • Rocco De Nicola
  • Rolf Hennicker

Best Publications

  • Algebraic specification

    Martin Wirsing

  • Extraction of Structured Programs from Specification Proofs

    John N. Crossley;Iman Poernomo;Martin Wirsing

  • Leveraging Applications of Formal Methods, Verification and Validation

    Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti

  • A Kernel Language for Algebraic Specification and Implementation - Extended Abstract

    Donald Sannella;Martin Wirsing

  • Partial abstract types

    Manfred Broy;Martin Wirsing

  • CHAPTER 13 – Algebraic Specification

    Martin Wirsing

  • Structured algebraic specifications: A kernel language

    M Wirsing

  • The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L

    F L Bauer;R Berghammer;M Broy;W Dosch

  • A Kernel Language for Algebraic Specification and Implementation.

    Donald Sannella;Martin Wirsing

  • SENSORIA process calculi for service-oriented computing

    Martin Wirsing;Rocco De Nicola;Stephen Gilmore;Matthias Hölzl

  • The Munich Reference Model for Adaptive Hypermedia Applications

    Nora Koch;Martin Wirsing

  • On hierarchies of abstract data types

    Martin Wirsing;Peter Pepper;Helmut Partsch;Walter Dosch

  • Software Engineering for Adaptive Hypermedia Applications

    Nora Koch;Martin Wirsing

  • Semantic-Based development of service-oriented systems

    Martin Wirsing;Allan Clark;Stephen Gilmore;Matthias Hölzl

  • Behavioural and abstractor specifications

    Michel Bidoit;Rolf Hennicker;Martin Wirsing

  • An Event-Based Structural Operational Semantics of Multi-Threaded Java

    Pietro Cenciarelli;Alexander Knapp;Bernhard Reus;Martin Wirsing

  • On the algebraic definition of programming languages

    Manfred Broy;Martin Wirsing;Peter Pepper

  • Software Engineering for Collective Autonomic Systems

    Martin Wirsing;Matthias Hölzl;Nora Koch;Philip Mayer

  • Extending Activity Diagrams to Model Mobile Systems

    Hubert Baumeister;Nora Koch;Piotr Kosiuczenko;Martin Wirsing

  • Software-Intensive Systems and New Computing Paradigms

    Martin Wirsing;Jean-Pierre Banâtre;Matthias Hölzl;Axel Rauschmayer

Frequent Co-Authors

Manfred Broy
Manfred Broy Technical University of Munich
Nora Koch
Nora Koch Ludwig-Maximilians-Universität München
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
José Meseguer
José Meseguer University of Illinois at Urbana-Champaign
Ugo Montanari
Ugo Montanari University of Pisa
Stephen Gilmore
Stephen Gilmore University of Edinburgh
Donald Sannella
Donald Sannella University of Edinburgh
Rosario Pugliese
Rosario Pugliese University of Florence
Franco Zambonelli
Franco Zambonelli University of Modena and Reggio Emilia
Stefania Gnesi
Stefania Gnesi Institute of Information Science and Technologies

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA naturally leads to a range of related online degrees and career options. Many students are now pursuing specialized qualifications through flexible, affordable, and accredited online programs.

For those interested in the intersection of statistics, programming, and business, an online master data science degree is highly popular. Data science skills are valuable across industries, opening doors to roles in analytics and artificial intelligence.

If you’re considering management in tech or engineering fields, the best online construction management degree programs offer comprehensive leadership training suited for infrastructure, IT project management, and more.

For those aiming to upgrade their business knowledge, pursuing the cheapest mba online can be a cost-effective path. These MBAs allow tech professionals to move into leadership, consulting, or entrepreneurship.

Finally, accelerated online options like the online masters degree can fast-track your qualifications, letting you enter the workforce or advance your career more quickly.

These pathways provide flexibility for working professionals, affordability, and the ability to specialize in in-demand fields.

Best Scientists Citing Martin Wirsing

Trending Scientists