Olaf Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1994–2006
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | GI | Ein funktionales Domnenmodell Fahrerassistenz. | Bastian Best, Olaf Mller, Herbert Negele |
| 2002 | INDOCRYPT | Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System. | Olaf Mller, Michael Nsken |
| 1997 | TACAS | Theorem Prover Support for the Refinement of Stream Processing Functions. | Robert Sandner, Olaf Mller |
| 1995 | TACAS | Combining Model Checking and Deduction for I/O-Automata. | Olaf Mller, Tobias Nipkow |
| 1994 | CADE | Theory and Practice of Minimal Modular Higher-Order E-Unification. | Olaf Mller, Franz Weber |