Rajeev Goré - RankMe

156 papers A* 5A 19B 39C 2Journal 56Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments. CoRR Aaron Bryce, Rajeev Goré
2025	B	`conf`	Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux. TABLEAUX Rajeev Goré, Cormac Kikkert
2025	J	`jnl`	Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. IACR Cryptol. ePrint Arch. Thomas Haines, Rajeev Goré, Mukesh Tiwari
2023	B	`conf`	A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
2023	J	`jnl`	A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
2023	A*	`conf`	Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. USENIX Security Symposium Thomas Haines, Rajeev Goré, Mukesh Tiwari
2022	B	`conf`	Direct elimination of additive-cuts in GL4ip: verified and extracted. AiML Ian Shillito, Rajeev Goré
2021	B	`conf`	A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. TABLEAUX Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré
2021	B	`conf`	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. TABLEAUX Rajeev Goré, Cormac Kikkert
2021	B	`conf`	Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. TABLEAUX Rajeev Goré, Revantha Ramanayake, Ian Shillito
2021	A*	`conf`	Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. SP Thomas Haines, Rajeev Goré, Bhavesh Sharma
2021	J	`jnl`	Improved Verifiability for BeleniosVS. IACR Cryptol. ePrint Arch. Thomas Haines, Rajeev Goré
2020	B	`conf`	Bi-Intuitionistic Logics: A New Instance of an Old Problem. AiML Rajeev Goré, Ian Shillito
2020	J	`jnl`	Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IACR Cryptol. ePrint Arch. Thomas Haines, Rajeev Goré, Bhavesh Sharma
2020	—	`conf`	Machine-Checking the Universal Verifiability of ElectionGuard. NordSec Thomas Haines, Rajeev Goré, Jack Stodart
2020	J	`jnl`	Machine-checking the universal verifiability of ElectionGuard. IACR Cryptol. ePrint Arch. Thomas Haines, Rajeev Goré, Jack Stodart
2020	—	`conf`	N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020	J	`jnl`	N-PAT: A Nested Model-Checker. CoRR Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020	B	`conf`	Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL Tim S. Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
2019	J	`jnl`	A Correct Polynomial Translation of S4 into intuitionistic Logic. J. Symb. Log. Rajeev Goré, Jimmy Thomson
2019	B	`conf`	A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. TABLEAUX Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand
2019	B	`conf`	Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. TABLEAUX Rajeev Goré, Björn Lellmann
2019	J	`jnl`	Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR Tim S. Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
2019	J	`jnl`	Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version). CoRR Rajeev Goré, Björn Lellmann
2019	B	`conf`	Verified Decision Procedures for Modal Logics. ITP Minchao Wu, Rajeev Goré
2019	A*	`conf`	Verified Verifiers for Verifying Elections. CCS Thomas Haines, Rajeev Goré, Mukesh Tiwari
2018	J	`jnl`	A case study in formal verification of a Java program. CoRR Dmitry Brizhinev, Rajeev Goré
2018	J	`jnl`	A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. Zhe Hou, Rajeev Goré, Alwen Tiu
2018	—	`ed.`	Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings E-Vote-ID Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid
2018	—	`conf`	Modular Formalisation and Verification of STV Algorithms. E-Vote-ID Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
2018	J	`jnl`	Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2018	A	`conf`	Well-Founded Unions. IJCAR Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré
2017	—	`conf`	A Formally Verified Single Transferable Voting Scheme with Fractional Values. E-VOTE-ID Milad K. Ghale, Rajeev Goré, Dirk Pattinson
2017	B	`conf`	Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. TABLEAUX Jeremy E. Dawson, Rajeev Goré
2017	J	`jnl`	Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2017	—	`conf`	No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. E-VOTE-ID Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari
2016	—	`conf`	Efficient error localisation and imputation for real-world census data using SMT. ACSW Daniel Alarcón, Rajeev Goré
2016	A	`conf`	Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. IJCAR Jeremy E. Dawson, James Brotherston, Rajeev Goré
2016	J	`jnl`	Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston
2016	—	`conf`	Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T. E-VOTE-ID Rajeev Goré, Ekaterina Lebedeva
2015	A	`conf`	Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE Zhe Hou, Rajeev Goré, Alwen Tiu
2015	J	`jnl`	Formal Certification of Android Bytecode. CoRR Hendra Gunadi, Alwen Tiu, Rajeev Goré
2015	—	`conf`	Implementing Modal Tableaux Using Sentential Decision Diagrams. Australasian Conference on Artificial Intelligence Rajeev Goré, Jason Jingshi Li, Thomas Pagram
2015	—	`conf`	Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. VoteID Jeremy E. Dawson, Rajeev Goré, Thomas Meumann
2015	B	`conf`	Sequent Calculus in the Topos of Trees. FoSSaCS Ranald Clouston, Rajeev Goré
2015	J	`jnl`	Sequent Calculus in the Topos of Trees. CoRR Ranald Clouston, Rajeev Goré
2014	A	`conf`	A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. IJCAR Rajeev Goré, Jimmy Thomson, Jesse Wu
2014	B	`ed.`	Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014 Advances in Modal Logic Rajeev Goré, Barteld P. Kooi, Agi Kurucz
2014	A	`conf`	And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. IJCAR Rajeev Goré
2014	J	`jnl`	Computer-aided decision-making with trust relations and trust domains (cryptographic applications). J. Log. Comput. Simon Kramer, Rajeev Goré, Eiji Okamoto
2014	J	`jnl`	Cut-elimination for Weak Grzegorczyk Logic Go. Stud Logica Rajeev Goré, Revantha Ramanayake
2014	—	`conf`	From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
2014	A	`conf`	Implementing Tableau Calculi Using BDDs: BDDTab System Description. IJCAR Rajeev Goré, Kerry Olesen, Jimmy Thomson
2014	A*	`conf`	Proof search for propositional abstract separation logics via labelled sequents. POPL Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2014	—	`conf`	Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting. EVOTE Rajeev Goré, Thomas Meumann
2014	J	`jnl`	Verifying voting schemes. J. Inf. Secur. Appl. Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
2013	J	`jnl`	A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search CoRR Zhe Hou, Alwen Tiu, Rajeev Goré
2013	B	`conf`	A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX Zhe Hou, Alwen Tiu, Rajeev Goré
2013	A	`conf`	An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. CADE Rajeev Goré, Jimmy Thomson
2013	A	`conf`	Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE Bernhard Beckert, Rajeev Goré, Carsten Schürmann
2013	J	`jnl`	Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
2013	B	`conf`	Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
2013	J	`jnl`	Book Reviews. Stud Logica Rajeev Goré
2013	J	`jnl`	ExpTime Tableaux for J. Autom. Reason. Rajeev Goré, Linh Anh Nguyen
2013	—	`conf`	On the Specification and Verification of Voting Schemes. VoteID Bernhard Beckert, Rajeev Goré, Carsten Schürmann
2013	J	`jnl`	Proof search for propositional abstract separation logics via labelled sequents. CoRR Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
2012	J	`jnl`	An iterative approach to synthesize business process templates from compliance rules. Inf. Syst. Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich
2012	A	`conf`	BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. IJCAR Rajeev Goré, Jimmy Thomson
2012	—	`conf`	BDD-based automated reasoning in propositional non-classical logics: progress report. PAAR@IJCAR Rajeev Goré, Jimmy Thomson
2012	J	`jnl`	Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures CoRR Alwen Tiu, Egor Ianovski, Rajeev Goré
2012	B	`conf`	Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic Alwen Tiu, Egor Ianovski, Rajeev Goré
2012	B	`conf`	Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. Advances in Modal Logic Rajeev Goré, Revantha Ramanayake
2012	J	`jnl`	Valentini's Cut-Elimination for Provability Logic resolved. Rev. Symb. Log. Rajeev Goré, Revantha Ramanayake
2011	C	`conf`	An Experimental Comparison of Theorem Provers for CTL. TIME Rajeev Goré, Jimmy Thomson, Florian Widmann
2011	A	`conf`	An Iterative Approach for Business Process Template Synthesis from Compliance Rules. CAiSE Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich
2011	J	`jnl`	Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. IACR Cryptol. ePrint Arch. Simon Kramer, Rajeev Goré, Eiji Okamoto
2011	B	`conf`	Craig Interpolation in Displayable Logics. TABLEAUX James Brotherston, Rajeev Goré
2011	J	`jnl`	On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics Log. Methods Comput. Sci. Rajeev Goré, Linda Postniece, Alwen Tiu
2010	J	`jnl`	A Proof Theoretic Analysis of Intruder Theories Log. Methods Comput. Sci. Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
2010	J	`jnl`	Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. J. Log. Comput. Rajeev Goré, Linda Postniece
2010	J	`jnl`	Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic CoRR Rajeev Goré, Linda Postniece, Alwen Tiu
2010	B	`conf`	Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic Rajeev Goré, Linda Postniece, Alwen Tiu
2010	J	`jnl`	Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography. SIGACT News Simon Kramer, Rajeev Goré, Eiji Okamoto
2010	—	`conf`	Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) Jeremy E. Dawson, Rajeev Goré
2010	A	`conf`	Global Caching for Coalgebraic Description Logics. IJCAR Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
2010	A	`conf`	Optimal Tableau Algorithms for Coalgebraic Logics. TACAS Rajeev Goré, Clemens Kupke, Dirk Pattinson
2010	J	`jnl`	Optimal Tableaux for Propositional Dynamic Logic with Converse CoRR Rajeev Goré, Florian Widmann
2010	A	`conf`	Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. IJCAR Rajeev Goré, Florian Widmann
2010	—	`conf`	Short Paper: Semantic Sensor Composition. SSN Khoi-Nguyen Tran, Michael Compton, Jemma Wu, Rajeev Goré
2009	C	`conf`	A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC Andreas Bauer, Rajeev Goré, Alwen Tiu
2009	—	`conf`	A Proof Theoretic Analysis of Intruder Theories. RTA Alwen Tiu, Rajeev Goré
2009	J	`jnl`	A decidable policy language for history-based transaction monitoring CoRR Andreas Bauer, Rajeev Goré, Alwen Tiu
2009	A	`conf`	An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. CADE Rajeev Goré, Florian Widmann
2009	J	`jnl`	Clausal Tableaux for Multimodal Logics of Belief. Fundam. Informaticae Rajeev Goré, Linh Anh Nguyen
2009	—	`conf`	Global Caching, Inverse Roles and Fixpoint Logics. Description Logics Rajeev Goré
2009	—	`conf`	Machine Checking Proof Theory: An Application of Logic to Logic. ICLA Rajeev Goré
2009	B	`conf`	Sound Global State Caching for TABLEAUX Rajeev Goré, Florian Widmann
2009	B	`conf`	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX Rajeev Goré, Linda Postniece, Alwen Tiu
2009	J	`jnl`	Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. Jeremy E. Dawson, Rajeev Goré
2008	J	`jnl`	A proof theoretic analysis of intruder theories CoRR Alwen Tiu, Rajeev Goré
2008	A	`conf`	An Experimental Evaluation of Global Caching for (System Description). IJCAR Rajeev Goré, Linda Postniece
2008	B	`conf`	Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic Rajeev Goré, Linda Postniece, Alwen Tiu
2008	B	`conf`	Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic Rajeev Goré, Revantha Ramanayake
2007	B	`conf`	A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX Linda Buisman, Rajeev Goré
2007	J	`jnl`	A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version CoRR Linda Buisman, Rajeev Goré
2007	J	`jnl`	An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR Pietro Abate, Rajeev Goré, Florian Widmann
2007	—	`conf`	An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. M4M Pietro Abate, Rajeev Goré, Florian Widmann
2007	—	`conf`	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA Rajeev Goré, Linh Anh Nguyen
2007	J	`jnl`	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5. J. Log. Comput. Rajeev Goré, Alwen Tiu
2007	—	`conf`	EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics Rajeev Goré, Linh Anh Nguyen
2007	B	`conf`	EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. TABLEAUX Rajeev Goré, Linh Anh Nguyen
2007	B	`conf`	One-Pass Tableaux for Computation Tree Logic. LPAR Pietro Abate, Rajeev Goré, Florian Widmann
2007	—	`conf`	Termination of Abstract Reduction Systems. CATS Jeremy E. Dawson, Rajeev Goré
2007	—	`conf`	The Tableau Workbench. M4M Pietro Abate, Rajeev Goré
2005	B	`conf`	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX Rajeev Goré, Linh Anh Nguyen
2005	J	`jnl`	Completeness of hyper-resolution via the semantics of disjunctive logic programs. Inf. Process. Lett. Linh Anh Nguyen, Rajeev Goré
2004	B	`conf`	A General Theorem on Termination of Rewriting. CSL Jeremy E. Dawson, Rajeev Goré
2004	J	`jnl`	Editorial. J. Log. Comput. Valeria de Paiva, Rajeev Goré, Michael Mendler
2004	J	`jnl`	Forthcoming Papers. J. Log. Comput. Valeria de Paiva, Rajeev Goré, Michael Mendler
2004	—	`conf`	On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
2003	B	`conf`	A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. IDA Agnes Boskovitz, Rajeev Goré, Markus Hegland
2003	—	`conf`	A New Machine-checked Proof of Strong Normalisation for Display Logic. CATS Jeremy E. Dawson, Rajeev Goré
2003	B	`conf`	The Tableaux Work Bench. TABLEAUX Pietro Abate, Rajeev Goré
2002	J	`jnl`	Display Calculi for Nominal Tense Logics. J. Log. Comput. Stéphane Demri, Rajeev Goré
2002	—	`conf`	Formalised Cut Admissibility for Display Logic. TPHOLs Jeremy E. Dawson, Rajeev Goré
2002	—	`conf`	Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence Jeremy E. Dawson, Rajeev Goré
2002	J	`jnl`	Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. J. Log. Comput. Stéphane Demri, Rajeev Goré
2001	A	`ed.`	Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings IJCAR Rajeev Goré, Alexander Leitsch, Tobias Nipkow
2001	—	`conf`	CardS4: Modal Theorem Proving on Java Smartcards. E-smart Rajeev Goré, Phuong Thê Nguyên
2001	—	`conf`	Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. CATS Jeremy E. Dawson, Rajeev Goré
2001	J	`jnl`	Free-Variable Tableaux for Propositional Modal Logics. Stud Logica Bernhard Beckert, Rajeev Goré
2000	B	`conf`	Bimodal Logics for Reasoning About Continuous Dynamics. Advances in Modal Logic Jennifer M. Davoren, Rajeev Goré
2000	—	`conf`	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. Java Card Workshop Rajeev Goré, Lan Duy Nguyen
2000	J	`jnl`	Display Calculi for Logics with Relative Accessibility Relations. J. Log. Lang. Inf. Stéphane Demri, Rajeev Goré
2000	J	`jnl`	Displaying Modal Logic, Heinrich Wansing. J. Log. Lang. Inf. Rajeev Goré
2000	B	`conf`	Dual Intuitionistic Logic Revisited. TABLEAUX Rajeev Goré
2000	J	`jnl`	Editorial. Log. J. IGPL Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
1999	B	`conf`	Cut-Free Display Calculi for Nominal Tense Logics. TABLEAUX Stéphane Demri, Rajeev Goré
1999	B	`conf`	KtSeqC: System Description. TABLEAUX Vijay Boyapati, Rajeev Goré
1999	A	`conf`	Tractable Transformations from Modal Provability Logics into First-Order Logic. CADE Stéphane Demri, Rajeev Goré
1998	—	`conf`	A Labelled Sequent System for Tense Logic K Australian Joint Conference on Artificial Intelligence Nicolette Bonnette, Rajeev Goré
1998	—	`conf`	A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence Jeremy E. Dawson, Rajeev Goré
1998	B	`conf`	A Mechanised Proof System for Relation Algebra using Display Logic. JELIA Jeremy E. Dawson, Rajeev Goré
1998	—	`conf`	An O (( FTP (LNCS Selection) Stéphane Demri, Rajeev Goré
1998	J	`jnl`	Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Log. J. IGPL Rajeev Goré
1998	J	`jnl`	Substructural Logics on Display. Log. J. IGPL Rajeev Goré
1998	A	`conf`	System Description: CADE Bernhard Beckert, Rajeev Goré
1998	A	`conf`	System Description: CADE Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
1998	—	`conf`	cardT Australian Joint Conference on Artificial Intelligence Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
1998	B	`conf`	leanK 2.0. TABLEAUX Bernhard Beckert, Rajeev Goré
1997	B	`conf`	Free Variable Tableaux for Propositional Modal Logics. TABLEAUX Bernhard Beckert, Rajeev Goré
1997	J	`jnl`	Relations Between Propositional Normal Modal Logics: An Overview. J. Log. Comput. Rajeev Goré, Wolfgang Heinle, Alain Heuerding
1996	B	`conf`	Cut-free Display Calculi for Relation Algebras. CSL Rajeev Goré
1995	J	`jnl`	Editorial. Log. J. IGPL Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
1994	J	`jnl`	Cut-free sequent and tableau systems for propositional Diodorean modal logics. Stud Logica Rajeev Goré
1989	A*	`conf`	Automatic Synthesis of Boolean Equations Using Programmable Array Logic. DAC Rajeev Goré, Kotagiri Ramamohanarao