Thomas Käufl

According to our database, Thomas Käufl authored at least 11 papers between 1985 and 1995.

Collaborative distances:

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

1995

Tatzelwurm.

Stefan Klingenbeck, Thomas Käufl

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

The Verification System Tatzelwurm.

Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck

Proceedings of the KORSO, 1995

1994

Tatzelwurm.

Thomas Käufl, Stefan Klingenbeck

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

The Program Verifier Tatzelwurm.

Thomas Käufl

Proceedings of the STACS 93, 1993

1992

The Prover of the Program Verification System Tatzelwurm.

Thomas Käufl

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1990

The Theorem Prover of the Program Verifier Tatzelwurm.

Thomas Käufl, Nicolas Zabel

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

Vereinfachung logischer Formeln in einem Vorbeweiser.

Thomas Käufl

PhD thesis, 1988

Reasoning about Systems of Linear Inequalities.

Thomas Käufl

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Reasoning about Theories with a Finite Model.

Thomas Käufl

Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

1986

Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities.

Thomas Käufl

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

The Simplifier of the Program Verifier "Tatzelwurm".

Thomas Käufl

Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985