Distributed Computing Short Title: Distrib. Comput. Publisher: Springer, Berlin/Heidelberg ISSN: 0178-2770; 1432-0452/e Online: https://link.springer.com/journal/446/volumes-and-issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 736 Publications (since 1986) References Indexed: 684 Publications with 20,358 References. all top 5 Latest Issues 36, No. 3 (2023) 36, No. 2 (2023) 36, No. 1 (2023) 35, No. 6 (2022) 35, No. 5 (2022) 35, No. 4 (2022) 35, No. 3 (2022) 35, No. 2 (2022) 35, No. 1 (2022) 34, No. 6 (2021) 34, No. 5 (2021) 34, No. 4 (2021) 34, No. 3 (2021) 34, No. 2 (2021) 34, No. 1 (2021) 33, No. 6 (2020) 33, No. 5 (2020) 33, No. 3-4 (2020) 33, No. 2 (2020) 33, No. 1 (2020) 32, No. 6 (2019) 32, No. 5 (2019) 32, No. 4 (2019) 32, No. 3 (2019) 32, No. 2 (2019) 32, No. 1 (2019) 31, No. 6 (2018) 31, No. 5 (2018) 31, No. 4 (2018) 31, No. 3 (2018) 31, No. 2 (2018) 31, No. 1 (2018) 30, No. 6 (2017) 30, No. 5 (2017) 30, No. 4 (2017) 30, No. 3 (2017) 30, No. 2 (2017) 30, No. 1 (2017) 29, No. 6 (2016) 29, No. 5 (2016) 29, No. 4 (2016) 29, No. 3 (2016) 29, No. 2 (2016) 29, No. 1 (2016) 28, No. 6 (2015) 28, No. 5 (2015) 28, No. 4 (2015) 28, No. 3 (2015) 28, No. 2 (2015) 28, No. 1 (2015) 27, No. 6 (2014) 27, No. 5 (2014) 27, No. 4 (2014) 27, No. 3 (2014) 27, No. 2 (2014) 27, No. 1 (2014) 26, No. 5-6 (2013) 26, No. 4 (2013) 26, No. 3 (2013) 26, No. 2 (2013) 26, No. 1 (2013) 25, No. 6 (2012) 25, No. 5 (2012) 25, No. 4 (2012) 25, No. 3 (2012) 25, No. 2 (2012) 25, No. 1 (2012) 24, No. 6 (2012) 24, No. 5 (2011) 24, No. 3-4 (2011) 24, No. 2 (2011) 24, No. 1 (2011) 23, No. 5-6 (2011) 23, No. 4 (2010) 23, No. 3 (2010) 23, No. 2 (2010) 23, No. 1 (2010) 22, No. 5-6 (2010) 22, No. 4 (2010) 22, No. 3 (2010) 22, No. 2 (2009) 22, No. 1 (2009) 21, No. 6 (2009) 21, No. 5 (2009) 21, No. 4 (2008) 21, No. 3 (2008) 21, No. 2 (2008) 21, No. 1 (2008) 20, No. 6 (2008) 20, No. 5 (2008) 20, No. 4 (2007) 20, No. 3 (2007) 20, No. 2 (2007) 20, No. 1 (2007) 19, No. 5-6 (2007) 19, No. 4 (2007) 19, No. 3 (2006) 19, No. 2 (2006) 19, No. 1 (2006) 18, No. 6 (2006) ...and 62 more Volumes all top 5 Authors 19 Guerraoui, Rachid 19 Lynch, Nancy Ann 17 Attiya, Hagit 17 Pelc, Andrzej 15 Peleg, David 14 Fraigniaud, Pierre 13 Herlihy, Maurice P. 12 Kuznetsov, Petr 12 Lamport, Leslie 11 Afek, Yehuda 11 Censor-Hillel, Keren 11 Halpern, Joseph Yehuda 11 Korman, Amos 11 Kuhn, Fabian 11 Rajsbaum, Sergio 10 Anderson, James H. 10 Aspnes, James 10 Kowalski, Dariusz R. 10 Patt-Shamir, Boaz 10 Taubenfeld, Gadi 10 Toueg, Sam 9 Gafni, Eli M. 9 Gilbert, Seth 9 Merritt, Michael J. 9 Moses, Yoram 9 Newport, Calvin 9 Raynal, Michel 9 Santoro, Nicola 9 Shavit, Nir N. 8 Flocchini, Paola 8 Hendler, Danny 8 Malkhi, Dahlia 8 Schiper, André 7 Aguilera, Marcos Kawazoe 7 Elkin, Michael 7 Garg, Vijay K. 7 Hadzilacos, Vassos 7 Haeupler, Bernhard 7 Lenzen, Christoph 7 Schmid, Stefan 7 Schwarzmann, Alexander A. 7 Suomela, Jukka 7 Wattenhofer, Roger P. 7 Welch, Jennifer Lundelius 6 Busch, Costas 6 Delporte-Gallet, Carole 6 Dolev, Shlomi 6 Fauconnier, Hugues 6 Gąsieniec, Leszek Antoni 6 Halldórsson, Magnús Mar 6 Hesselink, Wim H. 6 Kim, Yong-Jik 6 Navarra, Alfredo 6 Pandurangan, Gopal 6 Ruppert, Eric 6 Saia, Jared 6 Schmid, Ulrich 6 Viglietta, Giovanni 5 Abraham, Ittai 5 Chlebus, Bogdan Stanislaw 5 Chockler, Gregory V. 5 Di Luna, Giuseppe Antonio 5 Di Stefano, Gabriele 5 Dieudonné, Yoann 5 Fatourou, Panagiota 5 Gavoille, Cyril 5 Herman, Ted 5 Hierons, Robert Mark 5 Huang, Shingtsaan 5 King, Valerie 5 Kosowski, Adrian 5 Kulkarni, Sandeep S. 5 Milani, Alessia 5 Mostefaoui, Achour 5 Natale, Emanuele 5 Panconesi, Alessandro 5 Pignolet, Yvonne-Anne 5 Travers, Corentin 5 Yu, Haifeng 4 Angluin, Dana 4 Barenboim, Leonid 4 Bazzi, Rida A. 4 Berenbrink, Petra 4 Bonakdarpour, Borzoo 4 Castañeda, Armando 4 Clementi, Andrea E. F. 4 Czyzowicz, Jurek 4 Dolev, Danny 4 Ellen, Faith 4 Elsässer, Robert 4 Ghaffari, Mohsen 4 Hirvonen, Juho 4 Hoefer, Martin 4 Ilcinkas, David 4 Keidar, Idit 4 Kranakis, Evangelos Konstantinou 4 Kutten, Shay 4 Michail, Othon 4 Mittal, Neeraj 4 Moir, Mark ...and 907 more Authors all top 5 Fields 727 Computer science (68-XX) 63 Combinatorics (05-XX) 28 General and overarching topics; collections (00-XX) 24 Information and communication theory, circuits (94-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Operations research, mathematical programming (90-XX) 9 Mathematical logic and foundations (03-XX) 6 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 516 Publications have been cited 3,559 times in 2,122 Documents Cited by ▼ Year ▼ Computation in networks of passively mobile finite-state sensors. Zbl 1266.68042Angluin, Dana; Aspnes, James; Diamadi, Zoë; Fischer, Michael J. 129 2006 On interprocess communication. I: Basic formalism. Zbl 0598.68022Lamport, Leslie 84 1986 The computational power of population protocols. Zbl 1266.68043Angluin, Dana; Aspnes, James; Eisenstat, David; Ruppert, Eric 71 2007 Recognizing safety and liveness. Zbl 0641.68039Alpern, Bowen; Schneider, Fred B. 57 1987 Self-stabilization of dynamic systems assuming only read/write atomicity. Zbl 1282.68084Dolev, Shlomi; Israeli, Amos; Moran, Shlomo 53 1993 On interprocess communication. II: Algorithms. Zbl 0598.68023Lamport, Leslie 52 1986 Easy impossibility proofs for distributed consensus problems. Zbl 0598.68024Fischer, Michael J.; Lynch, Nancy A.; Merritt, Michael 46 1986 How processes learn. Zbl 0602.68026Chandy, K. M.; Misra, Jayadev 45 1986 The Heard-Of model: computing in distributed systems with benign faults. Zbl 1267.68151Charron-Bost, Bernadette; Schiper, André 45 2009 Fast computation by population protocols with a leader. Zbl 1267.68306Angluin, Dana; Aspnes, James; Eisenstat, David 43 2008 Consensus algorithms with one-bit messages. Zbl 0723.68012Bar-Noy, Amotz; Dolev, Danny 41 1991 Broadcasting in undirected ad hoc radio networks. Zbl 1264.68218Kowalski, Dariusz R.; Pelc, Andrzej 41 2005 Proof labeling schemes. Zbl 1267.68061Korman, Amos; Kutten, Shay; Peleg, David 41 2010 A belated proof of self-stabilization. Zbl 0604.68015Dijkstra, Edsger W. 40 1986 A simple population protocol for fast robust approximate majority. Zbl 1267.68055Angluin, Dana; Aspnes, James; Eisenstat, David 39 2008 Appraising fairness in languages for distributed programming. Zbl 0659.68023Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel 39 1988 Continuous consensus via common knowledge. Zbl 1266.68040Mizrahi, Tal; Moses, Yoram 38 2008 Optimal deterministic broadcasting in known topology radio networks. Zbl 1266.68231Kowalski, Dariusz R.; Pelc, Andrzej 35 2006 Deterministic broadcasting in ad hoc radio networks. Zbl 1448.68084Chlebus, Bogdan S.; Gasieniec, Leszek; Gibbons, Alan; Pelc, Andrzej; Rytter, Wojciech 35 2002 How to meet when you forget: log-space rendezvous in arbitrary graphs. Zbl 1284.68066Czyzowicz, Jurek; Kosowski, Adrian; Pelc, Andrzej 31 2012 Self-stabilizing extensions for message-passing systems. Zbl 1282.68077Katz, Shmuel; Perry, Kenneth J. 30 1993 Sublogarithmic distributed MIS algorithm for sparse graphs using Nash-Williams decomposition. Zbl 1231.68174Barenboim, Leonid; Elkin, Michael 28 2010 Modelling knowledge and action in distributed systems. Zbl 0685.68076Halpern, Joseph Y.; Fagin, Ronald 27 1989 Lower bounds for the broadcast problem in mobile radio networks. Zbl 1448.68039Bruschi, Danilo; Del Pinto, Massimiliano 27 1997 Gathering on rings under the look-compute-move model. Zbl 1320.68046D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Navarra, Alfredo 24 2014 Detecting causal relationships in distributed computations: In search of the holy grail. Zbl 0813.68096Schwarz, Reinhard; Mattern, Friedemann 23 1994 A self-stabilizing algorithm for coloring planar graphs. Zbl 0818.68089Ghosh, Sukumar; Karaata, Mehmet Hakan 23 1993 Constant-time distributed dominating set approximation. Zbl 1264.68219Kuhn, Fabian; Wattenhofer, Roger 21 2005 Fast Paxos. Zbl 1266.68218Lamport, Leslie 21 2006 Simple and efficient local codes for distributed stable network construction. Zbl 1362.68023Michail, Othon; Spirakis, Paul G. 21 2016 Verification of multiprocess probabilistic protocols. Zbl 0598.68019Pnueli, Amir; Zuck, Lenore 21 1986 Searching for a black hole in arbitrary networks: optimal mobile agents protocols. Zbl 1266.68208Dobrev, Stefan; Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola 20 2006 Forming sequences of geometric patterns with oblivious mobile robots. Zbl 1331.68223Das, Shantanu; Flocchini, Paola; Santoro, Nicola; Yamashita, Masafumi 20 2015 Distributed verification of minimum spanning trees. Zbl 1266.68217Korman, Amos; Kutten, Shay 19 2007 Faster communication in known topology radio networks. Zbl 1266.68026Gąsieniec, Leszek; Peleg, David; Xin, Qin 17 2007 Anonymous and fault-tolerant shared-memory computing. Zbl 1266.68054Guerraoui, Rachid; Ruppert, Eric 17 2007 Efficient algorithms for constructing \((1+\epsilon,\beta)\)-spanners in the distributed and streaming models. Zbl 1266.68212Elkin, Michael; Zhang, Jian 17 2006 Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285Baier, Christel; Kwiatkowska, Marta 17 1998 Some simple distributed algorithms for sparse networks. Zbl 1448.68474Panconesi, Alessandro; Rizzi, Romeo 17 2001 Compact and localized distributed data structures. Zbl 1448.68225Gavoille, Cyril; Peleg, David 17 2003 Distributed minimum dominating set approximations in restricted families of graphs. Zbl 1271.68070Lenzen, Christoph; Pignolet, Yvonne-Anne; Wattenhofer, Roger 16 2013 Compiling communicating processes into delay-insensitive VLSI circuits. Zbl 0643.94039Martin, Alain J. 16 1986 Byzantine quorum systems. Zbl 1448.68147Malkhi, Dahlia; Reiter, Michael 16 1998 Efficient parallel algorithms can be made robust. Zbl 0744.68060Kanellakis, Paris C.; Shvartsman, Alex A. 15 1992 Fence patrolling by mobile agents with distinct speeds. Zbl 1331.68226Kawamura, Akitoshi; Kobayashi, Yusuke 15 2015 On implementing omega in systems with weak reliability and synchrony assumptions. Zbl 1267.68064Aguilera, Marcos K.; Delporte-Gallet, Carole; Fauconnier, Hugues; Toueg, Sam 15 2008 Bounded time-stamps. Zbl 0776.68018Israeli, Amos; Li, Ming 15 1993 Failures semantics based on interval semiwords is a congruence for refinement. Zbl 0723.68069Vogler, Walter 14 1991 New combinatorial topology bounds for renaming: the lower bound. Zbl 1231.68068Castañeda, Armando; Rajsbaum, Sergio 14 2010 A BGP-based mechanism for lowest-cost routing. Zbl 1264.68215Feigenbaum, Joan; Papadimitriou, Christos; Sami, Rahul; Shenker, Scott 14 2005 Snap-stabilization and PIF in tree networks. Zbl 1266.68206Bui, Alain; Datta, Ajoy K.; Petit, Franck; Villain, Vincent 14 2007 Fault-containing self-stabilizing distributed protocols. Zbl 1266.68064Ghosh, Sukumar; Gupta, Arobinda; Herman, Ted; Pemmaraju, Sriram V. 14 2007 Coloring unstructured radio networks. Zbl 1267.68042Moscibroda, Thomas; Wattenhofer, Roger 14 2008 Distributed computing with advice: information sensitivity of graph coloring. Zbl 1267.05118Fraigniaud, Pierre; Gavoille, Cyril; Ilcinkas, David; Pelc, Andrzej 14 2009 Maximum throughput of multiple access channels in adversarial environments. Zbl 1267.68049Chlebus, Bogdan S.; Kowalski, Dariusz R.; Rokicki, Mariusz A. 14 2009 A state-based approach to communicating processes. Zbl 0659.68046Josephs, Mark B. 14 1988 An optimal maximal independent set algorithm for bounded-independence graphs. Zbl 1231.68092Schneider, Johannes; Wattenhofer, Roger 13 2010 Probabilistic clock synchronization. Zbl 0703.68018Cristian, Flaviu 13 1989 Optimal gathering of oblivious robots in anonymous graphs and its application on trees and rings. Zbl 1419.68184Di Stefano, Gabriele; Navarra, Alfredo 13 2017 Knowledge-based programs. Zbl 1448.68406Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 13 1997 Hundreds of impossibility results for distributed computing. Zbl 1448.68095Fich, Faith; Ruppert, Eric 13 2003 Efficient emulation of single-hop radio network with collision detection on multi-hop radio network with no collision detection. Zbl 0726.94018Bar-Yehuda, Reuven; Goldreich, Oded; Itai, Alon 12 1991 A framework for automated distributed implementation of component-based models. Zbl 1256.68016Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph 12 2012 An optimal bit complexity randomized distributed MIS algorithm. Zbl 1231.68277Métivier, Y.; Robson, J. M.; Saheb-Djahromi, N.; Zemmari, A. 12 2011 The cost of monotonicity in distributed graph searching. Zbl 1267.68311Ilcinkas, David; Nisse, Nicolas; Soguet, David 12 2009 Composite registers. Zbl 0781.68042Anderson, James H. 12 1993 Software transactional memory. Zbl 1448.68214Shavit, Nir; Touitou, Dan 12 1997 The BG distributed simulation algorithm. Zbl 1448.68467Borowsky, E.; Gafni, E.; Lynch, N.; Rajsbaum, S. 12 2001 An efficient distributed algorithm for constructing small dominating sets. Zbl 1448.68472Jia, Lujun; Rajaraman, Rajmohan; Suel, Torsten 12 2002 A fully abstract trace model for dataflow and asynchronous networks. Zbl 0813.68095Jonsson, Bengt 11 1994 Using mappings to prove timing properties. Zbl 0773.68054Lynch, Nancy A.; Attiya, Hagit 11 1992 Beeping a maximal independent set. Zbl 1311.68024Afek, Yehuda; Alon, Noga; Bar-Joseph, Ziv; Cornejo, Alejandro; Haeupler, Bernhard; Kuhn, Fabian 11 2013 Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y. 11 2012 A fast distributed approximation algorithm for minimum spanning trees. Zbl 1266.68214Khan, Maleq; Pandurangan, Gopal 11 2008 Weak models of distributed computing, with connections to modal logic. Zbl 1322.68075Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni 11 2015 Packet mode and QoS algorithms for buffered crossbar switches with FIFO queuing. Zbl 1231.68100Kesselman, Alex; Kogan, Kirill; Segal, Michael 11 2010 Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072Moses, Yoram; Dolev, Danny; Halpern, Joseph Y. 11 1986 Distributed MST for constant diameter graphs. Zbl 1266.68219Lotker, Zvi; Patt-Shamir, Boaz; Peleg, David 11 2006 Distributed algorithms for ultrasparse spanners and linear size skeletons. Zbl 1267.68314Pettie, Seth 11 2010 Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Zbl 1448.68156Pogosyants, Anna; Segala, Roberto; Lynch, Nancy 11 2000 Performing tasks on synchronous restartable message-passing processors. Zbl 1448.68083Chlebus, Bogdan S.; De Prisco, Roberto; Shvartsman, Alex A. 11 2001 Distributed computing by mobile robots: uniform circle formation. Zbl 1419.68029Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Viglietta, Giovanni 11 2017 Causal memory: definitions, implementation, and programming. Zbl 1448.68057Ahamad, Mustaque; Neiger, Gil; Burns, James E.; Kohli, Prince; Hutto, Phillip W. 11 1995 Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009Panangaden, Prakash; Taylor, Kim 10 1992 Locality and checkability in wait-free computing. Zbl 1311.68026Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin 10 2013 Anti-\(\Omega \): the weakest failure detector for set agreement. Zbl 1231.68099Zieliński, Piotr 10 2010 On best response dynamics in weighted congestion games with polynomial delays. Zbl 1231.91011Fanelli, Angelo; Moscardelli, Luca 10 2011 Stabilization and pseudo-stabilization. Zbl 0818.68027Burns, James E.; Gouda, Mohamed G.; Miller, Raymond E. 10 1993 Early consensus in an asynchronous system with a weak failure detector. Zbl 1448.68159Schiper, André 10 1997 Failure detection and consensus in the crash-recovery model. Zbl 1448.68124Kawazoe Aguilera, Marcos; Chen, Wei; Toueg, Sam 10 2000 Verification of distributed programs using representative interleaving sequences. Zbl 0773.68053Katz, Shmuel; Peled, Doron 9 1992 Time efficient \(k\)-shot broadcasting in known topology radio networks. Zbl 1267.68050Gąsieniec, Leszek; Kantor, Erez; Kowalski, Dariusz R.; Peleg, David; Su, Chang 9 2008 The correctness proof of Ben-Or’s randomized consensus algorithm. Zbl 1256.68159Aguilera, Marcos K.; Toueg, Sam 9 2012 Coupling and self-stabilization. Zbl 1264.68216Fribourg, Laurent; Messika, Stéphane; Picaronny, Laudine 9 2005 The alternator. Zbl 1266.68051Gouda, Mohamed G.; Haddix, F. Furman 9 2007 HyperTree for self-stabilizing peer-to-peer systems. Zbl 1266.68096Dolev, Shlomi; Kat, Ronen I. 9 2008 Multidimensional agreement in Byzantine systems. Zbl 1347.68031Mendes, Hammurabi; Herlihy, Maurice; Vaidya, Nitin; Garg, Vijay K. 9 2015 Consensus and collision detectors in radio networks. Zbl 1267.68065Chockler, Gregory; Demirbas, Murat; Gilbert, Seth; Lynch, Nancy; Newport, Calvin; Nolte, Tina 9 2008 Load balancing without regret in the bulletin board model. Zbl 1231.68084Kleinberg, Robert; Piliouras, Georgios; Tardos, Éva 9 2011 Distributed algorithms for covering, packing and maximum weighted matching. Zbl 1231.68276Koufogiannakis, Christos; Young, Neal E. 9 2011 Time-optimal construction of overlay networks. Zbl 07736001Götte, Thorsten; Hinnenthal, Kristian; Scheideler, Christian; Werthmann, Julian 1 2023 Improved weighted additive spanners. Zbl 07736004Elkin, Michael; Gitlitz, Yuval; Neiman, Ofer 1 2023 Making Byzantine consensus live. Zbl 1509.68018Bravo, Manuel; Chockler, Gregory; Gotsman, Alexey 4 2022 Asynchronous reconfiguration with Byzantine failures. Zbl 1509.68020Kuznetsov, Petr; Tonkikh, Andrei 1 2022 Linial for lists. Zbl 07630765Maus, Yannic; Tonoyan, Tigran 1 2022 Sublinear-time distributed algorithms for detecting small cliques and even cycles. Zbl 1489.68397Eden, Talya; Fiat, Nimrod; Fischer, Orr; Kuhn, Fabian; Oshman, Rotem 1 2022 Redundancy in distributed proofs. Zbl 1510.68024Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor 4 2021 Phase transition of the 2-choices dynamics on core-periphery networks. Zbl 07391593Cruciani, Emilio; Natale, Emanuele; Nusser, André; Scornavacca, Giacomo 3 2021 Time-space trade-offs in population protocols for the majority problem. Zbl 1510.68011Berenbrink, Petra; Elsässer, Robert; Friedetzky, Tom; Kaaser, Dominik; Kling, Peter; Radzik, Tomasz 3 2021 MinMax algorithms for stabilizing consensus. Zbl 07391592Charron-Bost, Bernadette; Moran, Shlomo 2 2021 The complexity of verifying population protocols. Zbl 07348622Esparza, Javier; Jaax, Stefan; Raskin, Mikhail; Weil-Kennedy, Chana 2 2021 Almost global problems in the LOCAL model. Zbl 07391413Balliu, Alkida; Brandt, Sebastian; Olivetti, Dennis; Suomela, Jukka 1 2021 Broadcast and minimum spanning tree with \(o(m)\) messages in the asynchronous CONGEST model. Zbl 07391414Mashreghi, Ali; King, Valerie 1 2021 Lower bounds for in-network computation of arbitrary functions. Zbl 07391591Gillani, Iqra Altaf; Vyavahare, Pooja; Bagchi, Amitabha 1 2021 Windowed backoff algorithms for WiFi: theory and performance under batched arrivals. Zbl 07422105Anderton, William C.; Chakraborty, Trisha; Young, Maxwell 1 2021 Composable computation in discrete chemical reaction networks. Zbl 07451880Severson, Eric E.; Haley, David; Doty, David 1 2021 Distributed exploration of dynamic rings. Zbl 1433.68054Di Luna, G.; Dobrev, S.; Flocchini, P.; Santoro, N. 9 2020 Derandomizing local distributed algorithms under bandwidth restrictions. Zbl 1445.68333Censor-Hillel, Keren; Parter, Merav; Schwartzman, Gregory 6 2020 Shape formation by programmable particles. Zbl 1433.68055Di Luna, Giuseppe A.; Flocchini, Paola; Santoro, Nicola; Viglietta, Giovanni; Yamauchi, Yukiko 5 2020 Self-stabilizing gathering of mobile robots under crash or Byzantine faults. Zbl 1460.68015Défago, Xavier; Potop-Butucaru, Maria; Raipin-Parvédy, Philippe 3 2020 Fooling views: a new lower bound technique for distributed computations under congestion. Zbl 1497.68556Abboud, Amir; Censor-Hillel, Keren; Khoury, Seri; Lenzen, Christoph 3 2020 Adding concurrency to smart contracts. Zbl 1445.68083Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric 3 2020 Detecting cliques in CONGEST networks. Zbl 1497.68372Czumaj, Artur; Konrad, Christian 2 2020 Improved deterministic distributed matching via rounding. Zbl 1445.68335Fischer, Manuela 2 2020 Improved distributed degree splitting and edge coloring. Zbl 1445.68336Ghaffari, Mohsen; Hirvonen, Juho; Kuhn, Fabian; Maus, Yannic; Suomela, Jukka; Uitto, Jara 2 2020 A tight lower bound for semi-synchronous collaborative grid exploration. Zbl 1462.68009Brandt, Sebastian; Uitto, Jara; Wattenhofer, Roger 1 2020 What can be sampled locally? Zbl 1445.68334Feng, Weiming; Sun, Yuxin; Yin, Yitong 1 2020 Randomized proof-labeling schemes. Zbl 1452.68024Fraigniaud, Pierre; Patt-Shamir, Boaz; Perry, Mor 9 2019 Asynchronous arbitrary pattern formation: the effects of a rigorous approach. Zbl 1432.68024Cicerone, Serafino; Di Stefano, Gabriele; Navarra, Alfredo 8 2019 Distributed distance computation and routing with small messages. Zbl 1451.68049Lenzen, Christoph; Patt-Shamir, Boaz; Peleg, David 5 2019 Embedded pattern formation by asynchronous robots without chirality. Zbl 1432.68025Cicerone, Serafino; Di Stefano, Gabriele; Navarra, Alfredo 5 2019 Self-stabilizing repeated balls-into-bins. Zbl 1451.60080Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Posta, G. 5 2019 Algebraic methods in the congested clique. Zbl 1452.68267Censor-Hillel, Keren; Kaski, Petteri; Korhonen, Janne H.; Lenzen, Christoph; Paz, Ami; Suomela, Jukka 4 2019 Search on a line with faulty robots. Zbl 1440.68321Czyzowicz, Jurek; Kranakis, Evangelos; Krizanc, Danny; Narayanan, Lata; Opatrny, Jaroslav 4 2019 Fast distributed algorithms for testing graph properties. Zbl 1428.68369Censor-Hillel, Keren; Fischer, Eldar; Schwartzman, Gregory; Vasudev, Yadu 4 2019 Consensus in rooted dynamic networks with short-lived stability. Zbl 1451.68055Winkler, Kyrill; Schwarz, Manfred; Schmid, Ulrich 3 2019 Noisy rumor spreading and plurality consensus. Zbl 1452.68023Fraigniaud, Pierre; Natale, Emanuele 3 2019 Minimizing message size in stochastic communication patterns: fast self-stabilizing protocols with 3 bits. Zbl 1451.68037Boczkowski, Lucas; Korman, Amos; Natale, Emanuele 2 2019 The topology of look-compute-move robot wait-free algorithms with hard termination. Zbl 1451.68033Alcántara, Manuel; Castañeda, Armando; Flores-Peñaloza, David; Rajsbaum, Sergio 2 2019 Non-blocking Patricia tries with replace operations. Zbl 1451.68082Shafiei, Niloufar 2 2019 Near-optimal self-stabilising counting and firing squads. Zbl 1451.68050Lenzen, Christoph; Rybicki, Joel 2 2019 Secretary markets with local information. Zbl 1447.91083Chen, Ning; Hoefer, Martin; Künnemann, Marvin; Lin, Chengyu; Miao, Peihan 1 2019 Making asynchronous distributed computations robust to noise. Zbl 1451.68040Censor-Hillel, Keren; Gelles, Ran; Haeupler, Bernhard 1 2019 The weakest failure detector for eventual consistency. Zbl 1451.68042Dubois, Swan; Guerraoui, Rachid; Kuznetsov, Petr; Petit, Franck; Sens, Pierre 1 2019 Reliable communication over highly connected noisy networks. Zbl 1452.68016Alon, Noga; Braverman, Mark; Efremenko, Klim; Gelles, Ran; Haeupler, Bernhard 1 2019 Contention resolution on a fading channel. Zbl 1451.68043Fineman, Jeremy T.; Gilbert, Seth; Kuhn, Fabian; Newport, Calvin 1 2019 Efficient randomized test-and-set implementations. Zbl 1452.68268Giakkoupis, George; Woelfel, Philipp 1 2019 Defending non-Bayesian learning against adversarial attacks. Zbl 1451.68054Su, Lili; Vaidya, Nitin H. 1 2019 Asynchronous approach in the plane: a deterministic polynomial algorithm. Zbl 1451.68038Bouchard, Sébastien; Bournat, Marjorie; Dieudonné, Yoann; Dubois, Swan; Petit, Franck 1 2019 Stable leader election in population protocols requires linear time. Zbl 1451.68041Doty, David; Soloveichik, David 9 2018 Gathering of robots on meeting-points: feasibility and optimal resolution algorithms. Zbl 1425.68413Cicerone, Serafino; Di Stefano, Gabriele; Navarra, Alfredo 9 2018 Anonymous obstruction-free \((n,k)\)-set agreement with \(n-k+1\) atomic read/write registers. Zbl 1451.68039Bouzid, Zohir; Raynal, Michel; Sutra, Pierre 7 2018 Sade: competitive MAC under adversarial SINR. Zbl 1451.68053Ogierman, Adrian; Richa, Andrea; Scheideler, Christian; Schmid, Stefan; Zhang, Jin 7 2018 Choreographies, logically. Zbl 1423.68304Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten 6 2018 Parameterized model checking of rendezvous systems. Zbl 1451.68165Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut 5 2018 Distributed backup placement in networks. Zbl 1451.68048Halldórsson, Magnús M.; Köhler, Sven; Patt-Shamir, Boaz; Rawitz, Dror 4 2018 Terminating distributed construction of shapes and patterns in a fair solution of automata. Zbl 1451.68052Michail, Othon 3 2018 A resource-competitive jamming defense. Zbl 1482.68048King, Valerie; Pettie, Seth; Saia, Jared; Young, Maxwell 2 2018 How many cooks spoil the soup? Zbl 1482.68058Michail, Othon; Spirakis, Paul G. 2 2018 On efficient distributed construction of near optimal routing schemes. Zbl 1452.68017Elkin, Michael; Neiman, Ofer 2 2018 Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative. Zbl 1451.68036Blin, Lélia; Tixeuil, Sébastien 2 2018 Computing large independent sets in a single round. Zbl 1423.68340Halldórsson, Magnús M.; Konrad, Christian 2 2018 Time-communication impossibility results for distributed transactional memory. Zbl 1482.68062Busch, Costas; Herlihy, Maurice; Popovic, Miroslav; Sharma, Gokarna 1 2018 \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores. Zbl 1451.68047Gramoli, Vincent; Guerraoui, Rachid; Trigonakis, Vasileios 1 2018 The entropy of a distributed computation random number generation from memory interleaving. Zbl 1451.68035Antoniadis, Karolos; Blanchard, Peva; Guerraoui, Rachid; Stainer, Julien 1 2018 On the optimal space complexity of consensus for anonymous processes. Zbl 1451.68044Gelashvili, Rati 1 2018 Distributed construction of purely additive spanners. Zbl 1451.68345Censor-Hillel, Keren; Kavitha, Telikepalli; Paz, Ami; Yehudayoff, Amir 1 2018 Optimal gathering of oblivious robots in anonymous graphs and its application on trees and rings. Zbl 1419.68184Di Stefano, Gabriele; Navarra, Alfredo 13 2017 Distributed computing by mobile robots: uniform circle formation. Zbl 1419.68029Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Viglietta, Giovanni 11 2017 Simple dynamics for plurality consensus. Zbl 1419.68027Becchetti, Luca; Clementi, Andrea; Natale, Emanuele; Pasquale, Francesco; Silvestri, Riccardo; Trevisan, Luca 9 2017 A unified approach for gathering and exclusive searching on rings under weak assumptions. Zbl 1404.68018D’Angelo, Gianlorenzo; Navarra, Alfredo; Nisse, Nicolas 9 2017 Distributed algorithms for the Lovász local lemma and graph coloring. Zbl 1419.68213Chung, Kai-Min; Pettie, Seth; Su, Hsin-Hao 8 2017 Vertex fault tolerant additive spanners. Zbl 1425.68042Parter, Merav 6 2017 Speed faults in computation by chemical reaction networks. Zbl 1425.68108Chen, Ho-Lin; Cummings, Rachel; Doty, David; Soloveichik, David 5 2017 The ANTS problem. Zbl 1409.68295Feinerman, Ofer; Korman, Amos 4 2017 Fault-tolerant aggregation: flow-updating meets mass-distribution. Zbl 1420.68022Almeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martín; Jesus, Paulo; Mosteiro, Miguel A. 3 2017 On the uncontended complexity of anonymous agreement. Zbl 1419.68028Capdevielle, Claire; Johnen, Colette; Kuznetsov, Petr; Milani, Alessia 3 2017 When distributed computation is communication expensive. Zbl 1423.68078Woodruff, David P.; Zhang, Qin 3 2017 Breathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication. Zbl 1423.68070Feinerman, Ofer; Haeupler, Bernhard; Korman, Amos 3 2017 Secure multi-party computation in large networks. Zbl 1409.68041Dani, Varsha; King, Valerie; Movahedi, Mahnush; Saia, Jared; Zamani, Mahdi 2 2017 Who are you? Secure identities in single hop ad hoc networks. Zbl 1419.68024Gilbert, Seth; Newport, Calvin; Zheng, Chaodong 2 2017 Determining majority in networks with local interactions and very small local memory. Zbl 1404.68021Mertzios, George B.; Nikoletseas, Sotiris E.; Raptopoulos, Christoforos L.; Spirakis, Paul G. 2 2017 A coded shared atomic memory algorithm for message passing architectures. Zbl 1404.68023Cadambe, Viveck R.; Lynch, Nancy; Mèdard, Muriel; Musial, Peter 2 2017 Linear-in-\(\varDelta \) lower bounds in the LOCAL model. Zbl 1423.68192Göös, Mika; Hirvonen, Juho; Suomela, Jukka 2 2017 Reliable broadcast with respect to topology knowledge. Zbl 1420.68023Pagourtzis, Aris; Panagiotakos, Giorgos; Sakavalas, Dimitris 1 2017 The multi-agent rotor-router on the ring: a deterministic alternative to parallel random walks. Zbl 1419.68030Klasing, Ralf; Kosowski, Adrian; Pająk, Dominik; Sauerwald, Thomas 1 2017 A theoretical and empirical evaluation of an algorithm for self-healing computation. Zbl 1419.68215Saad, George; Saia, Jared 1 2017 Simple and efficient local codes for distributed stable network construction. Zbl 1362.68023Michail, Othon; Spirakis, Paul G. 21 2016 Modelling and verifying the AODV routing protocol. Zbl 1386.68019van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum 7 2016 Byzantine gathering in networks. Zbl 1412.68021Bouchard, Sébastien; Dieudonné, Yoann; Ducourthial, Bertrand 7 2016 Time versus cost tradeoffs for deterministic rendezvous in networks. Zbl 1352.68117Miller, Avery; Pelc, Andrzej 6 2016 Nearly optimal bounds for distributed wireless scheduling in the SINR model. Zbl 1357.68021Halldórsson, Magnús M.; Mitra, Pradipta 5 2016 Rendezvous in networks in spite of delay faults. Zbl 1362.68021Chalopin, Jérémie; Dieudonné, Yoann; Labourel, Arnaud; Pelc, Andrzej 5 2016 Formal verification of mobile robot protocols. Zbl 1410.68217Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien 5 2016 Distributed algorithms for barrier coverage using relocatable sensors. Zbl 1405.68434Eftekhari, Mohsen; Kranakis, Evangelos; Krizanc, Danny; Morales-Ponce, Oscar; Narayanan, Lata; Opatrny, Jaroslav; Shende, Sunil 5 2016 Close to linear space routing schemes. Zbl 1352.68197Roditty, Liam; Tov, Roei 4 2016 Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring. Zbl 1408.68131Jeavons, Peter; Scott, Alex; Xu, Lei 4 2016 Tight bounds for parallel randomized load balancing. Zbl 1356.68018Lenzen, Christoph; Wattenhofer, Roger 3 2016 DEX: self-healing expanders. Zbl 1362.68286Pandurangan, Gopal; Robinson, Peter; Trehan, Amitabh 3 2016 The computability of relaxed data structures: queues and stacks as examples. Zbl 1405.68099Shavit, Nir; Taubenfeld, Gadi 3 2016 ...and 416 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,651 Authors 53 Raynal, Michel 52 Pelc, Andrzej 43 Kowalski, Dariusz R. 34 Spirakis, Paul G. 32 Flocchini, Paola 32 Rajsbaum, Sergio 32 Santoro, Nicola 31 Michail, Othon 26 Fraigniaud, Pierre 26 Gąsieniec, Leszek Antoni 26 Guerraoui, Rachid 24 Censor-Hillel, Keren 23 Taubenfeld, Gadi 22 Tixeuil, Sébastien 21 Lynch, Nancy Ann 21 Moses, Yoram 20 Czyzowicz, Jurek 19 Korman, Amos 18 Dolev, Shlomi 18 Herlihy, Maurice P. 18 Kranakis, Evangelos Konstantinou 18 Masuzawa, Toshimitsu 18 Scheideler, Christian 17 Fauconnier, Hugues 17 Halpern, Joseph Yehuda 17 Hesselink, Wim H. 17 Ilcinkas, David 17 Peleg, David 17 Travers, Corentin 17 Wattenhofer, Roger P. 16 Mostefaoui, Achour 16 Navarra, Alfredo 16 Schmid, Ulrich 15 Aspnes, James 15 Chlebus, Bogdan Stanislaw 15 Delporte-Gallet, Carole 15 Gilbert, Seth 15 Kutten, Shay 15 Pajak, Dominik 15 Schwarzmann, Alexander A. 15 Srimani, Pradip K. 15 Viglietta, Giovanni 14 Datta, Ajoy Kumar 14 Di Stefano, Gabriele 14 Kosowski, Adrian 14 Kuhn, Fabian 14 Pandurangan, Gopal 13 Afek, Yehuda 13 Busch, Costas 13 Esparza, Javier 13 Halldórsson, Magnús Mar 13 Izumi, Taisuke 13 Klasing, Ralf 13 Kwiatkowska, Marta Z. 13 Lenzen, Christoph 12 Attiya, Hagit 12 Dereniowski, Dariusz 12 Dieudonné, Yoann 12 Gafni, Eli M. 12 Gavoille, Cyril 12 Georgiou, Chryssis 12 Kuznetsov, Petr 12 Newport, Calvin 12 Widder, Josef 11 Baier, Christel 11 Baldoni, Roberto 11 Castañeda, Armando 11 Charron-Bost, Bernadette 11 Devismes, Stéphane 11 Di Luna, Giuseppe Antonio 11 Elkin, Michael 11 Függer, Matthias 11 Métivier, Yves 11 Peled, Doron A. 11 Petit, Franck 11 Radzik, Tomasz 11 Suomela, Jukka 10 Alistarh, Dan 10 Clementi, Andrea E. F. 10 Cohen, Ran 10 Dobrev, Stefan 10 Haeupler, Bernhard 10 Huang, Shingtsaan 10 Malkhi, Dahlia 10 Natale, Emanuele 10 Ooshita, Fukuhito 10 Saia, Jared 10 Schmid, Stefan 10 Toueg, Sam 10 van Ditmarsch, Hans Pieter 10 Welch, Jennifer Lundelius 10 Yamashita, Masafumi 10 Yamauchi, Yukiko 9 Bazzi, Rida A. 9 Cicerone, Serafino 9 Czumaj, Artur 9 Derrick, John 9 Dolev, Danny 9 Doty, David 9 Ellen, Faith ...and 2,551 more Authors all top 5 Cited in 143 Journals 356 Distributed Computing 345 Theoretical Computer Science 102 Information Processing Letters 92 Information and Computation 57 Journal of Computer and System Sciences 52 Algorithmica 44 Formal Aspects of Computing 42 Theory of Computing Systems 34 SIAM Journal on Computing 30 Acta Informatica 28 Formal Methods in System Design 25 Journal of Parallel and Distributed Computing 22 International Journal of Foundations of Computer Science 20 Discrete Applied Mathematics 16 Artificial Intelligence 15 Journal of Logical and Algebraic Methods in Programming 14 Information Sciences 12 Automatica 11 Journal of Cryptology 11 Logical Methods in Computer Science 10 Computing 9 Computers & Mathematics with Applications 9 Parallel Processing Letters 8 MSCS. Mathematical Structures in Computer Science 8 Journal of the ACM 8 Natural Computing 8 Computer Science Review 7 Synthese 7 European Journal of Operational Research 7 Parallel Algorithms and Applications 7 Journal of Discrete Algorithms 6 Mathematical Systems Theory 6 Operations Research 6 Science of Computer Programming 6 SIAM Journal on Discrete Mathematics 6 Games and Economic Behavior 5 Random Structures & Algorithms 5 International Journal of Computer Mathematics 5 RAIRO. Informatique Théorique et Applications 5 Sādhanā 4 Discrete Mathematics 4 Networks 4 Annals of Pure and Applied Logic 4 Annals of Mathematics and Artificial Intelligence 4 Journal of Combinatorial Optimization 4 Journal of Scheduling 4 Discrete Mathematics, Algorithms and Applications 3 International Journal of Theoretical Physics 3 International Journal of Parallel Programming 3 Journal of Automated Reasoning 3 Computational Geometry 3 Discrete Event Dynamic Systems 3 Quantum Information Processing 3 Internet Mathematics 3 International Journal of Parallel, Emergent and Distributed Systems 3 The Review of Symbolic Logic 3 Algorithms 3 Journal of Applied and Computational Topology 2 International Journal of Game Theory 2 Journal of Computer Science and Technology 2 Computers & Operations Research 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Computational Geometry & Applications 2 Journal of Logic, Language and Information 2 Journal of Applied Non-Classical Logics 2 The Electronic Journal of Combinatorics 2 The Journal of Artificial Intelligence Research (JAIR) 2 Electronic Communications in Probability 2 European Journal of Control 2 Lobachevskii Journal of Mathematics 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Journal of Applied Logic 2 Mathematics in Computer Science 1 ACM Computing Surveys 1 Advances in Applied Probability 1 Journal of the Franklin Institute 1 Physica A 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Inventiones Mathematicae 1 Journal of Applied Probability 1 Journal of Combinatorial Theory. Series A 1 Journal of Economic Theory 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 Kybernetes 1 Programming and Computer Software 1 Bulletin of the Section of Logic 1 Statistics & Probability Letters 1 Stochastic Analysis and Applications 1 Order 1 International Journal of Approximate Reasoning 1 Mathematical and Computer Modelling 1 Neural Networks 1 AI Communications 1 Annals of Operations Research 1 Real-Time Systems 1 International Journal of Adaptive Control and Signal Processing 1 The Annals of Applied Probability ...and 43 more Journals all top 5 Cited in 34 Fields 1,939 Computer science (68-XX) 224 Combinatorics (05-XX) 115 Operations research, mathematical programming (90-XX) 105 Mathematical logic and foundations (03-XX) 95 Information and communication theory, circuits (94-XX) 91 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 Systems theory; control (93-XX) 29 Probability theory and stochastic processes (60-XX) 19 Biology and other natural sciences (92-XX) 8 Numerical analysis (65-XX) 8 Quantum theory (81-XX) 7 Statistics (62-XX) 6 Category theory; homological algebra (18-XX) 6 Algebraic topology (55-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Mechanics of particles and systems (70-XX) 2 Manifolds and cell complexes (57-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Integral equations (45-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year