Skip to content
cs-conference-ranking.org

Marc Fuchs

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

10

Active years

1997–2026

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2026PODCRound and Resilience-Optimal Approximate Agreement on Trees and Block Graphs.Marc Fuchs, Diana Ghinea, Zahra Parsaeian, Joel Rybicki
2025OPODISDistributed (Δ+1)-Coloring in Graphs of Bounded Neighborhood Independence.Marc Fuchs, Fabian Kuhn
2025PODCBrief Announcement: Towards Round-Optimal Approximate Agreement on Trees.Marc Fuchs, Diana Ghinea, Zahra Parsaeian
2024PODCBrief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.Marc Fuchs, Fabian Kuhn
2023HCITowards Modelling Elaborateness in Argumentative Dialogue Systems.Annalena Aicher, Marc Fuchs, Wolfgang Minker, Stefan Ultes
2023SPAABrief Announcement: List Defective Colorings: Distributed Algorithms and Applications.Marc Fuchs, Fabian Kuhn
2021OPODISDistributed CONGEST Approximation of Weighted Vertex Covers and Matchings.Salwa Faour, Marc Fuchs, Fabian Kuhn
1999CADEAbstraction-Based Relevancy Testing for Model Elimination.Marc Fuchs, Dirk Fuchs
1999GECCOGenerating Lemmas for Tableau-based Proof Search Using Genetic Programming.Marc Fuchs, Dirk Fuchs, Matthias Fuchs
1999IJCAILemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference.Marc Fuchs
1998CADESystem Description: Similarity-Based Lemma Generation for Model Elimination.Marc Fuchs
1998CADESystem Description: Cooperation in Model Elimination: CPTHEO.Marc Fuchs, Andreas Wolf
1998ECAIRelevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.Marc Fuchs
1997EPIAFlexible Proof-Replay with Heuristics.Marc Fuchs
1997ICCBRApplying Case-Based Reasoning to Automated Deduction.Marc Fuchs, Matthias Fuchs
1997IJCAIHigh Performance ATP Systems by Combining Several AI Methods.Jrg Denzinger, Marc Fuchs, Matthias Fuchs