E-LIB Suche - Ergebnisse für: Goré, Rajeev

1

A New Calculus for Intuitionistic Strong Löb Logic: Strong ..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Shillito, Ian ; van der Giessen, Iris ; Goré, Rajeev. - p. 73-93 , 2023

Link: https://doi.org/10.1007/..

2

Did you mix me? Formally Verifying Verifiable Mix Nets in E..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),

Haines, Thomas ; Gore, Rajeev ; Sharma, Bhavesh - p. 1748-1765 , 2021

Link: https://doi.org/10.1109/..

3

CEGAR-Tableaux: Improved Modal Satisfiability via Modal Cla..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Goré, Rajeev ; Kikkert, Cormac - p. 74-91 , 2021

Link: https://doi.org/10.1007/..

4

Machine-Checking the Universal Verifiability of ElectionGua..:

, In: Secure IT Systems; Lecture Notes in Computer Science,

Haines, Thomas ; Goré, Rajeev ; Stodart, Jack - p. 57-73 , 2021

Link: https://doi.org/10.1007/..

5

A Formally Verified Cut-Elimination Procedure for Linear Ne..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

D'Abrera, Caitlin ; Dawson, Jeremy ; Goré, Rajeev - p. 281-298 , 2021

Link: https://doi.org/10.1007/..

6

Cut-Elimination for Provability Logic by Terminating Proof-..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Goré, Rajeev ; Ramanayake, Revantha ; Shillito, Ian - p. 299-313 , 2021

Link: https://doi.org/10.1007/..

7

N-PAT: A Nested Model-Checker: (System Description):

, In: Automated Reasoning; Lecture Notes in Computer Science,

Bride, Hadrien ; Cai, Cheng-Hao ; Dong, Jin Song... - p. 369-377 , 2020

Link: https://doi.org/10.1007/..

8

Syntactic Cut-Elimination and Backward Proof-Search for Ten..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Goré, Rajeev ; Lellmann, Björn - p. 185-202 , 2019

Link: https://doi.org/10.1007/..

9

A Proof-Theoretic Perspective on SMT-Solving for Intuitioni..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Fiorentini, Camillo ; Goré, Rajeev ; Graham-Lengrand, Stéphane - p. 111-129 , 2019

Link: https://doi.org/10.1007/..

10

A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC ..:

GORÉ, RAJEEV ; THOMSON, JIMMY
The Journal of Symbolic Logic. 84 (2019) 2 - p. 439-451 , 2019

Link: https://doi.org/10.1017/..

11

Verified Verifiers for Verifying Elections:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,

Haines, Thomas ; Goré, Rajeev ; Tiwari, Mukesh - p. 685-702 , 2019

Link: https://dl.acm.org/doi/1..

12

A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC ..:

Goré, Rajeev ; Thomson, Jimmy
The Journal of Symbolic Logic. 84 (2019) 2 - p. 439-451 , 2019

Link: https://www.jstor.org/st..

13

Electronic Voting

Third International Joint Conference, E-Vote-ID 2018, Brege... Security and Cryptology ; 11143;SpringerLink, Bücher

Krimmer, Robert ; Cortier, Véronique ; Goré, Rajeev... , 2018

Link: https://doi.org/10.1007/..

14

Modular Labelled Sequent Calculi for Abstract Separation Lo..:

Hóu, Zhé ; Clouston, Ranald ; Goré, Rajeev.
ACM Transactions on Computational Logic. 19 (2018) 2 - p. 1-35 , 2018

Link: https://doi.org/10.1145/..

15

Modular Labelled Sequent Calculi for Abstract Separation Lo..:

Hóu, Zhé ; Clouston, Ranald ; Goré, Rajeev.
ACM Transactions on Computational Logic (TOCL). 19 (2018) 2 - p. 1-35 , 2018

Link: https://dl.acm.org/doi/1..