David Ilcinkas

Orcid: 0000-0002-0094-4330

According to our database1, David Ilcinkas authored at least 59 papers between 2004 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences.
Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

2024
A State-of-the-Art Karp-Miller Algorithm Certified in Coq.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient.
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

2023
Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison.
CoRR, 2023

Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments.
CoRR, 2023

2022
Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions.
Algorithmica, 2022

2021
Exploration of Dynamic Cactuses with Sub-logarithmic Overhead.
Theory Comput. Syst., 2021

2020
Exploration of carrier-based time-varying networks: The power of waiting.
Theor. Comput. Sci., 2020

Deciding and verifying network properties locally with few output bits.
Distributed Comput., 2020

Framing Algorithms for Approximate Multicriteria Shortest Paths.
Proceedings of the 20th Symposium on Algorithmic Approaches for Transportation Modelling, 2020

2019
Oblivious Robots on Graphs: Exploration.
Proceedings of the Distributed Computing by Mobile Entities, 2019

On asynchronous rendezvous in general graphs.
Theor. Comput. Sci., 2019

Silent self-stabilizing scheme for spanning-tree-like constructions.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

Structural Information in Distributed Computing.
, 2019

2017
Robustness of the Rotor-Router Mechanism.
Algorithmica, 2017

2016
The impact of dynamic events on the number of errors in networks.
Theor. Comput. Sci., 2016

Linear Search by a Pair of Distinct-Speed Robots.
Proceedings of the Structural Information and Communication Complexity, 2016

Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps.
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

On Mobile Agent Verifiable Problems.
Proceedings of the LATIN 2016: Theoretical Informatics, 2016

2015
Brief Announcement: Routing the Internet with Very Few Entries.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Beachcombing on Strips and Islands.
Proceedings of the Algorithms for Sensor Systems, 2015

2014
Distributedly Testing Cycle-Freeness.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2014

Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Exploration of Constantly Connected Dynamic Graphs Based on Cactuses.
Proceedings of the Structural Information and Communication Complexity, 2014

2013
Worst-case optimal exploration of terrains with obstacles.
Inf. Comput., 2013

On the Communication Complexity of Distributed Name-Independent Routing Schemes.
Proceedings of the Distributed Computing - 27th International Symposium, 2013

Exploration of the T-Interval-Connected Dynamic Graphs: The Case of the Ring.
Proceedings of the Structural Information and Communication Complexity, 2013

2012
Ping Pong in Dangerous Graphs: Optimal Black Hole Search with Pebbles.
Algorithmica, 2012

2011
How many oblivious robots can explore a line.
Inf. Process. Lett., 2011

On the Power of Waiting When Exploring Public Transportation Systems.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

The Impact of Edge Deletions on the Number of Errors in Networks.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

2010
Communication algorithms with advice.
J. Comput. Syst. Sci., 2010

Connections between Theta-Graphs, Delaunay Triangulations, and Orthogonal Surfaces.
Proceedings of the Graph Theoretic Concepts in Computer Science, 2010

Almost Optimal Asynchronous Rendezvous in Infinite Multidimensional Grids.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Optimal Exploration of Terrains with Obstacles.
Proceedings of the Algorithm Theory, 2010

Asynchronous Deterministic Rendezvous in Bounded Terrains.
Proceedings of the Structural Information and Communication Complexity, 2010

Locating a target with an agent guided by unreliable local advice: how to beat the random walk when you have a clock?
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

2009
Euler Tour Lock-In Problem in the Rotor-Router Model.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

More Efficient Periodic Traversal in Anonymous Undirected Graphs.
Proceedings of the Structural Information and Communication Complexity, 2009

Derandomizing Random Walks in Undirected Graphs Using Locally Fair Exploration Strategies.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

2008
Tree exploration with advice.
Inf. Comput., 2008

Impact of Asynchrony on the Behavior of Rational Selfish Agents.
Fundam. Informaticae, 2008

Impact of memory size on graph exploration capability.
Discret. Appl. Math., 2008

Ping Pong in Dangerous Graphs: Optimal Black Hole Search with Pure Tokens.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Fast Radio Broadcasting with Advice.
Proceedings of the Structural Information and Communication Complexity, 2008

Remembering without Memory: Tree Exploration by Asynchronous Oblivious Robots.
Proceedings of the Structural Information and Communication Complexity, 2008

2007
The Cost of Monotonicity in Distributed Graph Searching.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Distributed Computing with Advice: Information Sensitivity of Graph Coloring.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006
Complexité en espace de l'exploration de graphes.
PhD thesis, 2006

Setting Port Numbers for Fast Graph Exploration.
Proceedings of the Structural Information and Communication Complexity, 2006

Oracle size: a new measure of difficulty for communication tasks.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Tree Exploration with an Oracle.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

The Reduced Automata Technique for Graph Exploration Space Lower Bounds.
Proceedings of the Theoretical Computer Science, 2006

2005
Space Lower Bounds for Graph Exploration via Reduced Automata.
Proceedings of the Structural Information and Communication Complexity, 2005

Labeling Schemes for Tree Representation.
Proceedings of the Distributed Computing, 2005

Label-Guided Graph Exploration by a Finite Automaton.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004
Digraphs Exploration with Little Memory.
Proceedings of the STACS 2004, 2004

Graph Exploration by a Finite Automaton.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004


  Loading...