| 2025 | TABLEAUX | Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux. | Rajeev Gor, Cormac Kikkert |
| 2023 | TABLEAUX | A New Calculus for Intuitionistic Strong Lb Logic: Strong Termination and Cut-Elimination, Formalised. | Ian Shillito, Iris van der Giessen, Rajeev Gor, Rosalie Iemhoff |
| 2022 | AiML | Direct elimination of additive-cuts in GL4ip: verified and extracted. | Ian Shillito, Rajeev Gor |
| 2021 | SP | Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. | Thomas Haines, Rajeev Gor, Bhavesh Sharma |
| 2021 | TABLEAUX | A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. | Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Gor |
| 2021 | TABLEAUX | CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. | Rajeev Gor, Cormac Kikkert |
| 2021 | TABLEAUX | Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. | Rajeev Gor, Revantha Ramanayake, Ian Shillito |
| 2020 | AiML | Bi-Intuitionistic Logics: A New Instance of an Old Problem. | Rajeev Gor, Ian Shillito |
| 2020 | CADE | N-PAT: A Nested Model-Checker - (System Description). | Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | CSL | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. | Tim S. Lyon, Alwen Tiu, Rajeev Gor, Ranald Clouston |
| 2019 | CCS | Verified Verifiers for Verifying Elections. | Thomas Haines, Rajeev Gor, Mukesh Tiwari |
| 2019 | ITP | Verified Decision Procedures for Modal Logics. | Minchao Wu, Rajeev Gor |
| 2019 | TABLEAUX | A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. | Camillo Fiorentini, Rajeev Gor, Stphane Graham-Lengrand |
| 2019 | TABLEAUX | Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. | Rajeev Gor, Bjrn Lellmann |
| 2018 | CADE | Well-Founded Unions. | Jeremy E. Dawson, Nachum Dershowitz, Rajeev Gor |
| 2017 | TABLEAUX | Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. | Jeremy E. Dawson, Rajeev Gor |
| 2016 | CADE | Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. | Jeremy E. Dawson, James Brotherston, Rajeev Gor |
| 2015 | CADE | Automated Theorem Proving for Assertions in Separation Logic with All Connectives. | Zhe Hou, Rajeev Gor, Alwen Tiu |
| 2015 | FOSSACS | Sequent Calculus in the Topos of Trees. | Ranald Clouston, Rajeev Gor |
| 2014 | CADE | And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. | Rajeev Gor |
| 2014 | CADE | Implementing Tableau Calculi Using BDDs: BDDTab System Description. | Rajeev Gor, Kerry Olesen, Jimmy Thomson |
| 2014 | CADE | A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. | Rajeev Gor, Jimmy Thomson, Jesse Wu |
| 2014 | POPL | Proof search for propositional abstract separation logics via labelled sequents. | Zhe Hou, Ranald Clouston, Rajeev Gor, Alwen Tiu |
| 2013 | CADE | Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. | Bernhard Beckert, Rajeev Gor, Carsten Schrmann |
| 2013 | CADE | An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. | Rajeev Gor, Jimmy Thomson |
| 2013 | CSL | Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. | Ranald Clouston, Jeremy E. Dawson, Rajeev Gor, Alwen Tiu |
| 2013 | TABLEAUX | A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. | Zhe Hou, Alwen Tiu, Rajeev Gor |
| 2012 | AiML | Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. | Rajeev Gor, Revantha Ramanayake |
| 2012 | AiML | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. | Alwen Tiu, Egor Ianovski, Rajeev Gor |
| 2012 | CADE | BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. | Rajeev Gor, Jimmy Thomson |
| 2012 | CADE | BDD-based automated reasoning in propositional non-classical logics: progress report. | Rajeev Gor, Jimmy Thomson |
| 2011 | CaiSE | An Iterative Approach for Business Process Template Synthesis from Compliance Rules. | Ahmed Awad, Rajeev Gor, James Thomson, Matthias Weidlich |
| 2011 | TABLEAUX | Craig Interpolation in Displayable Logics. | James Brotherston, Rajeev Gor |
| 2011 | TIME | An Experimental Comparison of Theorem Provers for CTL. | Rajeev Gor, Jimmy Thomson, Florian Widmann |
| 2010 | AiML | Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2010 | CADE | Global Caching for Coalgebraic Description Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2010 | CADE | Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. | Rajeev Gor, Florian Widmann |
| 2010 | LPAR | Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. | Jeremy E. Dawson, Rajeev Gor |
| 2010 | TACAS | Optimal Tableau Algorithms for Coalgebraic Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson |
| 2009 | CADE | An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. | Rajeev Gor, Florian Widmann |
| 2009 | ICTAC | A First-Order Policy Language for History-Based Transaction Monitoring. | Andreas Bauer, Rajeev Gor, Alwen Tiu |
| 2009 | TABLEAUX | Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2009 | TABLEAUX | Sound Global State Caching for | Rajeev Gor, Florian Widmann |
| 2008 | AiML | Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2008 | AiML | Valentini's cut-elimination for provability logic resolved. | Rajeev Gor, Revantha Ramanayake |
| 2008 | CADE | An Experimental Evaluation of Global Caching for (System Description). | Rajeev Gor, Linda Postniece |
| 2007 | LPAR | One-Pass Tableaux for Computation Tree Logic. | Pietro Abate, Rajeev Gor, Florian Widmann |
| 2007 | TABLEAUX | A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. | Linda Buisman, Rajeev Gor |
| 2007 | TABLEAUX | EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. | Rajeev Gor, Linh Anh Nguyen |
| 2005 | TABLEAUX | A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. | Rajeev Gor, Linh Anh Nguyen |
| 2004 | CSL | A General Theorem on Termination of Rewriting. | Jeremy E. Dawson, Rajeev Gor |
| 2003 | IDA | A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. | Agnes Boskovitz, Rajeev Gor, Markus Hegland |
| 2003 | TABLEAUX | The Tableaux Work Bench. | Pietro Abate, Rajeev Gor |
| 2000 | AiML | Bimodal Logics for Reasoning About Continuous Dynamics. | Jennifer M. Davoren, Rajeev Gor |
| 2000 | TABLEAUX | Dual Intuitionistic Logic Revisited. | Rajeev Gor |
| 1999 | CADE | Tractable Transformations from Modal Provability Logics into First-Order Logic. | Stphane Demri, Rajeev Gor |
| 1999 | TABLEAUX | KtSeqC: System Description. | Vijay Boyapati, Rajeev Gor |
| 1999 | TABLEAUX | Cut-Free Display Calculi for Nominal Tense Logics. | Stphane Demri, Rajeev Gor |
| 1998 | CADE | System Description: | Bernhard Beckert, Rajeev Gor |
| 1998 | CADE | System Description: | Rajeev Gor, Joachim Posegga, Andrew Slater, Harald Vogt |
| 1998 | JELIA | A Mechanised Proof System for Relation Algebra using Display Logic. | Jeremy E. Dawson, Rajeev Gor |
| 1998 | TABLEAUX | leanK 2.0. | Bernhard Beckert, Rajeev Gor |
| 1997 | TABLEAUX | Free Variable Tableaux for Propositional Modal Logics. | Bernhard Beckert, Rajeev Gor |
| 1996 | CSL | Cut-free Display Calculi for Relation Algebras. | Rajeev Gor |
| 1989 | DAC | Automatic Synthesis of Boolean Equations Using Programmable Array Logic. | Rajeev Gor, Kotagiri Ramamohanarao |