Dirk Fuchs - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Dirk Fuchs' as author, editor, or advisor:

PACS: Looking Back into the FuturH. Schmidt, D. Fuchs. europacs 2000: 46-54
UV-Light-Tunable p-/n-Type Chemiresistive Gas Sensors Based on Quasi-1D TiS3 Nanoribbons: Detection of Isopropanol at ppm ConcentrationsVictor V. Sysoev, Andrey Lashkov, Alexey Lipatov, Ilya Plugin, Michael Bruns, Dirk Fuchs, Alexey Varezhnikov, Mustahsin Adib, Martin Sommer, Alexander Sinitskii. sensors, 22(24):9815, 2022. [doi]
Cooperation of Heterogeneous Provers Jörg Denzinger, Dirk Fuchs. IJCAI 1999: 10-15
Coupling Saturation-Based Provers by Exchanging Positive/Negative InformationDirk Fuchs. RTA 1998: 317-331 [doi]
Cooperation in heterogeneous theorem prover networksDirk Fuchs. Volume 231 of DISKI, Infix, 2000.
Cooperation between Top-Down and Bottom-Up Theorem ProversDirk Fuchs, Marc Fuchs. jair, 10:169-198, 1999. [doi]
Inference Rights for Controlling Search in Generating Theorem ProversDirk Fuchs. epia 1997: 25-36
Requirement-Based Cooperative Theorem ProvingDirk Fuchs. jelia 1998: 139-153 [doi]
Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case StudyJörg Denzinger, Dirk Fuchs. icmas 1998: 419-420
On the Use of Subgoal Clauses in Bottom-up and Top-down CalculiDirk Fuchs. FUIN, 39(1-2):123-143, 1999.
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause TransferDirk Fuchs. AISC 1998: 157-169 [doi]
Generating Lemmas for Tableau-based Proof Search Using Genetic ProgrammingMarc Fuchs, Dirk Fuchs, Matthias Fuchs. gecco 1999: 1027-1032
Abstraction-Based Relevancy Testing for Model EliminationMarc Fuchs, Dirk Fuchs. cade 1999: 344-358 [doi]
CODE: A Powerful Prover for Problems of Condensed DetachmentDirk Fuchs, Matthias Fuchs. cade 1997: 260-263

runs on WebDSL