Detlef Fehrer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1990–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FMCAD | Accurate ICP-based floating-point reasoning. | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer, Bernd Becker |
| 2016 | SYNASC | Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. | Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1997 | IJCAI | Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. | Detlef Fehrer, Helmut Horacek |
| 1993 | ECSQARU | A Unifying Logical Framework for Reason Maintenance. | Detlef Fehrer |
| 1990 | ECAI | A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. | Detlef Fehrer |