Olaf Müller

According to our database, Olaf Müller authored at least 16 papers between 1994 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Online kooperieren im Informatikunterricht.

Thomas Rohde, Kolja Strauss, Gregor Alexander Benedikt, René Levens, Lina Haji, Olaf Müller

Proceedings of the Informatische Bildung zum Verstehen und Gestalten der digitalen Welt, 2017

2006

Ein funktionales Domänenmodell Fahrerassistenz.

Bastian Best, Olaf Müller, Herbert Negele

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2002

Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System.

Olaf Müller, Michael Nüsken

Proceedings of the Progress in Cryptology, 2002

2001

Factoring a binary polynomial of degree over one million.

Olaf Bonorden, Joachim von zur Gathen, Jürgen Gerhard, Olaf Müller

SIGSAM Bull., 2001

1999

HOLCF=HOL+LCF.

Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch

J. Funct. Program., 1999

From I/O Automata to Timed I/O Automata.

Bernd Grobauer, Olaf Müller

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

A verification environment for I-O-automata based on formalized meta-theory.

Olaf Müller

PhD thesis, 1998

I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle.

Olaf Müller

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Treating Partiality in a Logic of Total Functions.

Olaf Müller, Konrad Slind

Comput. J., 1997

Possibly Infinite Sequences in Theorem Provers: A Comparative Study.

Marco Devillers, W. O. David Griffioen, Olaf Müller

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Traces of I/O-Automata in Isabelle/HOLCF.

Olaf Müller, Tobias Nipkow

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Theorem Prover Support for the Refinement of Stream Processing Functions.

Robert Sandner, Olaf Müller

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Using HYTECH to Verify an Automative Control System.

Thomas Stauner, Olaf Müller, Max Fuchs

Proceedings of the Hybrid and Real-Time Systems, 1997

Functional Specification of Real-Time and Hybrid Systems.

Olaf Müller, Peter Scholz

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

Combining Model Checking and Deduction for I/O-Automata.

Olaf Müller, Tobias Nipkow

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1994

Theory and Practice of Minimal Modular Higher-Order E-Unification.

Olaf Müller, Franz Weber

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994