Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rajeev Goré
2010 – today
- 2013
[j28]Rajeev Goré, Linh Anh Nguyen: ExpTime Tableaux for [InlineMediaObject not available: see fulltext.] Using Sound Global Caching. J. Autom. Reasoning 50(4): 355-381 (2013)- [j27]
- [c55]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
- [c54]Rajeev Goré, Jimmy Thomson: An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. CADE 2013: 275-281
- [i9]Zhe Hou, Alwen Tiu, Rajeev Goré: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. CoRR abs/1302.4783 (2013)
- 2012
- [j26]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)
- [c53]Rajeev Goré, Revantha Ramanayake: Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. Advances in Modal Logic 2012: 279-299
- [c52]Alwen Tiu, Egor Ianovski, Rajeev Goré: Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic 2012: 516-537
- [c51]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
- [j25]Rajeev Goré, Linda Postniece, Alwen Tiu: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. Logical Methods in Computer Science 7(2) (2011)
- [c50]Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich: An Iterative Approach for Business Process Template Synthesis from Compliance Rules. CAiSE 2011: 406-421
- [c49]
- [c48]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 Cryptology ePrint Archive 2011: 235 (2011)
- 2010
- [j24]Alwen Tiu, Rajeev Goré, Jeremy E. Dawson: A Proof Theoretic Analysis of Intruder Theories. Logical Methods in Computer Science 6(3) (2010)
- [j23]Rajeev Goré, Linda Postniece: Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. J. Log. Comput. 20(1): 233-260 (2010)
- [j22]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)
- [c47]Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic 2010: 156-177
- [c46]Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder: Global Caching for Coalgebraic Description Logics. IJCAR 2010: 46-60
- [c45]Rajeev Goré, Florian Widmann: Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. IJCAR 2010: 225-239
- [c44]Jeremy E. Dawson, Rajeev Goré: Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) 2010: 263-277
- [c43]Khoi-Nguyen Tran, Michael Compton, Jemma Wu, Rajeev Goré: Short Paper: Semantic Sensor Composition. SSN 2010
- [c42]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
- [j21]Pietro Abate, Rajeev Goré: The Tableau Workbench. Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009)
- [j20]Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. Electr. Notes Theor. Comput. Sci. 231: 191-209 (2009)
- [j19]Rajeev Goré, Linh Anh Nguyen: Clausal Tableaux for Multimodal Logics of Belief. Fundam. Inform. 94(1): 21-40 (2009)
- [j18]Jeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20(1): 57-82 (2009)
- [c41]Rajeev Goré, Florian Widmann: An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. CADE 2009: 437-452
- [c40]
- [c39]
- [c38]Andreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
- [c37]
- [c36]Rajeev Goré, Linda Postniece, Alwen Tiu: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204
- [c35]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
- [c34]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
- [c33]Rajeev Goré, Revantha Ramanayake: Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic 2008: 67-86
- [c32]Rajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305
- [i3]
- 2007
- [j17]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)
- [c31]
- [c30]Rajeev Goré, Linh Anh Nguyen: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA 2007: 268-287
- [c29]Rajeev Goré, Linh Anh Nguyen: EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007
- [c28]Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46
- [c27]Linda Buisman, Rajeev Goré: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106
- [c26]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
- [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
- [j16]Linh Anh Nguyen, Rajeev Goré: Completeness of hyper-resolution via the semantics of disjunctive logic programs. Inf. Process. Lett. 95(2): 363-369 (2005)
- [c25]Rajeev Goré, Linh Anh Nguyen: A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152
- 2004
- [j15]
- [j14]Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
- [c24]
- [c23]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
- [j13]Jeremy E. Dawson, Rajeev Goré: A New Machine-checked Proof of Strong Normalisation for Display Logic. Electr. Notes Theor. Comput. Sci. 78: 20-39 (2003)
- [c22]Agnes Boskovitz, Rajeev Goré, Markus Hegland: A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. IDA 2003: 554-565
- [c21]
- 2002
- [j12]Stéphane Demri, Rajeev Goré: Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. J. Log. Comput. 12(5): 861-884 (2002)
- [j11]Stéphane Demri, Rajeev Goré: Display Calculi for Nominal Tense Logics. J. Log. Comput. 12(6): 993-1016 (2002)
- [c20]Jeremy E. Dawson, Rajeev Goré: Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence 2002: 95-106
- [c19]
- 2001
- [j10]Bernhard Beckert, Rajeev Goré: Free-Variable Tableaux for Propositional Modal Logics. Studia Logica 69(1): 59-96 (2001)
- [j9]Jeremy E. Dawson, Rajeev Goré: Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. Electr. Notes Theor. Comput. Sci. 42: 89-103 (2001)
- [c18]Rajeev Goré, Phuong Thê Nguyên: CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123
- [e1]Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): 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
- 2000
- [j8]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): 231-237 (2000)
- [j7]Stéphane Demri, Rajeev Goré: Display Calculi for Logics with Relative Accessibility Relations. Journal of Logic, Language and Information 9(2): 213-236 (2000)
- [j6]Rajeev Goré: Displaying Modal Logic, Heinrich Wansing. Journal of Logic, Language and Information 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]
1990 – 1999
- 1999
- [c14]Stéphane Demri, Rajeev Goré: Tractable Transformations from Modal Provability Logics into First-Order Logic. CADE 1999: 16-30
- [c13]
- [c12]Stéphane Demri, Rajeev Goré: Cut-Free Display Calculi for Nominal Tense Logics. TABLEAUX 1999: 155-170
- 1998
- [j5]
- [j4]Rajeev Goré: Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Logic Journal of the 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]
- [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]
- 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]
- 1995
- [j2]Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)
- 1994
- [j1]Rajeev Goré: Cut-free sequent and tableau systems for propositional Diodorean modal logics. Studia 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:42 CEST by the dblp team