| Publication | Date of Publication | Type |
|---|
| Beedroids: how luminous autonomous swarms of UAVs can save the world? | 2024-05-16 | Paper |
Self-stabilizing synchronous unison in directed networks
Theoretical Computer Science | 2024-05-08 | Paper |
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Squeezing streams and composition of self-stabilizing algorithms
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality
Theoretical Computer Science | 2023-10-17 | Paper |
Acyclic strategy for silent self-stabilization in spanning forests
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Self-stabilizing systems in spite of high dynamics
Theoretical Computer Science | 2023-06-15 | Paper |
Analysis of a memory-efficient self-stabilizing BFS spanning tree construction
Theoretical Computer Science | 2023-04-12 | Paper |
| Finding water on Poleless using melomaniac myopic chameleon robots | 2023-02-07 | Paper |
Certification of an exact worst-case self-stabilization time
Theoretical Computer Science | 2023-01-04 | Paper |
Optimized silent self-stabilizing scheme for tree-based constructions
Algorithmica | 2022-02-01 | Paper |
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Optimal torus exploration by oblivious robots
Computing | 2021-01-15 | Paper |
Infinite grid exploration by disoriented robots
(available as arXiv preprint) | 2020-03-03 | Paper |
Introduction to Distributed Self-Stabilizing Algorithms
Synthesis Lectures on Distributed Computing Theory | 2019-05-21 | Paper |
| Self-stabilizing disconnected components detection and rooted shortest-path tree maintenance in polynomial steps | 2018-12-10 | Paper |
A silent self-stabilizing algorithm for the generalized minimal \(k\)-dominating set problem
Theoretical Computer Science | 2018-11-29 | Paper |
Self-stabilizing disconnected components detection and rooted shortest-path tree maintenance in polynomial steps
(available as arXiv preprint) | 2018-07-18 | Paper |
| Gradual stabilization under \(\tau \)-dynamics | 2018-01-11 | Paper |
Self-stabilizing weak leader election in anonymous trees using constant memory per edge
Parallel Processing Letters | 2017-12-15 | Paper |
A framework for certified self-stabilization
Logical Methods in Computer Science | 2017-12-11 | Paper |
On probabilistic snap-stabilization
Theoretical Computer Science | 2017-06-19 | Paper |
Self-stabilizing leader election in polynomial steps
Information and Computation | 2017-05-12 | Paper |
Self-stabilizing silent disjunction in an anonymous network
Theoretical Computer Science | 2017-02-06 | Paper |
Self-stabilizing silent disjunction in an anonymous network
Distributed Computing and Networking | 2016-12-19 | Paper |
A framework for certified self-stabilization
Lecture Notes in Computer Science | 2016-10-19 | Paper |
The expressive power of snap-stabilization
Theoretical Computer Science | 2016-03-31 | Paper |
Competitive self-stabilizing \(k\)-clustering
Theoretical Computer Science | 2016-03-31 | Paper |
Weak vs. self vs. probabilistic stabilization
International Journal of Foundations of Computer Science | 2015-09-29 | Paper |
Comparison of mean hitting times for a degree-biased random walk
Discrete Applied Mathematics | 2014-05-06 | Paper |
Self-stabilizing labeling and ranking in ordered trees
Theoretical Computer Science | 2014-01-13 | Paper |
Optimal probabilistic ring exploration by semi-synchronous oblivious robots
Theoretical Computer Science | 2014-01-10 | Paper |
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks
Journal of Combinatorial Optimization | 2013-06-28 | Paper |
Analysis of random walks using tabu lists
Structural Information and Communication Complexity | 2012-09-26 | Paper |
Snap-stabilization in message-passing systems
Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
Stabilizing leader election in partial synchronous systems with crash failures
Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
Asymptotically optimal deterministic rendezvous
International Journal of Foundations of Computer Science | 2011-10-10 | Paper |
Self-stabilizing \(k\)-out-of-\(\ell\) exclusion in tree networks
International Journal of Foundations of Computer Science | 2011-05-10 | Paper |
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Algorithms for Extracting Timeliness Graphs
Structural Information and Communication Complexity | 2010-06-17 | Paper |
Optimal probabilistic ring exploration by semi-synchronous oblivious robots
Structural Information and Communication Complexity | 2010-02-24 | Paper |
A Snap-Stabilizing DFS with a Lower Space Requirement
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-12-15 | Paper |
