Skip to content

Amos Korman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

49

Venues

16

Active years

2002–2025

Best venue rank

A*

Where they publish

Papers

49 indexed papers, newest first.

YearVenueTitleAuthors
2025PODCBrief Announcement: Fast and Robust Information Spreading in the Noisy PULL Model.Niccol D'Archivio, Amos Korman, Emanuele Natale, Robin Vacus
2023IJCAIOn the Role of Memory in Robust Opinion Dynamics.Luca Becchetti, Andrea Clementi, Amos Korman, Francesco Pasquale, Luca Trevisan, Robin Vacus
2022PODCEarly Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication.Amos Korman, Robin Vacus
2020STACSTight Bounds for the Cover Times of Random Walks with Heterogeneous Step Lengths.Brieuc Guinard, Amos Korman
2019ICALPMulti-Round Cooperative Search Games with Multiple Players.Amos Korman, Yoav Rodeh
2018ESASearching a Tree with Permanently Noisy Advice.Lucas Boczkowski, Amos Korman, Yoav Rodeh
2018LATINRandom Walks with Multiple Step Lengths.Lucas Boczkowski, Brieuc Guinard, Amos Korman, Zvi Lotker, Marc P. Renault
2018SPAAIntense Competition can Drive Selfish Explorers to Optimize Coverage.Simon Collet, Amos Korman
2017ICALPThe Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.Amos Korman, Yoav Rodeh
2017SODAMinimizing Message Size in Stochastic Communication Patterns: Fast Self-Stabilizing Protocols with 3 bits.Lucas Boczkowski, Amos Korman, Emanuele Natale
2017SIROCCOParallel Search with No Coordination.Amos Korman, Yoav Rodeh
2016PODCBrief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages.Lucas Boczkowski, Amos Korman, Emanuele Natale
2016STOCParallel exhaustive search without coordination.Pierre Fraigniaud, Amos Korman, Yoav Rodeh
2015SIROCCOClock Synchronization and Estimation in Highly Dynamic Networks: An Information Theoretic Approach.Ofer Feinerman, Amos Korman
2014ICDCNFast Rendezvous on a Cycle by Agents with Different Speeds.Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
2014PODCBreathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication.Ofer Feinerman, Bernhard Haeupler, Amos Korman
2013ICDCITTheoretical Distributed Computing Meets Biology: A Review.Ofer Feinerman, Amos Korman
2013PODCWhat can be decided locally without identifiers?Pierre Fraigniaud, Mika Gs, Amos Korman, Jukka Suomela
2012OPODISOn the Impact of Identifiers on Local Decision.Pierre Fraigniaud, Magns M. Halldrsson, Amos Korman
2012PODCCollaborative search on the plane without communication.Ofer Feinerman, Amos Korman, Zvi Lotker, Jean-Sbastien Sereni
2012SIROCCONotions of Connectivity in Overlay Networks.Yuval Emek, Pierre Fraigniaud, Amos Korman, Shay Kutten, David Peleg
2011FOCSLocal Distributed Decision.Pierre Fraigniaud, Amos Korman, David Peleg
2011PODCFast and compact self stabilizing verification, computation, and fault detection of an MST.Amos Korman, Shay Kutten, Toshimitsu Masuzawa
2011PODCToward more localized local algorithms: removing assumptions concerning global knowledge.Amos Korman, Jean-Sbastien Sereni, Laurent Viennot
2011SODAApproximating the Statistics of various Properties in Randomly Weighted Graphs.Yuval Emek, Amos Korman, Yuval Shavitt
2011STOCDistributed verification and hardness of distributed approximation.Atish Das Sarma, Stephan Holzer, Liah Kor, Amos Korman, Danupon Nanongkai, Gopal Pandurangan, David Peleg, Roger Wattenhofer
2011STACSTight Bounds For Distributed MST Verification.Liah Kor, Amos Korman, David Peleg
2010PODCEfficient threshold detection in a distributed environment: extended abstract.Yuval Emek, Amos Korman
2010SODACompact Ancestry Labeling Schemes for XML Trees.Pierre Fraigniaud, Amos Korman
2010STOCAn optimal ancestry scheme and small universal posets.Pierre Fraigniaud, Amos Korman
2009ICALPOnline Computation with Advice.Yuval Emek, Pierre Fraigniaud, Amos Korman, Adi Rosn
2009ICDCNCompact Routing Schemes for Dynamic Trees in the Fixed Port Model.Amos Korman
2009PODCBrief announcement: new bounds for the controller problem.Yuval Emek, Amos Korman
2009SPAAOn randomized representations of graphs using short labels.Pierre Fraigniaud, Amos Korman
2009WAOAOn the Additive Constant of theYuval Emek, Pierre Fraigniaud, Amos Korman, Adi Rosn
2008PODCImproved compact routing schemes for dynamic trees.Amos Korman
2007ICALPLabeling Schemes for Vertex Connectivity.Amos Korman
2007PODCController and estimator for dynamic networks.Amos Korman, Shay Kutten
2007SPAALocal MST computation with short advice.Pierre Fraigniaud, Amos Korman, Emmanuelle Lebhar
2007SIROCCOLabeling Schemes with Queries.Amos Korman, Shay Kutten
2006ICALPDynamic Routing Schemes for General Graphs.Amos Korman, David Peleg
2006ICDCNOn Distributed Verification.Amos Korman, Shay Kutten
2006ISAACConstructing Labeling Schemes Through Universal Matrices.Amos Korman, David Peleg, Yoav Rodeh
2006PODCDistributed verification of minimum spanning trees.Amos Korman, Shay Kutten
2005ICALPLabel-Guided Graph Exploration by a Finite Automaton.Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg
2005PODCProof labeling schemes.Amos Korman, Shay Kutten, David Peleg
2003ICALPLabeling Schemes for Weighted Dynamic Trees.Amos Korman, David Peleg
2002SODALabeling schemes for flow and connectivity.Michal Katz, Nir A. Katz, Amos Korman, David Peleg
2002STACSLabeling Schemes for Dynamic Tree Networks.Amos Korman, David Peleg, Yoav Rodeh