Research output per year
Research output per year
Fingerprint
Dive into the research topics where Vincent Rahli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Constructing unprejudiced extensional type theories with choices via modalities
Cohen, L. & Rahli, V., 30 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Felty, A. P. (ed.). Schloss Dagstuhl, 23 p. 10. (Leibniz International Proceedings in Informatics; vol. 228).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile33 Downloads (Pure) -
Damysus: streamlined BFT consensus leveraging trusted components
Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 28 Mar 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems: Proceedings of the Seventeenth European Conference on Computer Systems. Association for Computing Machinery (ACM), p. 1-16 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile37 Downloads (Pure) -
Open bar - a Brouwerian intuitionistic logic with a pinch of excluded middle
Bickford, M., Cohen, L., Constable, R. L. & Rahli, V., 13 Jan 2021, In: Leibniz International Proceedings in Informatics. 183, p. 11:1-11:23Research output: Contribution to journal › Conference article › peer-review
Open AccessFile60 Downloads (Pure) -
PISTIS: an event-triggered real-time Byzantine-resilient protocol suite
Kozhaya, D., Decouchant, J., Rahli, V. & Veríssimo, P. J. E., 4 Feb 2021, (E-pub ahead of print) In: IEEE Transactions on Parallel and Distributed Systems. 32, 9, p. 2277-2290 9347806.Research output: Contribution to journal › Article › peer-review
Open AccessFile136 Downloads (Pure) -
Practical Byzantine reliable broadcast on partially connected networks
Bonomi, S., Decouchant, J., Farina, G., Rahli, V. & Tixeuil, S., 4 Oct 2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS). IEEE, p. 506-516 11 p. 9546451. (Proceedings of the International Conference on Distributed Computing Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile39 Downloads (Pure)
-
Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
Engineering & Physical Science Research Council
1/04/23 → 31/03/26
Project: Research Councils
-
Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment
Verified Trustworthy Software Systems
1/04/20 → 30/09/21
Project: Research