Olaf Müller Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2006
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bastian Best, Olaf Müller, Herbert Negele: Ein funktionales Domänenmodell Fahrerassistenz. GI Jahrestagung (1) 2006: 766-
2002
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Michael Nüsken: Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System. INDOCRYPT 2002: 79-92
1999
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch: HOLCF=HOL+LCF. J. Funct. Program. 9(2): 191-223 (1999)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Grobauer, Olaf Müller: From I/O Automata to Timed I/O Automata. TPHOLs 1999: 273-290
1998
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller: I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle. TPHOLs 1998: 331-348
1997
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Konrad Slind: Treating Partiality in a Logic of Total Functions. Comput. J. 40(10): 640-652 (1997)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Stauner, Olaf Müller, Max Fuchs: Using HYTECH to Verify an Automative Control System. HART 1997: 139-153
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Peter Scholz: Functional Specification of Real-Time and Hybrid Systems. HART 1997: 273-285
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Sandner, Olaf Müller: Theorem Prover Support for the Refinement of Stream Processing Functions. TACAS 1997: 351-365
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Tobias Nipkow: Traces of I/O-Automata in Isabelle/HOLCF. TAPSOFT 1997: 580-594
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Devillers, W. O. David Griffioen, Olaf Müller: Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs 1997: 89-104
1995
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Tobias Nipkow: Combining Model Checking and Deduction for I/O-Automata. TACAS 1995: 1-16
1994
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Olaf Müller, Franz Weber: Theory and Practice of Minimal Modular Higher-Order E-Unification. CADE 1994: 650-664

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 12:54:52 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page