Automatic Synthesis of Boolean Equations Using Programmable Array Logic. - Rajeev Goré; Kotagiri Ramamohanarao (DAC, 1989)

Cut-free sequent and tableau systems for propositional Diodorean modal logics. - Rajeev Goré (Stud Logica, 1994)

Editorial. - Krysia Broda; Marcello D'Agostino; Rajeev Goré; Rob Johnson 001; Steve Reeves (Log. J. IGPL, 1995)

Cut-free Display Calculi for Relation Algebras. - Rajeev Goré (CSL, 1996)

Relations Between Propositional Normal Modal Logics: An Overview. - Rajeev Goré; Wolfgang Heinle; Alain Heuerding (J. Log. Comput., 1997)

A Labelled Sequent System for Tense Logic Kt. - Nicolette Bonnette; Rajeev Goré (Australian Joint Conference on Artificial Intelligence, 1998)

A Mechanisation of Classical Modal Tense Logics Using Isabelle. - Jeremy E. Dawson; Rajeev Goré (Australian Joint Conference on Artificial Intelligence, 1998)

cardTAP: Automated Deduction on a Smart Card. - Andrew Slater; Rajeev Goré; Joachim Posegga; Harald Vogt (Australian Joint Conference on Artificial Intelligence, 1998)

System Description: leanK 2.0. - Bernhard Beckert; Rajeev Goré (CADE, 1998)

System Description: card TAP: The First Theorem Prover on a Smart Card. - Rajeev Goré; Joachim Posegga; Andrew Slater; Harald Vogt (CADE, 1998)

An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. - Stéphane Demri; Rajeev Goré (FTP (LNCS Selection), 1998)

A Mechanised Proof System for Relation Algebra using Display Logic. - Jeremy E. Dawson; Rajeev Goré (JELIA, 1998)

leanK 2.0. - Bernhard Beckert; Rajeev Goré (TABLEAUX, 1998)

Substructural Logics on Display. - Rajeev Goré (Log. J. IGPL, 1998)

Gaggles, Gentzen and Galois: How to display your favourite substructural logic. - Rajeev Goré (Log. J. IGPL, 1998)

Tractable Transformations from Modal Provability Logics into First-Order Logic. - Stéphane Demri; Rajeev Goré (CADE, 1999)

KtSeqC: System Description. - Vijay Boyapati; Rajeev Goré (TABLEAUX, 1999)

Cut-Free Display Calculi for Nominal Tense Logics. - Stéphane Demri; Rajeev Goré (TABLEAUX, 1999)

Bimodal Logics for Reasoning About Continuous Dynamics. - Jennifer M. Davoren; Rajeev Goré (Advances in Modal Logic, 2000)

CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. - Rajeev Goré; Lan Duy Nguyen (Java Card Workshop, 2000)

Dual Intuitionistic Logic Revisited. - Rajeev Goré (TABLEAUX, 2000)

Editorial. - Carlos Areces; Enrico Franconi; Rajeev Goré; Maarten de Rijke; Bernd-Holger Schlingloff (Log. J. IGPL, 2000)

Display Calculi for Logics with Relative Accessibility Relations. - Stéphane Demri; Rajeev Goré (J. Log. Lang. Inf., 2000)

Displaying Modal Logic, Heinrich Wansing. - Rajeev Goré (J. Log. Lang. Inf., 2000)

CardS4: Modal Theorem Proving on Java Smartcards. - Rajeev Goré; Phuong Thê Nguyên (E-smart, 2001)

Free-Variable Tableaux for Propositional Modal Logics. - Bernhard Beckert; Rajeev Goré (Stud Logica, 2001)

Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. - Jeremy E. Dawson; Rajeev Goré (CATS, 2001)

Machine-Checking the Timed Interval Calculus. - Jeremy E. Dawson; Rajeev Goré (Australian Joint Conference on Artificial Intelligence, 2002)

Formalised Cut Admissibility for Display Logic. - Jeremy E. Dawson; Rajeev Goré (TPHOLs, 2002)

Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. - Stéphane Demri; Rajeev Goré (J. Log. Comput., 2002)

Display Calculi for Nominal Tense Logics. - Stéphane Demri; Rajeev Goré (J. Log. Comput., 2002)

A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. - Agnes Boskovitz; Rajeev Goré; Markus Hegland (IDA, 2003)

The Tableaux Work Bench. - Pietro Abate; Rajeev Goré (TABLEAUX, 2003)

A New Machine-checked Proof of Strong Normalisation for Display Logic. - Jeremy E. Dawson; Rajeev Goré (CATS, 2003)

A General Theorem on Termination of Rewriting. - Jeremy E. Dawson; Rajeev Goré (CSL, 2004)

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. - Jennifer M. Davoren; Thomas Moor; Rajeev Goré; Vaughan Coulthard; Anil Nerode (FORMATS/FTRTFT, 2004)

Editorial. - Valeria de Paiva; Rajeev Goré; Michael Mendler (J. Log. Comput., 2004)

Forthcoming Papers. - Valeria de Paiva; Rajeev Goré; Michael Mendler (J. Log. Comput., 2004)

A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. - Rajeev Goré; Linh Anh Nguyen (TABLEAUX, 2005)

Completeness of hyper-resolution via the semantics of disjunctive logic programs. - Linh Anh Nguyen; Rajeev Goré (Inf. Process. Lett., 2005)

Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. - Rajeev Goré; Linh Anh Nguyen (CLIMA, 2007)

EXPTIME Tableaux for ALC Using Sound Global Caching. - Rajeev Goré; Linh Anh Nguyen (Description Logics, 2007)

One-Pass Tableaux for Computation Tree Logic. - Pietro Abate; Rajeev Goré; Florian Widmann (LPAR, 2007)

A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. - Linda Buisman; Rajeev Goré (TABLEAUX, 2007)

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. - Rajeev Goré; Linh Anh Nguyen (TABLEAUX, 2007)

A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version - Linda Buisman; Rajeev Goré (CoRR, 2007)

The Tableau Workbench. - Pietro Abate; Rajeev Goré (M4M, 2007)

An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. - Pietro Abate; Rajeev Goré; Florian Widmann (M4M, 2007)

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5. - Rajeev Goré; Alwen Tiu (J. Log. Comput., 2007)

Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. - Rajeev Goré; Linda Postniece; Alwen Tiu (Advances in Modal Logic, 2008)

An Experimental Evaluation of Global Caching for (System Description). - Rajeev Goré; Linda Postniece (IJCAR, 2008)

An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. - Rajeev Goré; Florian Widmann (CADE, 2009)

Global Caching, Inverse Roles and Fixpoint Logics. - Rajeev Goré (Description Logics, 2009)

Machine Checking Proof Theory: An Application of Logic to Logic. - Rajeev Goré (ICLA, 2009)

A First-Order Policy Language for History-Based Transaction Monitoring. - Andreas Bauer 002; Rajeev Goré; Alwen Tiu (ICTAC, 2009)

A Proof Theoretic Analysis of Intruder Theories. - Alwen Tiu; Rajeev Goré (RTA, 2009)

Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. - Rajeev Goré; Linda Postniece; Alwen Tiu (TABLEAUX, 2009)

Sound Global State Caching for ALC with Inverse Roles. - Rajeev Goré; Florian Widmann (TABLEAUX, 2009)

A decidable policy language for history-based transaction monitoring - Andreas Bauer 002; Rajeev Goré; Alwen Tiu (CoRR, 2009)

Clausal Tableaux for Multimodal Logics of Belief. - Rajeev Goré; Linh Anh Nguyen (Fundam. Informaticae, 2009)

Termination of Abstract Reduction Systems. - Jeremy E. Dawson; Rajeev Goré (Int. J. Found. Comput. Sci., 2009)

Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. - Rajeev Goré; Linda Postniece; Alwen Tiu (Advances in Modal Logic, 2010)

Global Caching for Coalgebraic Description Logics. - Rajeev Goré; Clemens Kupke; Dirk Pattinson; Lutz Schröder (IJCAR, 2010)

Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. - Rajeev Goré; Florian Widmann (IJCAR, 2010)

Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. - Jeremy E. Dawson; Rajeev Goré (LPAR (Yogyakarta), 2010)

Short Paper: Semantic Sensor Composition. - Khoi-Nguyen Tran; Michael Compton; Jemma Wu; Rajeev Goré (SSN, 2010)

Optimal Tableau Algorithms for Coalgebraic Logics. - Rajeev Goré; Clemens Kupke; Dirk Pattinson (TACAS, 2010)

Optimal Tableaux for Propositional Dynamic Logic with Converse - Rajeev Goré; Florian Widmann (CoRR, 2010)

A Proof Theoretic Analysis of Intruder Theories - Alwen Tiu; Rajeev Goré; Jeremy E. Dawson (Log. Methods Comput. Sci., 2010)

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. - Rajeev Goré; Linda Postniece (J. Log. Comput., 2010)

Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography. - Simon Kramer 001; Rajeev Goré; Eiji Okamoto (SIGACT News, 2010)

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

Craig Interpolation in Displayable Logics. - James Brotherston; Rajeev Goré (TABLEAUX, 2011)

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

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics - Rajeev Goré; Linda Postniece; Alwen Tiu (Log. Methods Comput. Sci., 2011)

Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. - Simon Kramer 001; Rajeev Goré; Eiji Okamoto (IACR Cryptol. ePrint Arch., 2011)

Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. - Rajeev Goré; Revantha Ramanayake (Advances in Modal Logic, 2012)

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. - Alwen Tiu; Egor Ianovski; Rajeev Goré (Advances in Modal Logic, 2012)

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)

Valentini's Cut-Elimination for Provability Logic resolved. - Rajeev Goré; Revantha Ramanayake (Rev. Symb. Log., 2012)

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001 (CADE, 2013)

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

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. - Ranald Clouston; Jeremy E. Dawson; Rajeev Goré; Alwen Tiu (CSL, 2013)

On the Specification and Verification of Voting Schemes. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001 (VoteID, 2013)

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. - Ranald Clouston; Jeremy E. Dawson; Rajeev Goré; Alwen Tiu (CoRR, 2013)

ExpTime Tableaux for ALC Using Sound Global Caching. - Rajeev Goré; Linh Anh Nguyen (J. Autom. Reason., 2013)

Book Reviews. - Rajeev Goré (Stud Logica, 2013)

And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. - Rajeev Goré (IJCAR, 2014)

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)

Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting. - Rajeev Goré; Thomas Meumann (EVOTE, 2014)

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. - Jeremy E. Dawson; Ranald Clouston; Rajeev Goré; Alwen Tiu (IFIP TCS, 2014)

Proof search for propositional abstract separation logics via labelled sequents. - Zhe Hou; Ranald Clouston; Rajeev Goré; Alwen Tiu (POPL, 2014)

Verifying voting schemes. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001; Thorsten Bormer; Jian Wang (J. Inf. Secur. Appl., 2014)

Computer-aided decision-making with trust relations and trust domains (cryptographic applications). - Simon Kramer 001; Rajeev Goré; Eiji Okamoto (J. Log. Comput., 2014)

Cut-elimination for Weak Grzegorczyk Logic Go. - Rajeev Goré; Revantha Ramanayake (Stud Logica, 2014)

Implementing Modal Tableaux Using Sentential Decision Diagrams. - Rajeev Goré; Jason Jingshi Li; Thomas Pagram (Australasian Conference on Artificial Intelligence, 2015)

Automated Theorem Proving for Assertions in Separation Logic with All Connectives. - Zhe Hou; Rajeev Goré; Alwen Tiu (CADE, 2015)

Sequent Calculus in the Topos of Trees. - Ranald Clouston; Rajeev Goré (FoSSaCS, 2015)

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. - Jeremy E. Dawson; Rajeev Goré; Thomas Meumann (VoteID, 2015)

Formal Certification of Android Bytecode. - Hendra Gunadi; Alwen Tiu; Rajeev Goré (CoRR, 2015)

Efficient error localisation and imputation for real-world census data using SMT. - Daniel Alarcón; Rajeev Goré (ACSW, 2016)

Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. - Jeremy E. Dawson; James Brotherston; Rajeev Goré (IJCAR, 2016)

Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T. - Rajeev Goré; Ekaterina Lebedeva (E-VOTE-ID, 2016)

Separata: Isabelle tactics for Separation Algebra. - Zhe Hou; David Sanán; Alwen Tiu; Rajeev Goré; Ranald Clouston (Arch. Formal Proofs, 2016)

Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. - Jeremy E. Dawson; Rajeev Goré (TABLEAUX, 2017)

A Formally Verified Single Transferable Voting Scheme with Fractional Values. - Milad K. Ghale; Rajeev Goré; Dirk Pattinson (E-VOTE-ID, 2017)

No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. - Lyria Bennett Moses; Rajeev Goré; Ron Levy; Dirk Pattinson; Mukesh Tiwari (E-VOTE-ID, 2017)

Well-Founded Unions. - Jeremy E. Dawson; Nachum Dershowitz; Rajeev Goré (IJCAR, 2018)

Modular Formalisation and Verification of STV Algorithms. - Milad K. Ghale; Rajeev Goré; Dirk Pattinson; Mukesh Tiwari (E-Vote-ID, 2018)

A case study in formal verification of a Java program. - Dmitry Brizhinev; Rajeev Goré (CoRR, 2018)

A labelled sequent calculus for BBI: proof theory and proof search. - Zhe Hou; Rajeev Goré; Alwen Tiu (J. Log. Comput., 2018)

Modular Labelled Sequent Calculi for Abstract Separation Logics. - Zhe Hou; Ranald Clouston; Rajeev Goré; Alwen Tiu (ACM Trans. Comput. Log., 2018)

Verified Verifiers for Verifying Elections. - Thomas Haines; Rajeev Goré; Mukesh Tiwari (CCS, 2019)

Verified Decision Procedures for Modal Logics. - Minchao Wu; Rajeev Goré (ITP, 2019)

A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. - Camillo Fiorentini; Rajeev Goré; Stéphane Graham-Lengrand (TABLEAUX, 2019)

Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. - Rajeev Goré; Björn Lellmann (TABLEAUX, 2019)

Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version). - Rajeev Goré; Björn Lellmann (CoRR, 2019)

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

Bi-Intuitionistic Logics: A New Instance of an Old Problem. - Rajeev Goré; Ian Shillito (AiML, 2020)

N-PAT: A Nested Model-Checker - (System Description). - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (IJCAR (2), 2020)

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. - Tim S. Lyon; Alwen Tiu; Rajeev Goré; Ranald Clouston (CSL, 2020)

N-PAT: A Nested Model-Checker. - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (CoRR, 2020)

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. - Thomas Haines; Rajeev Goré; Bhavesh Sharma (IACR Cryptol. ePrint Arch., 2020)

Machine-checking the universal verifiability of ElectionGuard. - Thomas Haines; Rajeev Goré; Jack Stodart (IACR Cryptol. ePrint Arch., 2020)

A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. - Caitlin D'Abrera; Jeremy E. Dawson; Rajeev Goré (TABLEAUX, 2021)

CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. - Rajeev Goré; Cormac Kikkert (TABLEAUX, 2021)

Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. - Rajeev Goré; Revantha Ramanayake; Ian Shillito (TABLEAUX, 2021)

Improved Verifiability for BeleniosVS. - Thomas Haines; Rajeev Goré (IACR Cryptol. ePrint Arch., 2021)

Direct elimination of additive-cuts in GL4ip: verified and extracted. - Ian Shillito; Rajeev Goré (AiML, 2022)

A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. - Ian Shillito; Iris van der Giessen; Rajeev Goré; Rosalie Iemhoff (TABLEAUX, 2023)

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. - Thomas Haines; Rajeev Goré; Mukesh Tiwari (IACR Cryptol. ePrint Arch., 2025)