Dirk Fuchs

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 1

Top Venues

Sensors

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Victor V. Sysoev, Andrey Lashkov, Alexey Lipatov, Ilya Plugin, Michael Bruns, Dirk Fuchs, Alexey Varezhnikov, Mustahsin Adib, Martin Sommer, Alexander Sinitskii
UV-Light-Tunable p-/n-Type Chemiresistive Gas Sensors Based on Quasi-1D TiS3 Nanoribbons: Detection of Isopropanol at ppm Concentrations. Sensors 22 (24) (2022)
Marc Fuchs, Dirk Fuchs
Cooperation between Top-Down and Bottom-Up Theorem Provers CoRR (2011)
Jörg Denzinger, Dirk Fuchs
Cooperation of Heterogeneous Provers . IJCAI (1999)
Marc Fuchs, Dirk Fuchs
Abstraction-Based Relevancy Testing for Model Elimination. CADE (1999)
Dirk Fuchs
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi. Fundam. Informaticae 39 (1-2) (1999)
Dirk Fuchs, Marc Fuchs
Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. 10 (1999)
Thomas Baar, Bernd Fischer, Dirk Fuchs
Integrating Deduction Techniques in a Software Reuse Application. J. Univers. Comput. Sci. 5 (3) (1999)
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO (1999)
Dirk Fuchs
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. AISC (1998)
Jörg Denzinger, Dirk Fuchs
Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study. ICMAS (1998)
Dirk Fuchs
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. RTA (1998)
Dirk Fuchs
Requirement-Based Cooperative Theorem Proving. JELIA (1998)
Dirk Fuchs, Matthias Fuchs
CODE: A Powerful Prover for Problems of Condensed Detachment. CADE (1997)
Dirk Fuchs
Inference Rights for Controlling Search in Generating Theorem Provers. EPIA (1997)

Dirk Fuchs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dirk Fuchs