Amos Korman

IEEE Trans. Control. Netw. Syst., June, 2023

Enhanced Food Availability can Deteriorate Fitness through Excessive Scrounging.

[BibT_eX]

[DOI]

CoRR, 2023

On the Role of Memory in Robust Opinion Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Early Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication.

[BibT_eX]

[DOI]

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

2021

Navigating in Trees with Permanently Noisy Advice.

[BibT_eX]

[DOI]

ACM Trans. Algorithms, 2021

Sequential Decision-Making in Ants and Implications to the Evidence Accumulation Decision Model.

[BibT_eX]

[DOI]

Frontiers Appl. Math. Stat., 2021

On the Role of Hypocrisy in Escaping the Tragedy of the Commons.

[BibT_eX]

[DOI]

CoRR, 2021

Public Communication can Facilitate Low-Risk Coordination under Surveillance.

[BibT_eX]

[DOI]

Pierluigi Crescenzi

CoRR, 2021

Stochastic Alignment Processes.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Exploitation of Multiple Replenishing Resources with Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2020

The Search Efficiency of Intermittent Lévy walks Optimally Scales with Target Size.

[BibT_eX]

[DOI]

Brieuc Guinard

CoRR, 2020

Tight Bounds for the Cover Times of Random Walks with Heterogeneous Step Lengths.

[BibT_eX]

[DOI]

Brieuc Guinard

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

2019

Parallel Bayesian Search with No Coordination.

[BibT_eX]

[DOI]

J. ACM, 2019

Multi-Round Cooperative Search Games with Multiple Players.

[BibT_eX]

[DOI]

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Limits on reliable information flows through stochastic populations.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2018

Cooperative Search Games: Symmetric Equilibria, Robustness, and Price of Anarchy.

[BibT_eX]

[DOI]

CoRR, 2018

Intense Competition can Drive Selfish Explorers to Optimize Coverage.

[BibT_eX]

[DOI]

Simon Collet

Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

Random Walks with Multiple Step Lengths.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2018: Theoretical Informatics, 2018

Limits for Rumor Spreading in Stochastic Populations.

[BibT_eX]

[DOI]

Proceedings of the 9th Innovations in Theoretical Computer Science Conference, 2018

Searching a Tree with Permanently Noisy Advice.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual European Symposium on Algorithms, 2018

2017

The ANTS problem.

[BibT_eX]

[DOI]

Distributed Comput., 2017

Individual versus collective cognition in social insects.

[BibT_eX]

[DOI]

CoRR, 2017

Minimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits.

[BibT_eX]

[DOI]

Emanuele Natale

Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

Parallel Search with No Coordination.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2017

The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

An Optimal Ancestry Labeling Scheme with Applications to XML Trees and Universal Posets.

[BibT_eX]

[DOI]

J. ACM, 2016

Parallel Linear Search with no Coordination for a Randomly Placed Treasure.

[BibT_eX]

[DOI]

CoRR, 2016

Searching on Trees with Noisy Memory.

[BibT_eX]

[DOI]

CoRR, 2016

Self-Stabilizing Clock Synchronization with 3-bit messages.

[BibT_eX]

[DOI]

Emanuele Natale

CoRR, 2016

Parallel exhaustive search without coordination.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

Brief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages.

[BibT_eX]

[DOI]

Emanuele Natale

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

2015

Clock Synchronization and Distributed Estimation in Highly Dynamic Networks: An Information Theoretic Approach.

[BibT_eX]

[DOI]

CoRR, 2015

Clock Synchronization and Estimation in Highly Dynamic Networks: An Information Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2015

2014

Confidence Sharing: An Economic Strategy for Efficient Information Flows in Animal Groups.

[BibT_eX]

[DOI]

Efrat Greenwald

PLoS Comput. Biol., 2014

Randomized distributed decision.

[BibT_eX]

[DOI]

Distributed Comput., 2014

Breathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication.

[BibT_eX]

[DOI]

Bernhard Haeupler

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Fast Rendezvous on a Cycle by Agents with Different Speeds.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013

Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification.

[BibT_eX]

[DOI]

Liah Kor

Theory Comput. Syst., 2013

Towards a complexity theory for local distributed computing.

[BibT_eX]

[DOI]

J. ACM, 2013

Efficient and Noise-Resilient rumor-spreading in Large, Anonymous Populations.

[BibT_eX]

[DOI]

Bernhard Haeupler

CoRR, 2013

What can be decided locally without identifiers?

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Theoretical Distributed Computing Meets Biology: A Review.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Rendezvous of Agents with Different Speeds

[BibT_eX]

[DOI]

CoRR, 2012

Memory Lower Bounds for Randomized Collaborative Search and Applications to Biology

[BibT_eX]

[DOI]

CoRR, 2012

Randomized Distributed Decision.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Memory Lower Bounds for Randomized Collaborative Search and Implications for Biology.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Theoretical distributed computing meets biology.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems, 2012

Notions of Connectivity in Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2012

Collaborative search on the plane without communication.

[BibT_eX]

[DOI]

Zvi Lotker

Jean-Sébastien Sereni

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

On the Impact of Identifiers on Local Decision.

[BibT_eX]

[DOI]

Magnús M. Halldórsson

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

2011

Distributed verification and hardness of distributed approximation.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011

Tight Bounds For Distributed MST Verification.

[BibT_eX]

[DOI]

Liah Kor

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

Approximating the Statistics of various Properties in Randomly Weighted Graphs.

[BibT_eX]

[DOI]

Yuval Shavitt

Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, 2011

Toward more localized local algorithms: removing assumptions concerning global knowledge.

[BibT_eX]

[DOI]

Jean-Sébastien Sereni

Laurent Viennot

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Fast and compact self stabilizing verification, computation, and fault detection of an MST.

[BibT_eX]

[DOI]

Toshimitsu Masuzawa

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Local Distributed Decision.

[BibT_eX]

[DOI]

Proceedings of the IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011

2010

On the additive constant of the k-server Work Function Algorithm.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2010

An optimal ancestry scheme and small universal posets.

[BibT_eX]

[DOI]

Proceedings of the 42nd ACM Symposium on Theory of Computing, 2010

Compact Ancestry Labeling Schemes for XML Trees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

Efficient threshold detection in a distributed environment: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

2009

A note on models for graph representations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

An Optimal Labeling Scheme for Ancestry Queries

[BibT_eX]

[DOI]

CoRR, 2009

Computing the Expected Values of some Properties of Randomly Weighted Graphs

[BibT_eX]

[DOI]

Yuval Shavitt

CoRR, 2009

Compact Ancestry Labeling Schemes for Trees of Small Depth

[BibT_eX]

[DOI]

CoRR, 2009

New Bounds for the Controller Problem.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

On the Additive Constant of the <i>k</i>-Server Work Function Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Approximation and Online Algorithms, 7th International Workshop, 2009

On randomized representations of graphs using short labels.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

Brief announcement: new bounds for the controller problem.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Compact Routing Schemes for Dynamic Trees in the Fixed Port Model.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

Online Computation with Advice.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009

2008

Dynamic routing schemes for graphs with low local density.

[BibT_eX]

[DOI]

ACM Trans. Algorithms, 2008

Improved compact routing schemes for dynamic trees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007

Compact Separator Decompositions in Dynamic Trees and Applications to Labeling Schemes.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Local MST computation with short advice.

[BibT_eX]

[DOI]

Emmanuelle Lebhar

Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

Labeling Schemes with Queries.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2007

Controller and estimator for dynamic networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Labeling Schemes for Vertex Connectivity.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006

Distributed verification of minimum spanning trees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Constructing Labeling Schemes Through Universal Matrices.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 17th International Symposium, 2006

On Distributed Verification.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

Dynamic Routing Schemes for General Graphs.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

General Compact Labeling Schemes for Dynamic Trees.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Proof labeling schemes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Labeling Schemes for Tree Representation.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 2005

Label-Guided Graph Exploration by a Finite Automaton.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2003

Labeling Schemes for Weighted Dynamic Trees.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

Labeling Schemes for Dynamic Tree Networks.

[BibT_eX]

[DOI]