Theory and Practice of Minimal Modular Higher-Order E-Unification. - Olaf Müller; Franz Weber (CADE, 1994)

Combining Model Checking and Deduction for I/O-Automata. - Olaf Müller; Tobias Nipkow (TACAS, 1995)

Functional Specification of Real-Time and Hybrid Systems. - Olaf Müller; Peter Scholz (HART, 1997)

Using HYTECH to Verify an Automative Control System. - Thomas Stauner; Olaf Müller; Max Fuchs (HART, 1997)

Theorem Prover Support for the Refinement of Stream Processing Functions. - Robert Sandner; Olaf Müller (TACAS, 1997)

Traces of I/O-Automata in Isabelle/HOLCF. - Olaf Müller; Tobias Nipkow (TAPSOFT, 1997)

Possibly Infinite Sequences in Theorem Provers: A Comparative Study. - Marco Devillers; W. O. David Griffioen; Olaf Müller (TPHOLs, 1997)

Treating Partiality in a Logic of Total Functions. - Olaf Müller; Konrad Slind (Comput. J., 1997)

I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle. - Olaf Müller (TPHOLs, 1998)

A verification environment for I-O-automata based on formalized meta-theory. - Olaf Müller (1998)

From I/O Automata to Timed I/O Automata. - Bernd Grobauer; Olaf Müller (TPHOLs, 1999)

HOLCF=HOL+LCF. - Olaf Müller; Tobias Nipkow; David von Oheimb; Oscar Slotosch (J. Funct. Program., 1999)

Factoring a binary polynomial of degree over one million. - Olaf Bonorden; Joachim von zur Gathen; Jürgen Gerhard; Olaf Müller (SIGSAM Bull., 2001)

Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System. - Olaf Müller; Michael Nüsken (INDOCRYPT, 2002)

Ein funktionales Domänenmodell Fahrerassistenz. - Bastian Best; Olaf Müller; Herbert Negele (GI Jahrestagung (1), 2006)

Online kooperieren im Informatikunterricht. - Thomas Rohde; Kolja Strauss; Gregor Alexander Benedikt; René Levens; Lina Haji; Olaf Müller (INFOS, 2017)