Concepedia

Martin Wirsing

MW

36

Publications

1.5K

Citations

21

H-Index

1979

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

University of Passau

Technical University of Munich

Centre National de la Recherche Scientifique

Technische Universität Berlin

Martin Wirsing is an author at Ludwig-Maximilians-Universität München specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSoftware AnalysisSystem SoftwareProgram AnalysisSystems EngineeringProgramming Languages

Publications per year

1979–2020

36

Publications

36

Partial abstract types

Manfred Broy, Martin Wirsing · Acta Informatica · 1982 · 163 citations

Automated Reasoning, Polymorphism (Computer Science), Type Theory +2

A Kernel Language for Algebraic Specification and Implementation.

Donald Sannella, Martin Wirsing · Annals of Telecommunications · 1983 · 156 citations

Specification Language, Formal Specification, Engineering +6

Structured algebraic specifications: A Kernel language

Martin Wirsing · Theoretical Computer Science · 1986 · 138 citations

Structured Algebraic Specifications, Specification Language, Formal Specification +8

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, H. Partsch et al. · Acta Informatica · 1983 · 133 citations

Abstract Data Types, Engineering, Data Type +5

Behavioural and abstractor specifications

Michel Bidoit, Rolf Hennicker, Martin Wirsing · Science of Computer Programming · 1995 · 80 citations

Formal Specification, Engineering, Operational Semantics +6

Rows per page

1–5 of 36