An Iterative Approach for Business Process Template Synthesis from Compliance Rules. - Ahmed Awad 001; Rajeev Goré; James Thomson 001; Matthias Weidlich 001 (CAiSE, 2011)

An Experimental Comparison of Theorem Provers for CTL. - Rajeev Goré; Jimmy Thomson 001; Florian Widmann (TIME, 2011)

BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. - Rajeev Goré; Jimmy Thomson 001 (IJCAR, 2012)

BDD-based automated reasoning in propositional non-classical logics: progress report. - Rajeev Goré; Jimmy Thomson 001 (PAAR@IJCAR, 2012)

An iterative approach to synthesize business process templates from compliance rules. - Ahmed Awad 001; Rajeev Goré; Zhe Hou; James Thomson 001; Matthias Weidlich 001 (Inf. Syst., 2012)

An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. - Rajeev Goré; Jimmy Thomson 001 (CADE, 2013)

Implementing Tableau Calculi Using BDDs: BDDTab System Description. - Rajeev Goré; Kerry Olesen; Jimmy Thomson 001 (IJCAR, 2014)

A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. - Rajeev Goré; Jimmy Thomson 001; Jesse Wu (IJCAR, 2014)

A Correct Polynomial Translation of S4 into intuitionistic Logic. - Rajeev Goré; Jimmy Thomson 001 (J. Symb. Log., 2019)