A. Fontaine

Available identifiers

zbMath Open fontaine.allyxMaRDI QIDQ1796840

List of research outcomes

Publication	Date of Publication	Type
RDA: a Coq library to reason about randomised distributed algorithms in the message passing model	2019-02-08	Paper
Dynamic and approximate pattern matching in 2D	2018-10-17	Paper
The \(k\)-mismatch problem revisited	2018-07-16	Paper
Certified impossibility results and analyses in Coq of some randomised distributed algorithms	2016-12-21	Paper
Dictionary matching in a stream	2015-11-19	Paper
On lower bounds for the time and the bit complexity of some probabilistic distributed graph algorithms. Extended abstract	2015-01-13	Paper
Optimal bit complexity randomised distributed MIS and maximal matching algorithms for anonymous rings	2014-01-10	Paper

Research outcomes over time

This page was built for person: A. Fontaine