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

Proof labeling schemes A Korman, S Kutten, D Peleg Distributed Computing 22 (4), 215-233, 2010 | 165 | 2010 |

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

Labeling schemes for flow and connectivity M Katz, NA Katz, A Korman, D Peleg SIAM Journal on Computing 34 (1), 23-40, 2004 | 126 | 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 | 100 | 2012 |

Distributed verification of minimum spanning trees A Korman, S Kutten Distributed Computing 20 (4), 253-266, 2007 | 91 | 2007 |

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

Local MST computation with short advice P Fraigniaud, A Korman, E Lebhar Theory of Computing Systems 47 (4), 920-933, 2010 | 66 | 2010 |

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

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

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 | 54 | 2013 |

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

General compact labeling schemes for dynamic trees A Korman Distributed Computing 20 (3), 179-193, 2007 | 41 | 2007 |

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

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

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 | 39 | 2005 |