Rajeev Goré

	2012
83		Alwen Tiu, Egor Ianovski, Rajeev Goré: Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures CoRR abs/1204.2413: (2012)
	2011
82		Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich: An Iterative Approach for Business Process Template Synthesis from Compliance Rules. CAiSE 2011: 406-421
81		James Brotherston, Rajeev Goré: Craig Interpolation in Displayable Logics. TABLEAUX 2011: 88-103
80		Rajeev Goré, Jimmy Thomson, Florian Widmann: An Experimental Comparison of Theorem Provers for CTL. TIME 2011: 49-56
79		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)
78		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)
	2010
77		Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic 2010: 156-177
76		Rajeev Goré, Florian Widmann: Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. IJCAR 2010: 225-239
75		Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder: Global Caching for Coalgebraic Description Logics. IJCAR 2010: 46-60
74		Jeremy E. Dawson, Rajeev Goré: Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) 2010: 263-277
73		Rajeev Goré, Clemens Kupke, Dirk Pattinson: Optimal Tableau Algorithms for Coalgebraic Logics. TACAS 2010: 114-128
72		Rajeev Goré, Florian Widmann: Optimal Tableaux for Propositional Dynamic Logic with Converse CoRR abs/1002.0172: (2010)
71		Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic CoRR abs/1006.4793: (2010)
70		Rajeev Goré, Linda Postniece: Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. J. Log. Comput. 20(1): 233-260 (2010)
69		Alwen Tiu, Rajeev Goré, Jeremy E. Dawson: A Proof Theoretic Analysis of Intruder Theories Logical Methods in Computer Science 6(3): (2010)
68		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)
	2009
67		Rajeev Goré, Florian Widmann: An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. CADE 2009: 437-452
66		Rajeev Goré: Global Caching, Inverse Roles and Fixpoint Logics. Description Logics 2009
65		Rajeev Goré: Machine Checking Proof Theory: An Application of Logic to Logic. ICLA 2009: 23-35
64		Andreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
63		Alwen Tiu, Rajeev Goré: A Proof Theoretic Analysis of Intruder Theories. RTA 2009: 103-117
62		Rajeev Goré, Linda Postniece, Alwen Tiu: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204
61		Rajeev Goré, Florian Widmann: Sound Global State Caching for ALC with Inverse Roles. TABLEAUX 2009: 205-219
60		Andreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
59		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)
58		Pietro Abate, Rajeev Goré: The Tableau Workbench. Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009)
57		Rajeev Goré, Linh Anh Nguyen: Clausal Tableaux for Multimodal Logics of Belief. Fundam. Inform. 94(1): 21-40 (2009)
56		Jeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20(1): 57-82 (2009)
	2008
55		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		Rajeev Goré, Revantha Ramanayake: Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic 2008: 67-86
53		Rajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305
52		Alwen Tiu, Rajeev Goré: A proof theoretic analysis of intruder theories CoRR abs/0804.0273: (2008)
	2007
51		Jeremy E. Dawson, Rajeev Goré: Termination of Abstract Reduction Systems. CATS 2007: 35-43
50		Rajeev Goré, Linh Anh Nguyen: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA 2007: 268-287
49		Rajeev Goré, Linh Anh Nguyen: EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007
48		Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46
47		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		Linda Buisman, Rajeev Goré: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106
45		Linda Buisman, Rajeev Goré: A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version CoRR abs/0704.1707: (2007)
44		Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007)
43		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		Rajeev Goré, Linh Anh Nguyen: A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152
41		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		Jeremy E. Dawson, Rajeev Goré: A General Theorem on Termination of Rewriting. CSL 2004: 100-114
39		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		Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
37		Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
	2003
36		Agnes Boskovitz, Rajeev Goré, Markus Hegland: A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. IDA 2003: 554-565
35		Pietro Abate, Rajeev Goré: The Tableaux Work Bench. TABLEAUX 2003: 230-236
34		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)
	2002
33		Jeremy E. Dawson, Rajeev Goré: Machine-Checking the Timed Interval Calculus. Australian Joint Conference on Artificial Intelligence 2002: 95-106
32		Jeremy E. Dawson, Rajeev Goré: Formalised Cut Admissibility for Display Logic. TPHOLs 2002: 131-147
31		Stéphane Demri, Rajeev Goré: Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. J. Log. Comput. 12(5): 861-884 (2002)
30		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		Rajeev Goré, Phuong Thê Nguyên: CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123
27		Jeremy E. Dawson, Rajeev Goré: Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. Electr. Notes Theor. Comput. Sci. 42: 89-103 (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		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		Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): 231-237 (2000)
	1999
19		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		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		Bernhard Beckert, Rajeev Goré: System Description: leanK 2.0. CADE 1998: 51-55
11		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		Jeremy E. Dawson, Rajeev Goré: A Mechanised Proof System for Relation Algebra using Display Logic. JELIA 1998: 264-278
9		Bernhard Beckert, Rajeev Goré: leanK 2.0. TABLEAUX 1998: 33-34
8		Rajeev Goré: Substructural Logics on Display. Logic Journal of the IGPL 6(3): 451-504 (1998)
7		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		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		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] [58] [59]
2	Carlos Areces	[20]
3	Ahmed Awad	[82]
4	Andreas Bauer (Andreas Klaus Bauer)	[60] [64]
5	Bernhard Beckert	[6] [9] [12] [26]
6	Nicolette Bonnette	[14]
7	Agnes Boskovitz	[36]
8	Vijay Boyapati	[17]
9	Krysia Broda	[3]
10	James Brotherston	[81]
11	Linda Buisman	[45] [46]
12	Vaughan Coulthard	[39]
13	Marcello D'Agostino	[3]
14	Jennifer M. Davoren	[25] [39]
15	Jeremy E. Dawson	[10] [16] [27] [32] [33] [34] [40] [51] [56] [69] [74]
16	Stéphane Demri	[11] [18] [19] [22] [30] [31]
17	Enrico Franconi	[20]
18	Markus Hegland	[36]
19	Wolfgang Heinle	[5]
20	Alain Heuerding	[5]
21	Egor Ianovski	[83]
22	Rob Johnson	[3]
23	Simon Kramer	[68] [79]
24	Clemens Kupke	[73] [75]
25	Alexander Leitsch	[29]
26	Michael Mendler	[37] [38]
27	Thomas Moor	[39]
28	Anil Nerode	[39]
29	Lan Duy Nguyen	[24]
30	Linh Anh Nguyen	[41] [42] [47] [49] [50] [57]
31	Phuong Thê Nguyên	[28]
32	Tobias Nipkow	[29]
33	Eiji Okamoto	[68] [79]
34	Valeria de Paiva	[37] [38]
35	Dirk Pattinson	[73] [75]
36	Joachim Posegga	[13] [15]
37	Linda Postniece	[53] [55] [62] [70] [71] [77] [78]
38	Kotagiri Ramamohanarao (Rao Kotagiri)	[1]
39	Revantha Ramanayake	[54]
40	Steve Reeves	[3]
41	Maarten de Rijke	[20]
42	Bernd-Holger Schlingloff (Holger Schlingloff)	[20]
43	Lutz Schröder	[75]
44	Andrew Slater	[13] [15]
45	James Thomson	[82]
46	Jimmy Thomson	[80]
47	Alwen Tiu (Alwen Fernanto Tiu)	[43] [52] [55] [60] [62] [63] [64] [69] [71] [77] [78] [83]
48	Harald Vogt	[13] [15]
49	Matthias Weidlich	[82]
50	Florian Widmann	[44] [48] [59] [61] [67] [72] [76] [80]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page