CODE: A Powerful Prover for Problems of Condensed Detachment. - Dirk Fuchs; Matthias Fuchs (CADE, 1997)

Inference Rights for Controlling Search in Generating Theorem Provers. - Dirk Fuchs (EPIA, 1997)

Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. - Dirk Fuchs (AISC, 1998)

Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study. - Jörg Denzinger; Dirk Fuchs (ICMAS, 1998)

Requirement-Based Cooperative Theorem Proving. - Dirk Fuchs (JELIA, 1998)

Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. - Dirk Fuchs (RTA, 1998)

Abstraction-Based Relevancy Testing for Model Elimination. - Marc Fuchs; Dirk Fuchs (CADE, 1999)

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. - Marc Fuchs; Dirk Fuchs; Matthias Fuchs (GECCO, 1999)

Cooperation of Heterogeneous Provers . - Jörg Denzinger; Dirk Fuchs (IJCAI, 1999)

On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi. - Dirk Fuchs (Fundam. Informaticae, 1999)

Cooperation between Top-Down and Bottom-Up Theorem Provers. - Dirk Fuchs; Marc Fuchs (J. Artif. Intell. Res., 1999)

Integrating Deduction Techniques in a Software Reuse Application. - Thomas Baar; Bernd Fischer 002; Dirk Fuchs (J. Univers. Comput. Sci., 1999)

Cooperation in heterogeneous theorem prover networks. - Dirk Fuchs (Infix, 2000)

UV-Light-Tunable p-/n-Type Chemiresistive Gas Sensors Based on Quasi-1D TiS3 Nanoribbons: Detection of Isopropanol at ppm Concentrations. - Victor V. Sysoev; Andrey Lashkov; Alexey Lipatov; Ilya A. Plugin; Michael Bruns; Dirk Fuchs; Alexey S. Varezhnikov; Mustahsin Adib; Martin Sommer; Alexander Sinitskii (Sensors, 2022)