Online kooperieren im Informatikunterricht.
Proceedings of the Informatische Bildung zum Verstehen und Gestalten der digitalen Welt, 2017
Ein funktionales Domänenmodell Fahrerassistenz.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006
Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System.
Proceedings of the Progress in Cryptology, 2002
Factoring a binary polynomial of degree over one million.
SIGSAM Bull., 2001
From I/O Automata to Timed I/O Automata.
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
A verification environment for I-O-automata based on formalized meta-theory.
PhD thesis, 1998
I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Treating Partiality in a Logic of Total Functions.
Comput. J., 1997
Possibly Infinite Sequences in Theorem Provers: A Comparative Study.
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997
Traces of I/O-Automata in Isabelle/HOLCF.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Theorem Prover Support for the Refinement of Stream Processing Functions.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
Using HYTECH to Verify an Automative Control System.
Proceedings of the Hybrid and Real-Time Systems, 1997
Functional Specification of Real-Time and Hybrid Systems.
Proceedings of the Hybrid and Real-Time Systems, 1997
Combining Model Checking and Deduction for I/O-Automata.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
Theory and Practice of Minimal Modular Higher-Order E-Unification.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994