Martin Wirsing
7 publications
2 venues
H Index 3
Affiliation
Ludwig Maximilian University of Munich, GermanyLinks
DBLPGoogle Scholar
- https://www.sosy-lab.org/people/wirsing
- https://dl.acm.org/profile/81100144903
- https://zbmath.org/authors/?q=ai:wirsing.martin
- https://mathscinet.ams.org/mathscinet/MRAuthorID/183690
- https://mathgenealogy.org/id.php?id=21918
- https://en.wikipedia.org/wiki/Martin_Wirsing
- https://www.wikidata.org/entity/Q25337169
- https://id.loc.gov/authorities/names/n85281290
- https://d-nb.info/gnd/14353582X
| Name | Venue | Year | citations |
|---|---|---|---|
Symbolic Realisation of Epistemic Processes.
|
LPAR | 2024 | 0 |
| Dependent Types Considered Necessary for Specification Languages.
|
ADT | 1990 | 9 |
| Algebraic Specifications of Reachable Higher-Order Algebras.
|
ADT | 1987 | 0 |
| Observational Specification: A Birkhoff Theorem.
|
ADT | 1984 | 10 |
| A Kernel Language for Algebraic Specification and Implementation.
|
ADT | 1983 | 223 |
| Generalized Heterogeneous Algebras.
|
ADT | 1983 | 3 |
| Implementation of Parameterized Hierarchical Specifications.
|
ADT | 1982 | 2 |