dblp.uni-trier.dewww.uni-trier.de

Rajeev Goré Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
67EERajeev Goré, Florian Widmann: An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. CADE 2009: 437-452
66EERajeev Goré: Global Caching, Inverse Roles and Fixpoint Logics. Description Logics 2009
65EERajeev Goré: Machine Checking Proof Theory: An Application of Logic to Logic. ICLA 2009: 23-35
64EEAndreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
63EEAlwen Tiu, Rajeev Goré: A Proof Theoretic Analysis of Intruder Theories. RTA 2009: 103-117
62EERajeev Goré, Linda Postniece, Alwen Tiu: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204
61EERajeev Goré, Florian Widmann: Sound Global State Caching for ALC with Inverse Roles. TABLEAUX 2009: 205-219
60EEAndreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
59EEPietro 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)
58EEPietro Abate, Rajeev Goré: The Tableau Workbench. Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009)
57EERajeev Goré, Linh Anh Nguyen: Clausal Tableaux for Multimodal Logics of Belief. Fundam. Inform. 94(1): 21-40 (2009)
56EEJeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20(1): 57-82 (2009)
2008
55EERajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66
54EERajeev Goré, Revantha Ramanayake: Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic 2008: 67-86
53EERajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305
52EEAlwen Tiu, Rajeev Goré: A proof theoretic analysis of intruder theories CoRR abs/0804.0273: (2008)
2007
51EEJeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. CATS 2007: 35-43
50EERajeev Goré, Linh Anh Nguyen: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA VIII 2007: 268-287
49EERajeev Goré, Linh Anh Nguyen: EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007
48EEPietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46
47EERajeev Goré, Linh Anh Nguyen: EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. TABLEAUX 2007: 133-148
46EELinda Buisman, Rajeev Goré: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106
45EELinda Buisman, Rajeev Goré: A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version CoRR abs/0704.1707: (2007)
44EEPietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007)
43EERajeev 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)
2005
42EERajeev Goré, Linh Anh Nguyen: A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152
41EELinh Anh Nguyen, Rajeev Goré: Completeness of hyper-resolution via the semantics of disjunctive logic programs. Inf. Process. Lett. 95(2): 363-369 (2005)
2004
40EEJeremy E. Dawson, Rajeev Goré: A General Theorem on Termination of Rewriting. CSL 2004: 100-114
39EEJennifer 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
38EEValeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
37EEValeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
2003
36EEAgnes Boskovitz, Rajeev Goré, Markus Hegland: A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. IDA 2003: 554-565
35EEPietro Abate, Rajeev Goré: The Tableaux Work Bench. TABLEAUX 2003: 230-236
34EEJeremy E. Dawson, Rajeev Goré: A New Machine-checked Proof of Strong Normalisation for Display Logic. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
33EEJeremy E. Dawson, Rajeev Goré: Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence 2002: 95-106
32EEJeremy E. Dawson, Rajeev Goré: Formalised Cut Admissibility for Display Logic. TPHOLs 2002: 131-147
31EEStéphane Demri, Rajeev Goré: Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. J. Log. Comput. 12(5): 861-884 (2002)
30EEStéphane Demri, Rajeev Goré: Display Calculi for Nominal Tense Logics. J. Log. Comput. 12(6): 993-1016 (2002)
2001
29 Rajeev Goré, Alexander Leitsch, Tobias Nipkow: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings Springer 2001
28EERajeev Goré, Phuong Thê Nguyên: CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123
27EEJeremy E. Dawson, Rajeev Goré: Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. Electr. Notes Theor. Comput. Sci. 42: (2001)
26 Bernhard Beckert, Rajeev Goré: Free-Variable Tableaux for Propositional Modal Logics. Studia Logica 69(1): 59-96 (2001)
2000
25 Jennifer M. Davoren, Rajeev Goré: Bimodal Logics for Reasoning About Continuous Dynamics. Advances in Modal Logic 2000: 91-111
24EERajeev Goré, Lan Duy Nguyen: CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. Java Card Workshop 2000: 38-51
23 Rajeev Goré: Dual Intuitionistic Logic Revisited. TABLEAUX 2000: 252-267
22 Stéphane Demri, Rajeev Goré: Display Calculi for Logics with Relative Accessibility Relations. Journal of Logic, Language and Information 9(2): 213-236 (2000)
21 Rajeev Goré: Displaying Modal Logic, Heinrich Wansing. Journal of Logic, Language and Information 9(2): 269-272 (2000)
20EECarlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): (2000)
1999
19EEStéphane Demri, Rajeev Goré: Tractable Transformations from Modal Provability Logics into First-Order Logic. CADE 1999: 16-30
18 Stéphane Demri, Rajeev Goré: Cut-Free Display Calculi for Nominal Tense Logics. TABLEAUX 1999: 155-170
17 Vijay Boyapati, Rajeev Goré: KtSeqC: System Description. TABLEAUX 1999: 29-31
1998
16EEJeremy E. Dawson, Rajeev Goré: A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence 1998: 107-118
15EEAndrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
14EENicolette Bonnette, Rajeev Goré: A Labelled Sequent System for Tense Logic Kt. Australian Joint Conference on Artificial Intelligence 1998: 71-82
13EERajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
12EEBernhard Beckert, Rajeev Goré: System Description: leanK 2.0. CADE 1998: 51-55
11EESté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
10EEJeremy E. Dawson, Rajeev Goré: A Mechanised Proof System for Relation Algebra using Display Logic. JELIA 1998: 264-278
9EEBernhard Beckert, Rajeev Goré: leanK 2.0. TABLEAUX 1998: 33-34
8EERajeev Goré: Substructural Logics on Display. Logic Journal of the IGPL 6(3): 451-504 (1998)
7EERajeev Goré: Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Logic Journal of the IGPL 6(5): 669-694 (1998)
1997
6 Bernhard Beckert, Rajeev Goré: Free Variable Tableaux for Propositional Modal Logics. TABLEAUX 1997: 91-106
5 Rajeev Goré, Wolfgang Heinle, Alain Heuerding: Relations Between Propositional Normal Modal Logics: An Overview. J. Log. Comput. 7(5): 649-658 (1997)
1996
4EERajeev Goré: Cut-free Display Calculi for Relation Algebras. CSL 1996: 198-210
1995
3EEKrysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)
1994
2 Rajeev Goré: Cut-free sequent and tableau systems for propositional Diodorean modal logics. Studia Logica 53(3): 433-458 (1994)
1989
1EERajeev Goré, Kotagiri Ramamohanarao: Automatic Synthesis of Boolean Equations Using Programmable Array Logic. DAC 1989: 283-289

Coauthor Index

1Pietro Abate [35] [44] [48] [58] [59]
2Carlos Areces [20]
3Andreas Bauer [60] [64]
4Bernhard Beckert [6] [9] [12] [26]
5Nicolette Bonnette [14]
6Agnes Boskovitz [36]
7Vijay Boyapati [17]
8Krysia Broda [3]
9Linda Buisman [45] [46]
10Vaughan Coulthard [39]
11Marcello D'Agostino [3]
12Jennifer M. Davoren [25] [39]
13Jeremy E. Dawson [10] [16] [27] [32] [33] [34] [40] [51] [56]
14Stéphane Demri [11] [18] [19] [22] [30] [31]
15Enrico Franconi [20]
16Markus Hegland [36]
17Wolfgang Heinle [5]
18Alain Heuerding [5]
19Rob Johnson [3]
20Alexander Leitsch [29]
21Michael Mendler [37] [38]
22Thomas Moor [39]
23Anil Nerode [39]
24Lan Duy Nguyen [24]
25Linh Anh Nguyen [41] [42] [47] [49] [50] [57]
26Phuong Thê Nguyên [28]
27Tobias Nipkow [29]
28Valeria de Paiva [37] [38]
29Joachim Posegga [13] [15]
30Linda Postniece [53] [55] [62]
31Kotagiri Ramamohanarao [1]
32Revantha Ramanayake [54]
33Steve Reeves [3]
34Maarten de Rijke [20]
35Bernd-Holger Schlingloff [20]
36Andrew Slater [13] [15]
37Alwen Tiu (Alwen Fernanto Tiu) [43] [52] [55] [60] [62] [63] [64]
38Harald Vogt [13] [15]
39Florian Widmann [44] [48] [59] [61] [67]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)