Wirsing, Martin, 1948-....
Wirsing, Martin.
Wirsing, M. (Martin)
Martin Wirsing deutscher Informatiker und Professor
VIAF ID: 76878652 ( Personal )
Permalink: http://viaf.org/viaf/76878652
Preferred Forms
- 100 0 _ ‡a Martin Wirsing ‡c deutscher Informatiker und Professor
- 200 _ | ‡a Wirsing ‡b Martin
- 100 1 0 ‡a Wirsing, M. ‡q (Martin)
- 100 1 _ ‡a Wirsing, M. ‡q (Martin)
-
- 100 1 _ ‡a Wirsing, Martin
-
-
-
- 100 1 _ ‡a Wirsing, Martin ‡d 1948-
-
-
-
- 100 1 _ ‡a Wirsing, Martin, ‡d 1948-....
-
4xx's: Alternate Name Forms (10)
5xx's: Related Names (4)
- 551 _ _ ‡a Bayreuth ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Ludwig-Maximilians-Universität München ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Ludwig-Maximilians-Universität München
- 510 2 _ ‡a WADT 2002 (2002 : Frauenchiemsee, Germany)
Works
Title | Sources |
---|---|
Adapting proofs-as-programs the Curry-Howard protocol | |
Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings | |
Algebraic methods : theory, tools, and applications | |
Algorithmic composition of music in real-time with soft constraints | |
AMAST '96 | |
Application of category-theory methods to the design of a system of modules for a functional programming language | |
Approaches to modeling and verification of timed systems using UML state machines and coloured Petri nets. | |
Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés | |
Berichte aus den Informatikinstituten | |
Computing the cost of business processes | |
Continuous abstract data types | |
Crypt equivalent algebraic specifications | |
Denotational semantics of algebraic specification languages | |
Elementare Aussagenlogik mit 6 Tabellen | |
Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln | |
Formal description of programming concepts-III : proceedings | |
Institution-based Semantics and Tool Support for the UML. | |
introduction to ASL | |
Java kompakt Eine Einführung in die Software-Entwicklung mit Java | |
Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings | |
MENU an example for the systematic reuse of specifications | |
Methods of programming : selected papers on the CIP-project | |
Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture | |
The Munich Project CIP | |
object oriented airport | |
Observational specification a Birkhoff theorem | |
Program construction : international summer school | |
Programmentwicklungsmethoden fur Wissensbasierte Systeme | |
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings | |
Proofs in structured specifications | |
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers | |
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers | |
Reusable specification components | |
Rigorous software engineering for service oriented systems results of the SENSORIA project on software engineering for service oriented computing | |
RISSEF 2002 | |
Sémantique et outils institutionnels pour le UML | |
Software Engineering for Collective Autonomic Systems : The ASCENS Approach | |
Software engineering perspectives on physiological computing | |
Software intensive systems and new computing paradigms challenges and visions | |
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings | |
STACS 88 | |
Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings | |
Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers | |
WADT 2002 | |
Wykorzystanie metod teorii kategorii do opracowania systemu modułów dla języka programowana funkcyjnego |