Dirk Fuchs

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