Marc Fuchs
Orcid: 0000-0003-2272-4483
According to our database1,
Marc Fuchs
authored at least 20 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
1
1
3
1
3
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.
CoRR, 2024
Brief Announcement: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms.
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
2023
Proceedings of the 37th International Symposium on Distributed Computing, 2023
Brief Announcement: List Defective Colorings: Distributed Algorithms and Applications.
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023
Proceedings of the Artificial Intelligence in HCI, 2023
2021
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021
2001
An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints.
Int. J. Artif. Intell. Tools, 2001
2000
J. Symb. Comput., 2000
1999
J. Artif. Intell. Res., 1999
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999
Proceedings of the Automated Deduction, 1999
1998
AI Commun., 1998
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
Proceedings of the Automated Deduction, 1998
Proceedings of the Automated Deduction, 1998
1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Case-Based Reasoning Research and Development, 1997
Proceedings of the Progress in Artificial Intelligence, 1997