| 2026 | WoLLIC | Axiomatizing Eventual Common Knowledge. | Roman Kuznets, Rojo Randrianomentsoa, Thomas Studer |
| 2026 | WoLLIC | Knowledge and Common Knowledge of Strategies. | Borja Sierra Miranda, Thomas Studer |
| 2025 | SIROCCO | Simplicial Belief. | Christian Cachin, David Lehnherr, Thomas Studer |
| 2025 | TABLEAUX | Non-wellfounded Proof Theory for Interpretability Logic. | Sebastijan Horvat, Borja Sierra Miranda, Thomas Studer |
| 2024 | AiML | Coalgebraic Proof Translations for Non-Wellfounded Proofs. | Borja Sierra Miranda, Thomas Studer, Lukas Zenger |
| 2023 | SSS | Synergistic Knowledge. | Christian Cachin, David Lehnherr, Thomas Studer |
| 2023 | WoLLIC | Conditional Obligations in Justification Logic. | Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer |
| 2022 | FlAIRS | Development of an AI-based bioacoustic wolf monitoring system. | Olivier Sthli, Thomas Ost, Thomas Studer |
| 2022 | LFCS | A Logic of Interactive Proofs. | David Lehnherr, Zoran Ognjanovic, Thomas Studer |
| 2021 | WoLLIC | Explicit Non-normal Modal Logic. | Atefeh Rohani, Thomas Studer |
| 2020 | LFCS | Belief Expansion in Subset Models. | Eveline Lehmann, Thomas Studer |
| 2019 | ECSQARU | Probabilistic Consensus of the Blockchain Protocol. | Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer |
| 2019 | ECSQARU | Bayesian Confirmation and Justifications. | Hamzeh Mohammadi, Thomas Studer |
| 2019 | WoLLIC | Subset Models for Justification Logic. | Eveline Lehmann, Thomas Studer |
| 2018 | AiML | The Internalized Disjunction Property for Intuitionistic Justification Logic. | Michel Marti, Thomas Studer |
| 2018 | LFCS | A Logic of Blockchain Updates. | Kai Brnnler, Dandolo Flumini, Thomas Studer |
| 2016 | LFCS | Probabilistic Justification Logic. | Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer |
| 2013 | LFCS | Update as Evidence: Belief Expansion. | Roman Kuznets, Thomas Studer |
| 2012 | AiML | Justifications, Ontology, and Conservativity. | Roman Kuznets, Thomas Studer |
| 2011 | CIS | An Application of Justification Logic to Protocol Verification. | Thomas Studer |
| 2011 | WoLLIC | Partial Realization in Dynamic Justification Logic. | Samuel Bucheli, Roman Kuznets, Thomas Studer |
| 2009 | LFCS | Data Privacy for Knowledge Bases. | Phiniki Stouppa, Thomas Studer |
| 2007 | DEXA | Improving Semantic Query Answering. | Norbert Kottmann, Thomas Studer |
| 2007 | LFCS | Total Public Announcements. | David Steiner, Thomas Studer |
| 2005 | DEXA | Provable Data Privacy. | Kilian Stoffel, Thomas Studer |
| 2000 | CSL | A Theory of Explicit Mathematics Equivalent to ID | Reinhard Kahle, Thomas Studer |