Olaf Müller

Publication Activity (10 Years)

Years Active: 1994-2017
Publications (10 Years): 1

Top Venues

INFOS

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Thomas Rohde, Kolja Strauss, Gregor Alexander Benedikt, René Levens, Lina Haji, Olaf Müller
Online kooperieren im Informatikunterricht. INFOS (2017)
Bastian Best, Olaf Müller, Herbert Negele
Ein funktionales Domänenmodell Fahrerassistenz. GI Jahrestagung (1) (2006)
Olaf Müller, Michael Nüsken
Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System. INDOCRYPT (2002)
Olaf Bonorden, Joachim von zur Gathen, Jürgen Gerhard, Olaf Müller
Factoring a binary polynomial of degree over one million. SIGSAM Bull. 35 (1) (2001)
Bernd Grobauer, Olaf Müller
From I/O Automata to Timed I/O Automata. TPHOLs (1999)
Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
HOLCF=HOL+LCF. J. Funct. Program. 9 (2) (1999)
Olaf Müller
I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle. TPHOLs (1998)
Thomas Stauner, Olaf Müller, Max Fuchs
Using HYTECH to Verify an Automative Control System. HART (1997)
Olaf Müller, Tobias Nipkow
Traces of I/O-Automata in Isabelle/HOLCF. TAPSOFT (1997)
Robert Sandner, Olaf Müller
Theorem Prover Support for the Refinement of Stream Processing Functions. TACAS (1997)
Marco Devillers, W. O. David Griffioen, Olaf Müller
Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs (1997)
Olaf Müller, Konrad Slind
Treating Partiality in a Logic of Total Functions. Comput. J. 40 (10) (1997)
Olaf Müller, Peter Scholz
Functional Specification of Real-Time and Hybrid Systems. HART (1997)
Olaf Müller, Tobias Nipkow
Combining Model Checking and Deduction for I/O-Automata. TACAS (1995)
Olaf Müller, Franz Weber
Theory and Practice of Minimal Modular Higher-Order E-Unification. CADE (1994)

Olaf Müller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olaf Müller