| 2025 | CVPR | CTC: Contribution to Classification of Complex Features. | Sophia Kalanovska, Michael Luck, Christopher Hampson |
| 2023 | CPM | MUL-Tree Pruning for Consistency and Compatibility. | Christopher Hampson, Daniel J. Harvey, Costas S. Iliopoulos, Jesper Jansson, Zara Lim, Wing-Kin Sung |
| 2022 | COMMA | A Sound and Complete Dialogue System for Handling Misunderstandings. | Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black |
| 2020 | COMMA | Enthymemes in Dialogues. | Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black |
| 2018 | AiML | The Bimodal Logic of Commuting Difference Operators Is Decidable. | Christopher Hampson |
| 2016 | AiML | Decidable first-order modal logics with counting quantifiers. | Christopher Hampson |
| 2016 | ECAI | Optimal Simple Strategies for Persuasion. | Elizabeth Black, Amanda Jane Coles, Christopher Hampson |
| 2013 | CSL | One-variable first-order linear temporal logics with counting. | Christopher Hampson, Agi Kurucz |
| 2012 | AiML | On Modal Products with the Logic of 'Elsewhere'. | Christopher Hampson, Agi Kurucz |