Rajeev Goré

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Zhe Hou

> Home > Persons > Rajeev Goré

Publications

2020
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BrideCDGHMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BrideCDGHMM20
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) 2020: 369-377
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05520
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker. CoRR abs/2005.05520 (2020)
2018
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HouGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HouGT18
Zhe Hou, Rajeev Goré, Alwen Tiu:
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28(4): 809-872 (2018)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/HouCGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/HouCGT18
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19(2): 13:1-13:35 (2018)
2017
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-10805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-10805
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR abs/1710.10805 (2017)
2016
[j29]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/HouSTGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HouSTGC16
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016)
2015
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HouGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HouGT15
Zhe Hou, Rajeev Goré, Alwen Tiu:
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE 2015: 501-516
2014
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HouCGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HouCGT14
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. POPL 2014: 465-476
2013
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/HouTG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/HouTG13
Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX 2013: 172-187
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1302-4783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4783
Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. CoRR abs/1302.4783 (2013)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HouCGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HouCGT13
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. CoRR abs/1307.5592 (2013)
2012
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/is/AwadGHTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/AwadGHTW12
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)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.