| 2025 | LICS | Semantical Analysis of Intuitionistic Modal Logics between CK and IK. | Jim de Groot, Ian Shillito, Ranald Clouston |
| 2020 | CSL | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. | Tim S. Lyon, Alwen Tiu, Rajeev Gor, Ranald Clouston |
| 2018 | FOSSACS | Fitch-Style Modal Lambda Calculi. | Ranald Clouston |
| 2016 | CSL | Guarded Cubical Type Theory: Path Equality for Guarded Recursion. | Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
| 2016 | FOSSACS | Guarded Dependent Type Theory with Coinductive Types. | Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Mgelberg, Lars Birkedal |
| 2015 | FOSSACS | Programming and Reasoning with Guarded Recursion for Coinductive Types. | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
| 2015 | FOSSACS | Sequent Calculus in the Topos of Trees. | Ranald Clouston, Rajeev Gor |
| 2014 | POPL | Proof search for propositional abstract separation logics via labelled sequents. | Zhe Hou, Ranald Clouston, Rajeev Gor, Alwen Tiu |
| 2013 | CSL | Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. | Ranald Clouston, Jeremy E. Dawson, Rajeev Gor, Alwen Tiu |
| 2013 | FOSSACS | Generalised Name Abstraction for Nominal Sets. | Ranald Clouston |
| 2011 | WoLLIC | Nominal Lawvere Theories. | Ranald Clouston |
| 2005 | ICTAC | Covarieties of Coalgebras: Comonads and Coequations. | Ranald Clouston, Robert Goldblatt |