Rajeev Gore

Identifiers

• name variant Rajeev Gore 0.60 · backfill

Papers (8)

1. Formal Certification of Android Bytecode cs.PL · 2015 · author #3
2. Proof search for propositional abstract separation logics via labelled sequents cs.LO · 2013 · author #3
3. Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version cs.LO · 2013 · author #3
4. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search cs.LO · 2013 · author #3
5. Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures cs.LO · 2012 · author #3
6. Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic cs.LO · 2010 · author #1
7. A decidable policy language for history-based transaction monitoring cs.LO · 2009 · author #2
8. A proof theoretic analysis of intruder theories cs.LO · 2008 · author #2

Mentions

• 1302.4783 #3 · backfill · confidence 0.70 Rajeev Gore
• 1204.2413 #3 · backfill · confidence 0.70 Rajeev Gore
• 1006.4793 #1 · backfill · confidence 0.70 Rajeev Gore
• 0903.2904 #2 · backfill · confidence 0.70 Rajeev Gore
• 0804.0273 #2 · backfill · confidence 0.70 Rajeev Gore

Frequent Coauthors

• Alwen Tiu 8 shared papers
• Ranald Clouston 2 shared papers
• Zhe Hou 2 shared papers
• Andreas Bauer 1 shared papers
• Egor Ianovski 1 shared papers
• Hendra Gunadi 1 shared papers
• Jeremy Dawson 1 shared papers
• Linda Postniece 1 shared papers