Flexible Proof-Replay with Heuristics. - Marc Fuchs (EPIA, 1997)

Applying Case-Based Reasoning to Automated Deduction. - Marc Fuchs; Matthias Fuchs (ICCBR, 1997)

High Performance ATP Systems by Combining Several AI Methods. - Jörg Denzinger; Marc Fuchs; Matthias Fuchs (IJCAI (1), 1997)

System Description: Similarity-Based Lemma Generation for Model Elimination. - Marc Fuchs (CADE, 1998)

System Description: Cooperation in Model Elimination: CPTHEO. - Marc Fuchs; Andreas Wolf (CADE, 1998)

Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. - Marc Fuchs (ECAI, 1998)

Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. - Marc Fuchs; Matthias Fuchs (AI Commun., 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)

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference. - Marc Fuchs (IJCAI, 1999)

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

Relevancy-based use of lemmas in connection tableau calculi. - Marc Fuchs (Infix, 2000)

Controlled Use of Clausal Lemmas in Connection Tableau Calculi. - Marc Fuchs (J. Symb. Comput., 2000)

An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. - Ortrun Ibens; Marc Fuchs (Int. J. Artif. Intell. Tools, 2001)

Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings. - Salwa Faour; Marc Fuchs; Fabian Kuhn (OPODIS, 2021)

Towards Modelling Elaborateness in Argumentative Dialogue Systems. - Annalena Aicher; Marc Fuchs; Wolfgang Minker; Stefan Ultes (HCI (41), 2023)

Brief Announcement: List Defective Colorings: Distributed Algorithms and Applications. - Marc Fuchs; Fabian Kuhn (SPAA, 2023)

List Defective Colorings: Distributed Algorithms and Applications. - Marc Fuchs; Fabian Kuhn (DISC, 2023)

Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms. - Marc Fuchs; Fabian Kuhn (PODC, 2024)

Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms. - Marc Fuchs; Fabian Kuhn (CoRR, 2024)

Brief Announcement: Towards Round-Optimal Approximate Agreement on Trees. - Marc Fuchs; Diana Ghinea; Zahra Parsaeian (PODC, 2025)

Towards Round-Optimal Approximate Agreement on Trees. - Marc Fuchs; Diana Ghinea; Zahra Parsaeian (CoRR, 2025)