| Publication | Date of Publication | Type |
|---|
| Space-optimal naming in population protocols | 2023-02-03 | Paper |
Data Collection in Population Protocols with Non-uniformly Random Scheduler
Algorithms for Sensor Systems | 2022-12-09 | Paper |
Self-stabilizing distributed stable marriage
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| Beeping a deterministic time-optimal leader election | 2022-07-21 | Paper |
Can Uncoordinated Beeps tell Stories?
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages
Distributed Computing | 2020-12-03 | Paper |
| Optimal multi-broadcast with beeps using group testing | 2020-03-03 | Paper |
Data collection in population protocols with non-uniformly random scheduler
Theoretical Computer Science | 2020-01-16 | Paper |
| On the power of oracle \(\varOmega ?\) for self-stabilizing leader election in population protocols | 2019-11-22 | Paper |
Brief Announcement
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing | 2019-09-19 | Paper |
Brief announcement: Space-optimal naming in population protocols
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing | 2019-09-19 | Paper |
| Space-optimal counting in population protocols | 2018-08-24 | Paper |
Time and space optimal counting in population protocols
(available as arXiv preprint) | 2018-07-18 | Paper |
| The benefits of entropy in population protocols | 2017-09-29 | Paper |
Optimal reactive <i>k</i> -stabilization
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
Memory space requirements for self-stabilizing leader election protocols
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
On utilizing speed in networks of mobile agents
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
Self-stabilizing counting in mobile sensor networks
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing | 2014-03-13 | Paper |
Tight complexity analysis of population protocols with cover times -- the ZebraNet example
Theoretical Computer Science | 2014-01-13 | Paper |
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
Distributed Computing | 2013-06-20 | Paper |
Transient fault detectors
Distributed Computing | 2013-06-20 | Paper |
A self-stabilizing transformer for population protocols with covering
Theoretical Computer Science | 2011-07-22 | Paper |
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Distributed Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2036567 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 2036568 (Why is no real title available?) | 2004-02-02 | Paper |
scientific article; zbMATH DE number 1919504 (Why is no real title available?)
Chicago Journal of Theoretical Computer Science | 2003-05-27 | Paper |
Token-based self-stabilizing uniform algorithms
Journal of Parallel and Distributed Computing | 2002-10-16 | Paper |
| scientific article; zbMATH DE number 1696677 (Why is no real title available?) | 2002-01-28 | Paper |
Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors
International Journal of Systems Science. Principles and Applications of Systems and Integration | 1998-06-08 | Paper |
| scientific article; zbMATH DE number 1047918 (Why is no real title available?) | 1997-11-09 | Paper |
Two distributed problems involving Byzantine processes
Theoretical Computer Science | 1992-06-28 | Paper |
On commutative context-free languages
Journal of Computer and System Sciences | 1987-01-01 | Paper |
Une note sur le théorème de caractérisation des générateurs algébriques. (A note on the characterization theorem for context-free generators)
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3997184 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978422 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4020501 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3919856 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3885337 (Why is no real title available?) | 1984-01-01 | Paper |
Remarques sur les langages de parenthèses
Theoretical Computer Science | 1984-01-01 | Paper |
Bicentres de langages algébriques
Acta Informatica | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3843156 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3812983 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3776892 (Why is no real title available?) | 1982-01-01 | Paper |
Sur la structure des langages algébriques
International Journal of Computer Mathematics | 1982-01-01 | Paper |
Formes de langages et de grammaires
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755893 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3761430 (Why is no real title available?) | 1981-01-01 | Paper |
Substitution of semi-AFL's
Theoretical Computer Science | 1981-01-01 | Paper |
A remark about a substitution property
Mathematical Systems Theory | 1981-01-01 | Paper |
More about the “geography” of context-free languages
Information and Control | 1981-01-01 | Paper |
Langages algébriques dominés par des langages unaires
Information and Control | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3694615 (Why is no real title available?) | 1980-01-01 | Paper |
Langages sur des alphabets infinis
Discrete Applied Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3677223 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3648153 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3640899 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3639168 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3640900 (Why is no real title available?) | 1979-01-01 | Paper |
Générateurs algébriques et systèmes de paires iterantes
Theoretical Computer Science | 1979-01-01 | Paper |
Deux Familles de Langages Incomparables
Information and Control | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630198 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3588055 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594670 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3604388 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3566211 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3516652 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3540383 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3461494 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3438422 (Why is no real title available?) | 1973-01-01 | Paper |
