Olaf Müller

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