default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRajeev Goré
Person information
- affiliation: Australian National University, Acton, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c96]Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff:
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX 2023: 73-93- [c95]Thomas Haines, Rajeev Goré, Mukesh Tiwari:
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. USENIX Security Symposium 2023: 6471-6488 - [i22]Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
:
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR abs/2309.00486 (2023) - 2022
- [c94]Ian Shillito, Rajeev Goré:
Direct elimination of additive-cuts in GL4ip: verified and extracted. AiML 2022: 429-449 - 2021
- [c93]Thomas Haines, Rajeev Goré, Bhavesh Sharma:
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. SP 2021: 1748-1765 - [c92]Rajeev Goré, Cormac Kikkert:
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. TABLEAUX 2021: 74-91 - [c91]Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré:
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. TABLEAUX 2021: 281-298 - [c90]Rajeev Goré, Revantha Ramanayake, Ian Shillito:
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. TABLEAUX 2021: 299-313 - [i21]Thomas Haines, Rajeev Goré:
Improved Verifiability for BeleniosVS. IACR Cryptol. ePrint Arch. 2021: 1071 (2021) - 2020
- [c89]Rajeev Goré, Ian Shillito:
Bi-Intuitionistic Logics: A New Instance of an Old Problem. AiML 2020: 269-288 - [c88]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) 2020: 369-377 - [c87]Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL 2020: 28:1-28:16 - [c86]Thomas Haines, Rajeev Goré, Jack Stodart:
Machine-Checking the Universal Verifiability of ElectionGuard. NordSec 2020: 57-73 - [i20]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker. CoRR abs/2005.05520 (2020) - [i19]Thomas Haines, Rajeev Goré, Bhavesh Sharma:
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IACR Cryptol. ePrint Arch. 2020: 1114 (2020) - [i18]Thomas Haines, Rajeev Goré, Jack Stodart:
Machine-checking the universal verifiability of ElectionGuard. IACR Cryptol. ePrint Arch. 2020: 1477 (2020)
2010 – 2019
- 2019
- [j32]Rajeev Goré, Jimmy Thomson:
A Correct Polynomial Translation of S4 into intuitionistic Logic. J. Symb. Log. 84(2): 439-451 (2019) - [c85]Thomas Haines, Rajeev Goré, Mukesh Tiwari:
Verified Verifiers for Verifying Elections. CCS 2019: 685-702 - [c84]Minchao Wu, Rajeev Goré:
Verified Decision Procedures for Modal Logics. ITP 2019: 31:1-31:19 - [c83]Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand:
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. TABLEAUX 2019: 111-129 - [c82]Rajeev Goré, Björn Lellmann:
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. TABLEAUX 2019: 185-202 - [i17]Rajeev Goré, Björn Lellmann:
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version). CoRR abs/1907.01270 (2019) - [i16]Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR abs/1910.05215 (2019) - 2018
- [j31]Zhe Hou, Rajeev Goré, Alwen Tiu:
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28(4): 809-872 (2018) - [j30]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19(2): 13:1-13:35 (2018) - [c81]Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré:
Well-Founded Unions. IJCAR 2018: 117-133 - [c80]Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari:
Modular Formalisation and Verification of STV Algorithms. E-Vote-ID 2018: 51-66 - [e3]Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid:
Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings. Lecture Notes in Computer Science 11143, Springer 2018, ISBN 978-3-030-00418-7 [contents] - [i15]Dmitry Brizhinev, Rajeev Goré:
A case study in formal verification of a Java program. CoRR abs/1809.03162 (2018) - 2017
- [c79]Jeremy E. Dawson, Rajeev Goré:
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. TABLEAUX 2017: 347-363 - [c78]Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari:
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. E-VOTE-ID 2017: 66-83 - [c77]Milad K. Ghale, Rajeev Goré, Dirk Pattinson:
A Formally Verified Single Transferable Voting Scheme with Fractional Values. E-VOTE-ID 2017: 163-182 - [i14]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR abs/1710.10805 (2017) - 2016
- [j29]Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016) - [c76]Daniel Alarcón, Rajeev Goré:
Efficient error localisation and imputation for real-world census data using SMT. ACSW 2016: 18 - [c75]Jeremy E. Dawson, James Brotherston, Rajeev Goré:
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. IJCAR 2016: 452-468 - [c74]Rajeev Goré, Ekaterina Lebedeva:
Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T. E-VOTE-ID 2016: 144-163 - 2015
- [c73]Rajeev Goré, Jason Jingshi Li, Thomas Pagram:
Implementing Modal Tableaux Using Sentential Decision Diagrams. Australasian Conference on Artificial Intelligence 2015: 218-228 - [c72]Zhe Hou, Rajeev Goré, Alwen Tiu:
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE 2015: 501-516 - [c71]Ranald Clouston, Rajeev Goré:
Sequent Calculus in the Topos of Trees. FoSSaCS 2015: 133-147 - [c70]Jeremy E. Dawson, Rajeev Goré, Thomas Meumann:
Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. VoteID 2015: 142-158 - [i13]Ranald Clouston, Rajeev Goré:
Sequent Calculus in the Topos of Trees. CoRR abs/1501.03293 (2015) - [i12]Hendra Gunadi, Alwen Tiu, Rajeev Goré:
Formal Certification of Android Bytecode. CoRR abs/1504.01842 (2015) - 2014
- [j28]Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang:
Verifying voting schemes. J. Inf. Secur. Appl. 19(2): 115-129 (2014) - [j27]Simon Kramer, Rajeev Goré, Eiji Okamoto:
Computer-aided decision-making with trust relations and trust domains (cryptographic applications). J. Log. Comput. 24(1): 19-54 (2014) - [j26]Rajeev Goré, Revantha Ramanayake:
Cut-elimination for Weak Grzegorczyk Logic Go. Stud Logica 102(1): 1-27 (2014) - [c69]Rajeev Goré:
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. IJCAR 2014: 26-45 - [c68]Rajeev Goré, Jimmy Thomson, Jesse Wu:
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. IJCAR 2014: 262-268 - [c67]Rajeev Goré, Kerry Olesen, Jimmy Thomson:
Implementing Tableau Calculi Using BDDs: BDDTab System Description. IJCAR 2014: 337-343 - [c66]Rajeev Goré, Thomas Meumann:
Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting. EVOTE 2014: 1-7 - [c65]Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu:
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS 2014: 250-264 - [c64]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. POPL 2014: 465-476 - [e2]Rajeev Goré, Barteld P. Kooi, Agi Kurucz:
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. College Publications 2014, ISBN 978-1-84890-151-3 [contents] - 2013
- [j25]Rajeev Goré, Linh Anh Nguyen:
ExpTime Tableaux for ALC Using Sound Global Caching. J. Autom. Reason. 50(4): 355-381 (2013) - [j24]Rajeev Goré:
Book Reviews. Stud Logica 101(1): 219-228 (2013) - [c63]Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE 2013: 135-144 - [c62]Rajeev Goré, Jimmy Thomson:
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. CADE 2013: 275-281 - [c61]Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL 2013: 197-214 - [c60]Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX 2013: 172-187 - [c59]Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
On the Specification and Verification of Voting Schemes. VoteID 2013: 25-40 - [i11]Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. CoRR abs/1302.4783 (2013) - [i10]Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR abs/1307.0289 (2013) - [i9]Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. CoRR abs/1307.5592 (2013) - 2012
- [j23]Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich:
An iterative approach to synthesize business process templates from compliance rules. Inf. Syst. 37(8): 714-736 (2012) - [j22]Rajeev Goré, Revantha Ramanayake:
Valentini's Cut-Elimination for Provability Logic resolved. Rev. Symb. Log. 5(2): 212-238 (2012) - [c58]Rajeev Goré, Revantha Ramanayake:
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. Advances in Modal Logic 2012: 279-299 - [c57]Alwen Tiu, Egor Ianovski, Rajeev Goré:
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic 2012: 516-537 - [c56]Rajeev Goré, Jimmy Thomson:
BDD-based automated reasoning in propositional non-classical logics: progress report. PAAR@IJCAR 2012: 43-57 - [c55]Rajeev Goré, Jimmy Thomson:
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. IJCAR 2012: 301-315 - [i8]Alwen Tiu, Egor Ianovski, Rajeev Goré:
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. CoRR abs/1204.2413 (2012) - 2011
- [j21]Rajeev Goré, Linda Postniece, Alwen Tiu:
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. Log. Methods Comput. Sci. 7(2) (2011) - [c54]Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich:
An Iterative Approach for Business Process Template Synthesis from Compliance Rules. CAiSE 2011: 406-421 - [c53]James Brotherston, Rajeev Goré:
Craig Interpolation in Displayable Logics. TABLEAUX 2011: 88-103 - [c52]Rajeev Goré, Jimmy Thomson, Florian Widmann:
An Experimental Comparison of Theorem Provers for CTL. TIME 2011: 49-56 - [i7]Simon Kramer, Rajeev Goré, Eiji Okamoto:
Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. IACR Cryptol. ePrint Arch. 2011: 235 (2011) - 2010
- [j20]Alwen Tiu, Rajeev Goré, Jeremy E. Dawson:
A Proof Theoretic Analysis of Intruder Theories. Log. Methods Comput. Sci. 6(3) (2010) - [j19]Rajeev Goré, Linda Postniece:
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. J. Log. Comput. 20(1): 233-260 (2010) - [j18]Simon Kramer, Rajeev Goré, Eiji Okamoto:
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 41(1): 75-98 (2010) - [c51]Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic 2010: 156-177 - [c50]Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder:
Global Caching for Coalgebraic Description Logics. IJCAR 2010: 46-60 - [c49]Rajeev Goré, Florian Widmann:
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. IJCAR 2010: 225-239 - [c48]Jeremy E. Dawson, Rajeev Goré:
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) 2010: 263-277 - [c47]Khoi-Nguyen Tran, Michael Compton, Jemma Wu, Rajeev Goré:
Short Paper: Semantic Sensor Composition. SSN 2010 - [c46]Rajeev Goré, Clemens Kupke, Dirk Pattinson:
Optimal Tableau Algorithms for Coalgebraic Logics. TACAS 2010: 114-128 - [i6]Rajeev Goré, Florian Widmann:
Optimal Tableaux for Propositional Dynamic Logic with Converse. CoRR abs/1002.0172 (2010) - [i5]Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic. CoRR abs/1006.4793 (2010)
2000 – 2009
- 2009
- [j17]Rajeev Goré, Linh Anh Nguyen:
Clausal Tableaux for Multimodal Logics of Belief. Fundam. Informaticae 94(1): 21-40 (2009) - [j16]Jeremy E. Dawson, Rajeev Goré:
Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20(1): 57-82 (2009) - [c45]Rajeev Goré, Florian Widmann:
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. CADE 2009: 437-452 - [c44]Rajeev Goré:
Global Caching, Inverse Roles and Fixpoint Logics. Description Logics 2009 - [c43]Rajeev Goré:
Machine Checking Proof Theory: An Application of Logic to Logic. ICLA 2009: 23-35 - [c42]Andreas Bauer, Rajeev Goré, Alwen Tiu:
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111 - [c41]Alwen Tiu, Rajeev Goré:
A Proof Theoretic Analysis of Intruder Theories. RTA 2009: 103-117 - [c40]Rajeev Goré, Linda Postniece, Alwen Tiu:
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204 - [c39]Rajeev Goré, Florian Widmann:
Sound Global State Caching for ALC with Inverse Roles. TABLEAUX 2009: 205-219 - [i4]Andreas Bauer, Rajeev Goré, Alwen Tiu:
A decidable policy language for history-based transaction monitoring. CoRR abs/0903.2904 (2009) - 2008
- [c38]Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66 - [c37]Rajeev Goré, Revantha Ramanayake:
Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic 2008: 67-86 - [c36]Rajeev Goré, Linda Postniece:
An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305 - [i3]Alwen Tiu, Rajeev Goré:
A proof theoretic analysis of intruder theories. CoRR abs/0804.0273 (2008) - 2007
- [j15]Rajeev Goré, Alwen Tiu:
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5. J. Log. Comput. 17(4): 767-794 (2007) - [c35]Jeremy E. Dawson, Rajeev Goré:
Termination of Abstract Reduction Systems. CATS 2007: 35-43 - [c34]Rajeev Goré, Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA 2007: 268-287 - [c33]Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007 - [c32]Pietro Abate, Rajeev Goré, Florian Widmann:
One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46 - [c31]Linda Buisman, Rajeev Goré:
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106 - [c30]Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. TABLEAUX 2007: 133-148 - [c29]Pietro Abate, Rajeev Goré:
The Tableau Workbench. M4M 2007: 55-67 - [c28]Pietro Abate, Rajeev Goré, Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. M4M 2007: 191-209 - [i2]Linda Buisman, Rajeev Goré:
A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version. CoRR abs/0704.1707 (2007) - [i1]Pietro Abate, Rajeev Goré, Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability. CoRR abs/0711.1016 (2007) - 2005
- [j14]Linh Anh Nguyen, Rajeev Goré:
Completeness of hyper-resolution via the semantics of disjunctive logic programs. Inf. Process. Lett. 95(2): 363-369 (2005) - [c27]Rajeev Goré, Linh Anh Nguyen:
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152 - 2004
- [j13]Valeria de Paiva, Rajeev Goré, Michael Mendler:
Editorial. J. Log. Comput. 14(4): 439-446 (2004) - [j12]Valeria de Paiva, Rajeev Goré, Michael Mendler:
Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004) - [c26]Jeremy E. Dawson, Rajeev Goré:
A General Theorem on Termination of Rewriting. CSL 2004: 100-114 - [c25]Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode:
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT 2004: 52-67 - 2003
- [c24]Agnes Boskovitz, Rajeev Goré, Markus Hegland:
A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. IDA 2003: 554-565 - [c23]Pietro Abate, Rajeev Goré:
The Tableaux Work Bench. TABLEAUX 2003: 230-236 - [c22]Jeremy E. Dawson, Rajeev Goré:
A New Machine-checked Proof of Strong Normalisation for Display Logic. CATS 2003: 20-39 - 2002
- [j11]Stéphane Demri, Rajeev Goré:
Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. J. Log. Comput. 12(5): 861-884 (2002) - [j10]