Detlef Fehrer

According to our database, Detlef Fehrer authored at least 8 papers between 1990 and 2017.

Collaborative distances:

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

2017

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

2016

Accurate ICP-based floating-point reasoning.

Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

1999

Presenting Inequations in Mathematical Proofs.

Detlef Fehrer, Helmut Horacek

Inf. Sci., 1999

1997

Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs.

Detlef Fehrer, Helmut Horacek

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Omega: Towards a Mathematical Assistant.

Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge

Proceedings of the Automated Deduction, 1997

1996

A unifying logical framework for Reason Maintenance.

Detlef Fehrer

PhD thesis, 1996

1993

A Unifying Logical Framework for Reason Maintenance.

Detlef Fehrer

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1990

A Resolution Calculus for a Logic Based on Vaguely Defined Predicates.

Detlef Fehrer

Proceedings of the 9th European Conference on Artificial Intelligence, 1990