Vincent Rahli

475 total citations
33 papers, 166 citations indexed

About

Vincent Rahli is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Vincent Rahli has authored 33 papers receiving a total of 166 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Artificial Intelligence, 15 papers in Computer Networks and Communications and 13 papers in Computational Theory and Mathematics. Recurrent topics in Vincent Rahli's work include Logic, programming, and type systems (21 papers), Distributed systems and fault tolerance (13 papers) and Logic, Reasoning, and Knowledge (10 papers). Vincent Rahli is often cited by papers focused on Logic, programming, and type systems (21 papers), Distributed systems and fault tolerance (13 papers) and Logic, Reasoning, and Knowledge (10 papers). Vincent Rahli collaborates with scholars based in United States, Luxembourg and France. Vincent Rahli's co-authors include Mark Bickford, Jérémie Decouchant, Robert L. Constable, Jiangshan Yu, J. B. Wells, Robbert van Renesse, Nicolas Schiper, Abhishek Anand, Marcus Völp and André Platzer and has published in prestigious journals such as Science of Computer Programming, Journal of Symbolic Computation and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Vincent Rahli

29 papers receiving 160 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Vincent Rahli United States 7 100 83 58 50 23 33 166
Christoph Sprenger Switzerland 7 102 1.0× 89 1.1× 54 0.9× 39 0.8× 14 0.6× 29 151
Moses Liskov United States 7 129 1.3× 62 0.7× 45 0.8× 29 0.6× 9 0.4× 14 170
Sela Mador-Haim United States 4 51 0.5× 48 0.6× 62 1.1× 23 0.5× 63 2.7× 7 145
Ken McMillan United States 5 85 0.8× 47 0.6× 28 0.5× 85 1.7× 65 2.8× 8 160
Peter Schachte Australia 8 98 1.0× 62 0.7× 42 0.7× 54 1.1× 39 1.7× 28 156
Musab A. Alturki United States 6 87 0.9× 57 0.7× 39 0.7× 46 0.9× 14 0.6× 16 117
Hossein Hojjat United States 8 80 0.8× 100 1.2× 67 1.2× 69 1.4× 58 2.5× 28 220
Lukáš Holík Czechia 9 80 0.8× 36 0.4× 65 1.1× 41 0.8× 58 2.5× 26 136
Gudmund Grov United Kingdom 6 77 0.8× 36 0.4× 55 0.9× 40 0.8× 60 2.6× 30 143
Florent Jacquemard France 9 113 1.1× 58 0.7× 40 0.7× 66 1.3× 9 0.4× 27 153

Countries citing papers authored by Vincent Rahli

Since Specialization
Citations

This map shows the geographic impact of Vincent Rahli's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Vincent Rahli with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Vincent Rahli more than expected).

Fields of papers citing papers by Vincent Rahli

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Vincent Rahli. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Vincent Rahli. The network helps show where Vincent Rahli may publish in the future.

Co-authorship network of co-authors of Vincent Rahli

This figure shows the co-authorship network connecting the top 25 collaborators of Vincent Rahli. A scholar is included among the top collaborators of Vincent Rahli based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Vincent Rahli. Vincent Rahli is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Decouchant, Jérémie, et al.. (2024). OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments. University of Birmingham Research Portal (University of Birmingham). 1022–1033. 1 indexed citations
2.
Cohen, Liron, et al.. (2024). Separating Markov's Principles. SPIRE - Sciences Po Institutional REpository. 1–14. 1 indexed citations
3.
Shoker, Ali, Vincent Rahli, Jérémie Decouchant, & Paulo Esteves-Veríssimo. (2023). Intrusion Resilience Systems for Modern Vehicles. Research Repository (Delft University of Technology). 1–7. 3 indexed citations
4.
Decouchant, Jérémie, et al.. (2022). DAMYSUS. Monash University Research Portal (Monash University). 1–16. 33 indexed citations
5.
Rahli, Vincent, Mark Bickford, & Robert L. Constable. (2017). Bar induction: the good, the bad, and the ugly. 1–12.
6.
Rahli, Vincent, et al.. (2017). EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. Science of Computer Programming. 148. 26–48. 2 indexed citations
7.
Rahli, Vincent, et al.. (2016). Skalpel: A constraint-based type error slicer for Standard ML. Journal of Symbolic Computation. 80. 164–208. 3 indexed citations
8.
Rahli, Vincent & Mark Bickford. (2016). A nominal exploration of intuitionism. Open Repository and Bibliography (University of Luxembourg). 130–141. 8 indexed citations
9.
Völp, Marcus, Adam Lackorzyński, Jérémie Decouchant, et al.. (2016). Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. Open Repository and Bibliography (University of Luxembourg). 1–6. 4 indexed citations
10.
Anand, Abhishek & Vincent Rahli. (2014). A Generic Approach to Proofs about Substitution. Open Repository and Bibliography (University of Luxembourg). 1–8. 1 indexed citations
11.
Schiper, Nicolas, et al.. (2014). Developing Correctly Replicated Databases Using Formal Tools. Open Repository and Bibliography (University of Luxembourg). 395–406. 17 indexed citations
12.
Schiper, Nicolas, Vincent Rahli, Robbert van Renesse, Mark Bickford, & Robert L. Constable. (2012). ShadowDB: a replicated database on a synthesized consensus core. Open Repository and Bibliography (University of Luxembourg). 19(11). 7–7. 3 indexed citations
13.
Bickford, Mark, Robert L. Constable, & Vincent Rahli. (2012). The Logic of Events, a framework to reason about distributed systems. eCommons (Cornell University). 6 indexed citations
14.
Kamareddine, Fairouz, Vincent Rahli, & J. B. Wells. (2012). Reducibility Proofs in the λ-Calculus. Fundamenta Informaticae. 121(1-4). 121–152. 1 indexed citations
15.
Rahli, Vincent. (2012). Interfacing with Proof Assistants for Domain Specific Programming Using EventML. Open Repository and Bibliography (University of Luxembourg). 12 indexed citations
16.
Kamareddine, Fairouz, et al.. (2012). On Realisability Semantics for Intersection Types with Expansion Variables. Fundamenta Informaticae. 121(1-4). 153–184.
17.
Bickford, Mark, et al.. (2012). Introduction to EventML. Open Repository and Bibliography (University of Luxembourg). 1 indexed citations
18.
Rahli, Vincent, Nicolas Schiper, Robbert van Renesse, Mark Bickford, & Robert L. Constable. (2012). A diversified and correct-by-construction broadcast service. Open Repository and Bibliography (University of Luxembourg). 78. 1–6. 3 indexed citations
19.
Rahli, Vincent, et al.. (2010). A constraint system for a SML type error slicer. Open Repository and Bibliography (University of Luxembourg). 12 indexed citations
20.
Kamareddine, Fairouz, et al.. (2007). Developing Realisability Semantics for Intersection Types and Expansion Variables.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Christoph Sprenger Breakdown of academic impact, for papers by Moses Liskov Breakdown of academic impact, for papers by Sela Mador-Haim Breakdown of academic impact, for papers by Ken McMillan Breakdown of academic impact, for papers by Peter Schachte Breakdown of academic impact, for papers by Musab A. Alturki Breakdown of academic impact, for papers by Hossein Hojjat Breakdown of academic impact, for papers by Lukáš Holík Breakdown of academic impact, for papers by Gudmund Grov Breakdown of academic impact, for papers by Florent Jacquemard
Rankless by CCL
2026