default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRajeev Goré
Person information
- affiliation: Monash University, Clayton, Australia
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]Stéphane Demri, Rajeev Goré:
Display Calculi for Nominal Tense Logics. J. Log. Comput. 12(6): 993-1016 (2002) - [c21]Jeremy E. Dawson, Rajeev Goré:
Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence 2002: 95-106 - [c20]Jeremy E. Dawson, Rajeev Goré:
Formalised Cut Admissibility for Display Logic. TPHOLs 2002: 131-147 - 2001
- [j9]Bernhard Beckert, Rajeev Goré:
Free-Variable Tableaux for Propositional Modal Logics. Stud Logica 69(1): 59-96 (2001) - [c19]Rajeev Goré, Phuong Thê Nguyên:
CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123 - [c18]Jeremy E. Dawson, Rajeev Goré:
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. CATS 2001: 89-103 - [e1]Rajeev Goré, Alexander Leitsch, Tobias Nipkow:
Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Lecture Notes in Computer Science 2083, Springer 2001, ISBN 3-540-42254-4 [contents] - 2000
- [j8]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
Editorial. Log. J. IGPL 8(3): 231-237 (2000) - [j7]Stéphane Demri, Rajeev Goré:
Display Calculi for Logics with Relative Accessibility Relations. J. Log. Lang. Inf. 9(2): 213-236 (2000) - [j6]Rajeev Goré:
Displaying Modal Logic, Heinrich Wansing. J. Log. Lang. Inf. 9(2): 269-272 (2000) - [c17]Jennifer M. Davoren, Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics. Advances in Modal Logic 2000: 91-111 - [c16]Rajeev Goré, Lan Duy Nguyen:
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. Java Card Workshop 2000: 38-51 - [c15]Rajeev Goré:
Dual Intuitionistic Logic Revisited. TABLEAUX 2000: 252-267
1990 – 1999
- 1999
- [c14]Stéphane Demri, Rajeev Goré:
Tractable Transformations from Modal Provability Logics into First-Order Logic. CADE 1999: 16-30 - [c13]Vijay Boyapati, Rajeev Goré:
KtSeqC: System Description. TABLEAUX 1999: 29-31 - [c12]Stéphane Demri, Rajeev Goré:
Cut-Free Display Calculi for Nominal Tense Logics. TABLEAUX 1999: 155-170 - 1998
- [j5]Rajeev Goré:
Substructural Logics on Display. Log. J. IGPL 6(3): 451-504 (1998) - [j4]Rajeev Goré:
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Log. J. IGPL 6(5): 669-694 (1998) - [c11]Nicolette Bonnette, Rajeev Goré:
A Labelled Sequent System for Tense Logic Kt. Australian Joint Conference on Artificial Intelligence 1998: 71-82 - [c10]Jeremy E. Dawson, Rajeev Goré:
A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence 1998: 107-118 - [c9]Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt:
cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247 - [c8]Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt:
System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50 - [c7]Bernhard Beckert, Rajeev Goré:
System Description: leanK 2.0. CADE 1998: 51-55 - [c6]Stéphane Demri, Rajeev Goré:
An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. FTP (LNCS Selection) 1998: 152-166 - [c5]Jeremy E. Dawson, Rajeev Goré:
A Mechanised Proof System for Relation Algebra using Display Logic. JELIA 1998: 264-278 - [c4]Bernhard Beckert, Rajeev Goré:
leanK 2.0. TABLEAUX 1998: 33-34 - 1997
- [j3]Rajeev Goré, Wolfgang Heinle, Alain Heuerding:
Relations Between Propositional Normal Modal Logics: An Overview. J. Log. Comput. 7(5): 649-658 (1997) - [c3]Bernhard Beckert, Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics. TABLEAUX 1997: 91-106 - 1996
- [c2]Rajeev Goré:
Cut-free Display Calculi for Relation Algebras. CSL 1996: 198-210 - 1995
- [j2]Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
Editorial. Log. J. IGPL 3(6): 826 (1995) - 1994
- [j1]Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics. Stud Logica 53(3): 433-458 (1994)
1980 – 1989
- 1989
- [c1]Rajeev Goré, Kotagiri Ramamohanarao:
Automatic Synthesis of Boolean Equations Using Programmable Array Logic. DAC 1989: 283-289
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
