Seguir
Amos Korman
Título
Citado por
Citado por
Año
Distributed verification and hardness of distributed approximation
A Das Sarma, S Holzer, L Kor, A Korman, D Nanongkai, G Pandurangan, ...
Proceedings of the forty-third annual ACM symposium on Theory of computing …, 2011
3562011
Proof labeling schemes
A Korman, S Kutten, D Peleg
Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005
2222005
Towards a complexity theory for local distributed computing
P Fraigniaud, A Korman, D Peleg
Journal of the ACM (JACM) 60 (5), 1-26, 2013
178*2013
Online computation with advice
Y Emek, P Fraigniaud, A Korman, A Rosén
Theoretical Computer Science 412 (24), 2642-2656, 2011
1762011
Labeling schemes for flow and connectivity
M Katz, NA Katz, A Korman, D Peleg
SIAM Journal on Computing 34 (1), 23-40, 2004
1452004
Collaborative search on the plane without communication
O Feinerman, A Korman, Z Lotker, JS Sereni
Proceedings of the 2012 ACM symposium on Principles of distributed computing …, 2012
1262012
Distributed verification of minimum spanning trees
A Korman, S Kutten
Proceedings of the twenty-fifth annual ACM symposium on Principles of …, 2006
1102006
Label-guided graph exploration by a finite automaton
R Cohen, P Fraigniaud, D Ilcinkas, A Korman, D Peleg
ACM Transactions on Algorithms (TALG) 4 (4), 1-18, 2008
1052008
Individual versus collective cognition in social insects
O Feinerman, A Korman
Journal of Experimental Biology 220 (1), 73-82, 2017
1002017
Toward more localized local algorithms: removing assumptions concerning global knowledge
A Korman, JS Sereni, L Viennot
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011
722011
Local MST computation with short advice
P Fraigniaud, A Korman, E Lebhar
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms …, 2007
712007
Tight bounds for distributed minimum-weight spanning tree verification
L Kor, A Korman, D Peleg
Theory of Computing Systems 53 (2), 318-340, 2013
67*2013
Labeling schemes for dynamic tree networks
A Korman, D Peleg, Y Rodeh
Theory of Computing Systems 37, 49-75, 2004
662004
Labeling schemes for dynamic tree networks
A Korman, D Peleg, Y Rodeh
Theory of Computing Systems 37, 49-75, 2004
662004
Fast and compact self-stabilizing verification, computation, and fault detection of an MST
A Korman, S Kutten, T Masuzawa
Distributed Computing 28, 253-295, 2015
63*2015
Memory lower bounds for randomized collaborative search and implications for biology
O Feinerman, A Korman
Distributed Computing: 26th International Symposium, DISC 2012, Salvador …, 2012
502012
Labeling schemes for weighted dynamic trees
A Korman, D Peleg
Information and Computation 205 (12), 1721-1740, 2007
48*2007
A locally-blazed ant trail achieves efficient collective navigation despite limited information
E Fonio, Y Heyman, L Boczkowski, A Gelblum, A Kosowski, A Korman, ...
Elife 5, e20185, 2016
462016
Randomized distributed decision
P Fraigniaud, M Göös, A Korman, M Parter, D Peleg
Distributed Computing 27 (6), 419-434, 2014
462014
Breathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication
O Feinerman, B Haeupler, A Korman
Proceedings of the 2014 ACM symposium on Principles of distributed computing …, 2014
462014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20