Amos Korman
Title
Cited by
Cited by
Year
Distributed verification and hardness of distributed approximation
AD Sarma, S Holzer, L Kor, A Korman, D Nanongkai, G Pandurangan, ...
SIAM Journal on Computing 41 (5), 1235-1265, 2012
2612012
Proof labeling schemes
A Korman, S Kutten, D Peleg
Distributed Computing 22 (4), 215-233, 2010
1652010
Towards a complexity theory for local distributed computing
P Fraigniaud, A Korman, D Peleg
Journal of the ACM (JACM) 60 (5), 1-26, 2013
138*2013
Online computation with advice
Y Emek, P Fraigniaud, A Korman, A Rosén
Theoretical Computer Science 412 (24), 2642-2656, 2011
1362011
Labeling schemes for flow and connectivity
M Katz, NA Katz, A Korman, D Peleg
SIAM Journal on Computing 34 (1), 23-40, 2004
1262004
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
1002012
Distributed verification of minimum spanning trees
A Korman, S Kutten
Distributed Computing 20 (4), 253-266, 2007
912007
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
682008
Local MST computation with short advice
P Fraigniaud, A Korman, E Lebhar
Theory of Computing Systems 47 (4), 920-933, 2010
662010
Labeling schemes for dynamic tree networks
A Korman, D Peleg, Y Rodeh
Theory of Computing Systems 37 (1), 49-75, 2004
652004
Labeling schemes for dynamic tree networks
A Korman, D Peleg, Y Rodeh
Theory of Computing Systems 37 (1), 49-75, 2004
652004
Fast and compact self-stabilizing verification, computation, and fault detection of an MST
A Korman, S Kutten, T Masuzawa
Distributed Computing 28 (4), 253-295, 2015
56*2015
Toward more localized local algorithms: removing assumptions concerning global knowledge
A Korman, JS Sereni, L Viennot
Distributed Computing 26 (5-6), 289-308, 2013
542013
Tight bounds for distributed minimum-weight spanning tree verification
L Kor, A Korman, D Peleg
Theory of Computing Systems 53 (2), 318-340, 2013
54*2013
Labeling schemes for weighted dynamic trees
A Korman, D Peleg
Information and Computation 205 (12), 1721-1740, 2007
49*2007
Memory lower bounds for randomized collaborative search and implications for biology
O Feinerman, A Korman
International Symposium on Distributed Computing, 61-75, 2012
482012
General compact labeling schemes for dynamic trees
A Korman
Distributed Computing 20 (3), 179-193, 2007
412007
Individual versus collective cognition in social insects
O Feinerman, A Korman
Journal of Experimental Biology 220 (1), 73-82, 2017
392017
Randomized distributed decision
P Fraigniaud, M Göös, A Korman, M Parter, D Peleg
Distributed Computing 27 (6), 419-434, 2014
392014
Label-guided graph exploration by a finite automaton
R Cohen, P Fraigniaud, D Ilcinkas, A Korman, D Peleg
International Colloquium on Automata, Languages, and Programming, 335-346, 2005
392005
The system can't perform the operation now. Try again later.
Articles 1–20