The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Detlef Fehrer" ( http://dblp.L3S.de/Authors/Detlef_Fehrer )

  Author page on DBLP  Author page in RDF  Community of Detlef Fehrer in ASPL-2

Publication years (Num. hits)
1990-2017 (9)
Publication types (Num. hits)
article(1) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 10 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Detlef Fehrer, Helmut Horacek Presenting Inequations in Mathematical Proofs. Search on Bibsonomy Inf. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier 0002, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge Omega: Towards a Mathematical Assistant. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Detlef Fehrer, Helmut Horacek Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. Search on Bibsonomy IJCAI (2) The full citation details ... 1997 DBLP  BibTeX  RDF
1Detlef Fehrer A unifying logical framework for Reason Maintenance. Search on Bibsonomy 1996   RDF
1Detlef Fehrer A Unifying Logical Framework for Reason Maintenance. Search on Bibsonomy ECSQARU The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Detlef Fehrer A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. Search on Bibsonomy ECAI The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license