Amos Korman

View Scopus Profile

Amos Korman

    20022025

    Research activity per year

    • 55 Conference contribution
    • 46 Article
    • 2 Review article
    Filter
    Conference contribution

    Search results

    • 2023

      On the Role of Memory in Robust Opinion Dynamics

      Becchetti, L., Clementi, A., Korman, A., Pasquale, F., Trevisan, L. & Vacus, R., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 29-37 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2022

      Early Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication

      Korman, A. & Vacus, R., 20 Jul 2022, PODC 2022 - Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 235-245 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2020

      Tight bounds for the cover times of random walks with heterogeneous step lengths

      Guinard, B. & Korman, A., Mar 2020, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020. Paul, C. & Blaser, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-STACS-2020-28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 154).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2019

      Multi-round cooperative search games with multiple players

      Korman, A. & Rodeh, Y., 1 Jul 2019, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 146. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 132).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2018

      Intense competition can drive selfish explorers to optimize coverage

      Collet, S. & Korman, A., 11 Jul 2018, SPAA 2018 - Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 183-192 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Limits for rumor spreading in stochastic populations

      Boczkowski, L., Feinerman, O., Korman, A. & Natale, E., 1 Jan 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Random walks with multiple step lengths

      Boczkowski, L., Guinard, B., Korman, A., Lotker, Z. & Renault, M., 2018, LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 174-186 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10807 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Searching a tree with permanently noisy advice

      Boczkowski, L., Korman, A. & Rodeh, Y., 1 Aug 2018, 26th European Symposium on Algorithms, ESA 2018. Bast, H., Herman, G. & Azar, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 112).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2017

      Minimizing message size in stochastic communication patterns: Fast self-stabilizing protocols with 3 bits

      Boczkowski, L., Korman, A. & Natale, E., 2017, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Klein, P. N. (ed.). Association for Computing Machinery, p. 2540-2559 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 0).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Parallel search with no coordination

      Korman, A. & Rodeh, Y., 2017, Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Revised Selected Papers. Das, S. & Tixeuil, S. (eds.). Springer Verlag, p. 195-211 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10641 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • The dependent doors problem: An investigation into sequential decisions without feedback

      Korman, A. & Rodeh, Y., 1 Jul 2017, 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Muscholl, A., Indyk, P., Kuhn, F. & Chatzigiannakis, I. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 81. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 80).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2016

      Brief announcement: Self-stabilizing clock synchronization with 3-bit messages

      Boczkowski, L., Korman, A. & Natale, E., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 207-209 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 25-28-July-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Parallel exhaustive search without coordination

      Fraigniaud, P., Korman, A. & Rodeh, Y., 19 Jun 2016, STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing. Mansour, Y. & Wichs, D. (eds.). Association for Computing Machinery, p. 312-323 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. 19-21-June-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2015

      Clock synchronization and estimation in highly dynamic networks: An information theoretic approach

      Feinerman, O. & Korman, A., 2015, Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Post-Proceedings. Scheideler, C. (ed.). Springer Verlag, p. 16-30 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9439).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2014

      Breathe before speaking: Efficient information dissemination despite noisy, limited and anonymous communication

      Feinerman, O., Haeupler, B. & Korman, A., 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 114-123 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Fast rendezvous on a cycle by agents with different speeds

      Feinerman, O., Korman, A., Kutten, S. & Rodeh, Y., 2014, Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Proceedings. p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8314 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2013

      Theoretical distributed computing meets biology: A review

      Feinerman, O. & Korman, A., 2013, Distributed Computing and Internet Technology - 9th International Conference, ICDCIT 2013, Proceedings. Springer Verlag, p. 1-18 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7753 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • What can be decided locally without identifiers

      Fraigniaud, P., Göös, M., Korman, A. & Suomela, J., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 157-165 9 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2012

      Collaborative search on the plane without communication

      Feinerman, O., Korman, A., Lotker, Z. & Sereni, J. S., 2012, PODC'12 - Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing. p. 77-86 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Memory lower bounds for randomized collaborative search and implications for biology

      Feinerman, O. & Korman, A., 2012, Distributed Computing - 26th International Symposium, DISC 2012, Proceedings. p. 61-75 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7611 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Notions of connectivity in overlay networks

      Emek, Y., Fraigniaud, P., Korman, A., Kutten, S. & Peleg, D., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Proceedings. p. 25-35 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7355 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • On the impact of identifiers on local decision

      Fraigniaud, P., Halldórsson, M. M. & Korman, A., 2012, Principles of Distributed Systems - 16th International Conference, OPODIS 2012, Proceedings. p. 224-238 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7702 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Randomized distributed decision

      Fraigniaud, P., Korman, A., Parter, M. & Peleg, D., 2012, Distributed Computing - 26th International Symposium, DISC 2012, Proceedings. p. 371-385 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7611 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2011

      Approximating the statistics of various properties in randomly weighted graphs

      Emek, Y., Korman, A. & Shavitt, Y., 2011, Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011. Association for Computing Machinery, p. 1455-1467 13 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Distributed verification and hardness of distributed approximation

      Das Sarma, A., Holzer, S., Kor, L., Korman, A., Nanongkai, D., Pandurangan, G., Peleg, D. & Wattenhofer, R., 2011, STOC'11 - Proceedings of the 43rd ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 363-372 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Fast and compact self stabilizing verification, computation, and fault detection of an MST

      Korman, A., Kutten, S. & Masuzawa, T., 2011, PODC'11 - Proceedings of the 2011 ACM Symposium Principles of Distributed Computing. p. 311-320 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Local distributed decision

      Fraigniaud, P., Korman, A. & Peleg, D., 2011, Proceedings - 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, FOCS 2011. p. 708-717 10 p. 6108235. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Tight bounds for distributed MST verification

      Kor, L., Korman, A. & Peleg, D., 2011, 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011. p. 69-80 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 9).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Toward more localized local algorithms: Removing assumptions concerning global knowledge

      Korman, A., Sereni, J. S. & Viennot, L., 2011, PODC'11 - Proceedings of the 2011 ACM Symposium Principles of Distributed Computing. p. 49-58 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2010

      An optimal ancestry scheme and small universal posets

      Fraigniaud, P. & Korman, A., 2010, STOC'10 - Proceedings of the 2010 ACM International Symposium on Theory of Computing. p. 611-619 9 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Compact ancestry labeling schemes for XML trees

      Fraigniaud, P. & Korman, A., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 458-466 9 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Efficient threshold detection in a distributed environment

      Emek, Y. & Korman, A., 2010, PODC'10 - Proceedings of the 2010 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 183-191 9 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2009

      Brief announcement: New bounds for the controller problem

      Emek, Y. & Kormany, A., 2009, PODC'09 - Proceedings of the 2009 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 340-341 2 p. 1582799. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Compact routing schemes for dynamic trees in the fixed port model

      Korman, A., 2009, Distributed Computing and Networking - 10th International Conference, ICDCN 2009, Proceedings. Springer Verlag, p. 218-229 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5408 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • New bounds for the controller problem

      Emek, Y. & Korman, A., 2009, Distributed Computing - 23rd International Symposium, DISC 2009, Proceedings. p. 22-34 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5805 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Online computation with advice

      Emek, Y., Fraigniaud, P., Korman, A. & Rosén, A., 2009, Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Proceedings. PART 1 ed. p. 427-438 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5555 LNCS, no. PART 1).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • On randomized representations of graphs using short labels

      Fraigniaud, P. & Korman, A., 2009, SPAA'09 - Proceedings of the 21st Annual Symposium on Parallelism in Algorithms and Architectures. p. 131-137 7 p. 1584031. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • On the additive constant of the κ-server work function algorithm

      Emek, Y., Fraigniaud, P., Korman, A. & Rosén, A., 2009, Approximation and Online Algorithms - 7th International Workshop, WAOA 2009, Revised Papers. p. 128-134 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5893 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2008

      Improved compact routing schemes for dynamic trees

      Korman, A., 2008, PODC'08: Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 185-194 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2007

      Compact separator decompositions in dynamic trees and applications to labeling schemes

      Korman, A. & Peleg, D., 2007, Distributed Computing - 21st International Symposium, DISC 2007, Proceedings. Springer Verlag, p. 313-327 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4731 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Controller and estimator for dynamic networks

      Korman, A. & Kutten, S., 2007, PODC'07: Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing. p. 175-184 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Labeling schemes for vertex connectivity

      Korman, A., 2007, Automata, Languages and Programming - 34th International Colloquium, ICALP 2007, Proceedings. Springer Verlag, p. 102-109 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4596 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Labeling schemes with queries

      Korman, A. & Kutten, S., 2007, Structural Information and Communication Complexity - 14th International Colloquium, SIROCCO 2007, Proceedings. Springer Verlag, p. 109-123 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4474 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Local MST computation with short advice

      Fraigniaud, P., Korman, A. & Lebhar, E., 2007, SPAA'07: Proceedings of the Nineteenth Annual Symposium on Parallelism in Algorithms and Architectures. p. 154-160 7 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2006

      Constructing labeling schemes through universal matrices

      Korman, A., Peleg, D. & Rodeh, Y., 2006, Algorithms and Computation - 17th International Symposium, ISAAC 2006, Proceedings. p. 409-418 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4288 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Distributed verification of minimum spanning trees

      Korman, A. & Kutten, S., 2006, Proceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing 2006. Association for Computing Machinery (ACM), p. 26-34 9 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 2006).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Dynamic routing schemes for general graphs

      Korman, A. & Peleg, D., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, p. 619-630 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4051 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • On distributed verification

      Korman, A. & Kutten, S., 2006, Distributed Computing and Networking - 8th International Conference, ICDCN 2006, Proceedings. p. 100-114 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4308 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2005

      General compact labeling schemes for dynamic trees

      Korman, A., 2005, Distributed Computing - 19th International Conference, DISC 2005, Proceedings. p. 457-471 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3724 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Label-guided graph exploration by a finite automaton

      Cohen, R., Fraigniaud, P., Ilcinkas, D., Korman, A. & Peleg, D., 2005, ICALP 2005: Automata, Languages and Programming. p. 335-346 12 p. (Lecture Notes in Computer Science; vol. 3580).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access