Detlef Fehrer

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

Collaborative distances:

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

2016

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 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 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