| 2025 | ICSoft | Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK. | Marcos Cramer, Lucian McIntyre |
| 2023 | KR | Mathematical Foundations for Joining Only Knowing and Common Knowledge. | Marcos Cramer, Samuele Pollaci, Bart Bogaerts |
| 2021 | CogSci | When are Humans Reasoning with Modus Tollens? | Marcos Cramer, Steffen Hlldobler, Marco Ragni |
| 2020 | COMMA | Deductive Joint Support for Rational Unrestricted Rebuttal. | Marcos Cramer, Meghna Bhadra |
| 2020 | COMMA | A First Approach to Argumentation Label Functions. | Marcos Cramer, Jrmie Dauphin |
| 2019 | JELIA | Empirical Study on Human Evaluation of Complex Argumentation Frameworks. | Marcos Cramer, Mathieu Guillaume |
| 2019 | KI | SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. | Marcos Cramer, Leon van der Torre |
| 2018 | COMMA | Empirical Cognitive Study on Abstract Argumentation Semantics. | Marcos Cramer, Mathieu Guillaume |
| 2018 | COMMA | Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. | Jrmie Dauphin, Marcos Cramer, Leendert W. N. van der Torre |
| 2018 | HCI | A Model for Regulating of Ethical Preferences in Machine Ethics. | Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer |
| 2018 | IJCAI | Directionality of Attacks in Natural Language Argumentation. | Marcos Cramer, Mathieu Guillaume |
| 2016 | IJCAI | Distributed Autoepistemic Logic and its Application to Access Control. | Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker |
| 2015 | SACMAT | A Logic of Trust for Reasoning about Delegation and Revocation. | Marcos Cramer, Diego Agustn Ambrossio, Pieter Van Hertum |
| 2015 | SACMAT | A Logical Approach to Restricting Access in Online Social Networks. | Marcos Cramer, Jun Pang, Yang Zhang |
| 2010 | CADE | Premise Selection in the Naproche System. | Marcos Cramer, Peter Koepke, Daniel Khlwein, Bernhard Schrder |