Lionel Rieg
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Deterministic color-optimal self-stabilizing semi-synchronous gathering: two certified algorithms Theoretical Computer Science | 2026-06-26 | Paper |
| Synchronous gathering without multiplicity detection: a certified algorithm Lecture Notes in Computer Science | 2019-11-22 | Paper |
| Synchronous gathering without multiplicity detection: a certified algorithm Theory of Computing Systems | 2019-06-21 | Paper |
| Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots (available as arXiv preprint) | 2018-08-16 | Paper |
| Extracting Herbrand trees in classical realizability using forcing | 2017-02-02 | Paper |
| Impossibility of gathering, a certification Information Processing Letters | 2014-12-15 | Paper |
Research outcomes over time
This page was built for person: Lionel Rieg
