This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: Padgham, ... , Patel-Schneider, Pfab, Pfeifer, ... , Profitlich


Show keywords Show abstracts

Pfab, Stephan; Rueß, Harald; Owre, Sam; W. von Henke, Friedrich
Towards Light-Weight Verification and Heavy-Weight Testing
In Berghammer, Rudolf and Lakhnech, Yassine, editor, Tool Support for System Specification, Development and Verification of Advances in Computing Science
page 189--200.
Publisher: Springer Vienna,
ISBN: 978-3-211-83282-0
von Henke, Friedrich; Pfab, Stephan; Pfeifer, Holger; Rueß, Harald
Case Studies in Meta-Level Theorem Proving
In J. Grundy and M. Newey, editor, Proceedings Intl. Conf. on Theorem Proving in Higher Order Logics Volume 1479 of Lecture Notes in Computer Science , page 461--478.
Publisher: Springer,
Export as: BibTeX, XML