Allyx 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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Allyx Fontaine