dblp.uni-trier.dewww.uni-trier.de

Olaf Müller Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
13 Bastian Best, Olaf Müller, Herbert Negele: Ein funktionales Domänenmodell Fahrerassistenz. GI Jahrestagung (1) 2006: 766-
2002
12EEOlaf Müller, Michael Nüsken: Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System. INDOCRYPT 2002: 79-92
1999
11EEBernd Grobauer, Olaf Müller: From I/O Automata to Timed I/O Automata. TPHOLs 1999: 273-290
10 Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch: HOLCF=HOL+LCF. J. Funct. Program. 9(2): 191-223 (1999)
1998
9EEOlaf Müller: I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle. TPHOLs 1998: 331-348
1997
8 Thomas Stauner, Olaf Müller, Max Fuchs: Using HYTECH to Verify an Automative Control System. HART 1997: 139-153
7 Olaf Müller, Peter Scholz: Functional Specification of Real-Time and Hybrid Systems. HART 1997: 273-285
6 Robert Sandner, Olaf Müller: Theorem Prover Support for the Refinement of Stream Processing Functions. TACAS 1997: 351-365
5EEOlaf Müller, Tobias Nipkow: Traces of I/O-Automata in Isabelle/HOLCF. TAPSOFT 1997: 580-594
4EEMarco Devillers, W. O. David Griffioen, Olaf Müller: Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs 1997: 89-104
3 Olaf Müller, Konrad Slind: Treating Partiality in a Logic of Total Functions. Comput. J. 40(10): 640-652 (1997)
1995
2 Olaf Müller, Tobias Nipkow: Combining Model Checking and Deduction for I/O-Automata. TACAS 1995: 1-16
1994
1EEOlaf Müller, Franz Weber: Theory and Practice of Minimal Modular Higher-Order E-Unification. CADE 1994: 650-664

Coauthor Index

1Bastian Best [13]
2Marco Devillers [4]
3Max Fuchs [8]
4W. O. David Griffioen [4]
5Bernd Grobauer [11]
6Herbert Negele [13]
7Tobias Nipkow [2] [5] [10]
8Michael Nüsken [12]
9David von Oheimb [10]
10Robert Sandner [6]
11Peter Scholz [7]
12Konrad Slind [3]
13Oscar Slotosch [10]
14Thomas Stauner [8]
15Franz Weber [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)