Detlef Fehrer

Publication Activity (10 Years)

Years Active: 1990-2017
Publications (10 Years): 3

Top Topics

Floating Point Arithmetic

Constraint Solving

Iterative Closest Point Algorithm

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)
Detlef Fehrer, Helmut Horacek
Presenting Inequations in Mathematical Proofs. Inf. Sci. 116 (1) (1999)
Detlef Fehrer, Helmut Horacek
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. IJCAI (2) (1997)
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
Omega: Towards a Mathematical Assistant. CADE (1997)
Detlef Fehrer
A Unifying Logical Framework for Reason Maintenance. ECSQARU (1993)
Detlef Fehrer
A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. ECAI (1990)