Lionel Rieg

From MaRDI portal
Person:483061

Available identifiers

zbMath Open rieg.lionelMaRDI QIDQ483061

List of research outcomes





PublicationDate of PublicationType
Synchronous gathering without multiplicity detection: a certified algorithm2019-11-22Paper
Synchronous gathering without multiplicity detection: a certified algorithm2019-06-21Paper
Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots2018-08-16Paper
Extracting Herbrand trees in classical realizability using forcing2017-02-02Paper
Impossibility of gathering, a certification2014-12-15Paper

Research outcomes over time

This page was built for person: Lionel Rieg

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:483061&oldid=6716493"
Powered by MediaWiki