Rajeev Goré

2009
60	EE	Rajeev Goré: Machine Checking Proof Theory: An Application of Logic to Logic. ICLA 2009: 23-35
59	EE	Andreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
58	EE	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)
57	EE	Pietro Abate, Rajeev Goré: The Tableau Workbench. Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009)
56	EE	Jeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20(1): 57-82 (2009)
2008
55	EE	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
54	EE	Rajeev Goré, Revantha Ramanayake: Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic 2008: 67-86
53	EE	Rajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305
52	EE	Alwen Tiu, Rajeev Goré: A proof theoretic analysis of intruder theories CoRR abs/0804.0273: (2008)
2007
51	EE	Jeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. CATS 2007: 35-43
50	EE	Rajeev Goré, Linh Anh Nguyen: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA VIII 2007: 268-287
49	EE	Rajeev Goré, Linh Anh Nguyen: EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007
48	EE	Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46
47	EE	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
46	EE	Linda Buisman, Rajeev Goré: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106
45	EE	Linda Buisman, Rajeev Goré: A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version CoRR abs/0704.1707: (2007)
44	EE	Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007)
43	EE	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)
2005
42	EE	Rajeev Goré, Linh Anh Nguyen: A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152
41	EE	Linh Anh Nguyen, Rajeev Goré: Completeness of hyper-resolution via the semantics of disjunctive logic programs. Inf. Process. Lett. 95(2): 363-369 (2005)
2004
40	EE	Jeremy E. Dawson, Rajeev Goré: A General Theorem on Termination of Rewriting. CSL 2004: 100-114
39	EE	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
38	EE	Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
37	EE	Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
2003
36	EE	Agnes Boskovitz, Rajeev Goré, Markus Hegland: A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. IDA 2003: 554-565
35	EE	Pietro Abate, Rajeev Goré: The Tableaux Work Bench. TABLEAUX 2003: 230-236
34	EE	Jeremy E. Dawson, Rajeev Goré: A New Machine-checked Proof of Strong Normalisation for Display Logic. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
33	EE	Jeremy E. Dawson, Rajeev Goré: Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence 2002: 95-106
32	EE	Jeremy E. Dawson, Rajeev Goré: Formalised Cut Admissibility for Display Logic. TPHOLs 2002: 131-147
31	EE	Stéphane Demri, Rajeev Goré: Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. J. Log. Comput. 12(5): 861-884 (2002)
30	EE	Sté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
28	EE	Rajeev Goré, Phuong Thê Nguyên: CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123
27	EE	Jeremy 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
24	EE	Rajeev 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)
20	EE	Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): (2000)
1999
19	EE	Sté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
16		Jeremy E. Dawson, Rajeev Goré: A Mechanisation of Classical Modal Tense Logics Using Isabelle. Australian Joint Conference on Artificial Intelligence 1998: 107-118
15		Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
14		Nicolette Bonnette, Rajeev Goré: A Labelled Sequent System for Tense Logic Kt. Australian Joint Conference on Artificial Intelligence 1998: 71-82
13	EE	Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
12	EE	Bernhard Beckert, Rajeev Goré: System Description: leanK 2.0. CADE 1998: 51-55
11	EE	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
10	EE	Jeremy E. Dawson, Rajeev Goré: A Mechanised Proof System for Relation Algebra using Display Logic. JELIA 1998: 264-278
9	EE	Bernhard Beckert, Rajeev Goré: leanK 2.0. TABLEAUX 1998: 33-34
8	EE	Rajeev Goré: Substructural Logics on Display. Logic Journal of the IGPL 6(3): 451-504 (1998)
7	EE	Rajeev 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
4		Rajeev Goré: Cut-free Display Calculi for Relation Algebras. CSL 1996: 198-210
1995
3	EE	Krysia 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
1	EE	Rajeev Goré, Kotagiri Ramamohanarao: Automatic Synthesis of Boolean Equations Using Programmable Array Logic. DAC 1989: 283-289

Coauthor Index

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

Colors in the list of coauthors