CUFinder

Vincent Rahli

Vincent Rahli

University of Birmingham

H-index: 14

Europe-United Kingdom

Contact Vincent Rahli

About Vincent Rahli

Vincent Rahli, With an exceptional h-index of 14 and a recent h-index of 11 (since 2020), a distinguished researcher at University of Birmingham, specializes in the field of Type Theory, Constuctive Logic, Proof Assistants, Formal Verification, Distributed Systems.

His recent articles reflect a diverse array of research interests and contributions to the field:

OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments

$\text {TT}^{\Box} _ {{\mathcal C}} $: a Family of Extensional Type Theories with Effectful Realizers of Continuity

Intrusion resilience systems for modern vehicles

Inductive Continuity via Brouwer Trees

Markov’s Principles in Constructive Type Theory

Realizing continuity using stateful computations

Computing apparatus

BioTT: a Family of Brouwerian Intuitionistic Theories Open to Classical Reasoning

Vincent Rahli Information

University

Position

___

Citations(all)

641

Citations(since 2020)

348

Cited By

445

hIndex(all)

14

hIndex(since 2020)

11

i10Index(all)

21

i10Index(since 2020)

12

Email

University Profile Page

Google Scholar

Vincent Rahli Skills & Research Interests

Type Theory

Constuctive Logic

Proof Assistants

Formal Verification

Distributed Systems

Top articles of Vincent Rahli

OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments

2024

Jérémie Decouchant
Jérémie Decouchant

H-Index: 7

Vincent Rahli
Vincent Rahli

H-Index: 9

$\text {TT}^{\Box} _ {{\mathcal C}} $: a Family of Extensional Type Theories with Effectful Realizers of Continuity

arXiv preprint arXiv:2307.14168

2023/7/26

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Intrusion resilience systems for modern vehicles

2023

Vincent Rahli
Vincent Rahli

H-Index: 9

Paulo Esteves-Verissimo
Paulo Esteves-Verissimo

H-Index: 22

Inductive Continuity via Brouwer Trees

2023

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Ayberk Tosun
Ayberk Tosun

H-Index: 1

Markov’s Principles in Constructive Type Theory

29th International Conference on Types for Proofs and Programs TYPES 2023–Abstracts

2023

Yannick Forster
Yannick Forster

H-Index: 11

Dominik Kirst
Dominik Kirst

H-Index: 7

Vincent Rahli
Vincent Rahli

H-Index: 9

Realizing continuity using stateful computations

2023

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Computing apparatus

2022/8/16

BioTT: a Family of Brouwerian Intuitionistic Theories Open to Classical Reasoning

2022/6

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

DAMYSUS: streamlined BFT consensus leveraging trusted components

2022/3/28

Jérémie Decouchant
Jérémie Decouchant

H-Index: 7

Vincent Rahli
Vincent Rahli

H-Index: 9

Constructing unprejudiced extensional type theories with choices via modalities

2022

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Comment réduire efficacement l'entropie des sources malveillantes d'information

2022/5/30

Silvia Bonomi
Silvia Bonomi

H-Index: 11

Jérémie Decouchant
Jérémie Decouchant

H-Index: 7

Vincent Rahli
Vincent Rahli

H-Index: 9

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

2021/1

Bartek Klin
Bartek Klin

H-Index: 13

Samson Abramsky
Samson Abramsky

H-Index: 29

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

Wan Fokkink
Wan Fokkink

H-Index: 15

Bas Luttik
Bas Luttik

H-Index: 10

Paweł Parys
Paweł Parys

H-Index: 11

Nicole Schweikardt
Nicole Schweikardt

H-Index: 13

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Anuj Dawar
Anuj Dawar

H-Index: 17

Yannick Forster
Yannick Forster

H-Index: 11

Merlin Göttlinger
Merlin Göttlinger

H-Index: 2

Lutz Schröder
Lutz Schröder

H-Index: 16

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Takeshi Tsukada
Takeshi Tsukada

H-Index: 9

Naoki Kobayashi
Naoki Kobayashi

H-Index: 7

Jules Hedges
Jules Hedges

H-Index: 7

Paweł Sobociński
Paweł Sobociński

H-Index: 2

Long Pham
Long Pham

H-Index: 1

Jan Hoffmann
Jan Hoffmann

H-Index: 22

Alexander Rabinovich
Alexander Rabinovich

H-Index: 17

Open bar-a brouwerian intuitionistic logic with a pinch of excluded middle

2021

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Practical Byzantine reliable broadcast on partially connected networks

2021/7/7

Silvia Bonomi
Silvia Bonomi

H-Index: 11

Jérémie Decouchant
Jérémie Decouchant

H-Index: 7

Vincent Rahli
Vincent Rahli

H-Index: 9

Pistis: an event-triggered real-time byzantine-resilient protocol suite

2021

Vincent Rahli
Vincent Rahli

H-Index: 9

Paulo Esteves-Verissimo
Paulo Esteves-Verissimo

H-Index: 22

PISTIS: From a Word-of-Mouth to a Gentleman’s Agreement

2020/7/21

Jérémie Decouchant
Jérémie Decouchant

H-Index: 7

Vincent Rahli
Vincent Rahli

H-Index: 9

Paulo Esteves-Verissimo
Paulo Esteves-Verissimo

H-Index: 22

See List of Professors in Vincent Rahli University(University of Birmingham)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine