Vincent Rahli

Colleges, School and Institutes

Computer Science

View graph of relations

Most downloaded publications

Asphalion: trustworthy shielding against Byzantine faults

Vincent Rahli, 10 Oct 2019, In: Proceedings of the ACM on Programming Languages. 3, OOPSLA, 138.

Research output: Contribution to journal › Conference article › peer-review

98 downloads

Computability beyond Church-Turing via choice sequences

Vincent Rahli, 9 Jul 2018, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), p. 245-254 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

94 downloads

Towards a formally verified proof assistant

Vincent Rahli, Jul 2014, Interactive theorem proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Vol. 8558. p. 27-44 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

94 downloads

A nominal exploration of intuitionism

Vincent Rahli, 18 Jan 2016, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2016. Association for Computing Machinery (ACM), p. 130-141 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

93 downloads

Formally verified differential dynamic logic

Vincent Rahli, 16 Jan 2017, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017. Bertot, Y. & Vafeiadis, V. (eds.). Association for Computing Machinery (ACM), p. 208-221 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

92 downloads