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 | 330 | 2011 |

Proof labeling schemes A Korman, S Kutten, D Peleg Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005 | 205 | 2005 |

Towards a complexity theory for local distributed computing P Fraigniaud, A Korman, D Peleg Journal of the ACM (JACM) 60 (5), 1-26, 2013 | 165* | 2013 |

Online computation with advice Y Emek, P Fraigniaud, A Korman, A Rosén Theoretical Computer Science 412 (24), 2642-2656, 2011 | 160 | 2011 |

Labeling schemes for flow and connectivity M Katz, NA Katz, A Korman, D Peleg SIAM Journal on Computing 34 (1), 23-40, 2004 | 139 | 2004 |

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 | 116 | 2012 |

Distributed verification of minimum spanning trees A Korman, S Kutten Proceedings of the twenty-fifth annual ACM symposium on Principles of …, 2006 | 104 | 2006 |

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 | 91 | 2008 |

Individual versus collective cognition in social insects O Feinerman, A Korman Journal of Experimental Biology 220 (1), 73-82, 2017 | 78 | 2017 |

Local MST computation with short advice P Fraigniaud, A Korman, E Lebhar Proceedings of the nineteenth annual ACM symposium on Parallel algorithms …, 2007 | 71 | 2007 |

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 | 65 | 2011 |

Tight bounds for distributed minimum-weight spanning tree verification L Kor, A Korman, D Peleg Theory of Computing Systems 53 (2), 318-340, 2013 | 63* | 2013 |

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 | 62* | 2015 |

Memory lower bounds for randomized collaborative search and implications for biology O Feinerman, A Korman International Symposium on Distributed Computing, 61-75, 2012 | 52 | 2012 |

Labeling schemes for dynamic tree networks A Korman, D Peleg, Y Rodeh Theory of Computing Systems 37 (1), 49-75, 2004 | 50 | 2004 |

Labeling schemes for dynamic tree networks A Korman, D Peleg, Y Rodeh Theory of Computing Systems 37 (1), 49-75, 2004 | 50 | 2004 |

Labeling schemes for weighted dynamic trees A Korman, D Peleg Information and Computation 205 (12), 1721-1740, 2007 | 47* | 2007 |

Randomized distributed decision P Fraigniaud, M Göös, A Korman, M Parter, D Peleg Distributed Computing 27 (6), 419-434, 2014 | 44 | 2014 |

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 | 42 | 2014 |

Labeling schemes for vertex connectivity A Korman ACM Transactions on Algorithms (TALG) 6 (2), 1-10, 2010 | 40 | 2010 |