×

zbMATH — the first resource for mathematics

Distributed Computing

Short Title: Distrib. Comput.
Publisher: Springer, Berlin/Heidelberg
ISSN: 0178-2770; 1432-0452/e
Online: http://link.springer.com/journal/volumesAndIssues/446
Comments: Indexed cover-to-cover
Documents Indexed: 675 Publications (since 1986)
References Indexed: 628 Publications with 18,112 References.
all top 5

Latest Issues

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. 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)
18, No. 5 (2006)
18, No. 4 (2006)
18, No. 3 (2005)
18, No. 2 (2005)
18, No. 1 (2005)
17, No. 4 (2005)
17, No. 3 (2005)
17, No. 2 (2004)
17, No. 1 (2004)
16, No. 4 (2003)
16, No. 2-3 (2003)
16, No. 1 (2003)
...and 50 more Volumes
all top 5

Authors

19 Lynch, Nancy Ann
17 Pelc, Andrzej
16 Guerraoui, Rachid
15 Peleg, David
14 Fraigniaud, Pierre
13 Attiya, Hagit
12 Lamport, Leslie
11 Afek, Yehuda
11 Halpern, Joseph Yehuda
11 Herlihy, Maurice P.
11 Korman, Amos
10 Censor-Hillel, Keren
10 Kuhn, Fabian
10 Patt-Shamir, Boaz
10 Rajsbaum, Sergio
10 Taubenfeld, Gadi
9 Aspnes, James
9 Gafni, Eli M.
9 Gilbert, Seth
9 Kowalski, Dariusz R.
9 Merritt, Michael J.
9 Newport, Calvin
9 Shavit, Nir N.
9 Toueg, Sam
8 Anderson, James H.
8 Kuznetsov, Petr
8 Malkhi, Dahlia
8 Raynal, Michel
8 Santoro, Nicola
8 Schiper, André
7 Aguilera, Marcos Kawazoe
7 Flocchini, Paola
7 Garg, Vijay K.
7 Haeupler, Bernhard
7 Hendler, Danny
7 Lenzen, Christoph
7 Schmid, Stefan
7 Schwarzmann, Alexander A.
7 Wattenhofer, Roger P.
7 Welch, Jennifer Lundelius
6 Delporte-Gallet, Carole
6 Dolev, Shlomi
6 Fauconnier, Hugues
6 Gąsieniec, Leszek Antoni
6 Hadzilacos, Vassos
6 Halldórsson, Magnús Mar
6 Hesselink, Wim H.
6 Kim, Yong-Jik
6 Moses, Yoram
6 Navarra, Alfredo
6 Pandurangan, Gopal
6 Ruppert, Eric
6 Schmid, Ulrich
6 Suomela, Jukka
5 Di Stefano, Gabriele
5 Elkin, Michael
5 Fatourou, Panagiota
5 Gavoille, Cyril
5 Herman, Ted
5 Hierons, Robert Mark
5 Huang, Shingtsaan
5 Kosowski, Adrian
5 Natale, Emanuele
5 Panconesi, Alessandro
5 Viglietta, Giovanni
5 Yu, Haifeng
4 Angluin, Dana
4 Bazzi, Rida A.
4 Berenbrink, Petra
4 Busch, Costas
4 Chlebus, Bogdan Stanislaw
4 Chockler, Gregory V.
4 Clementi, Andrea E. F.
4 Czyzowicz, Jurek
4 Di Luna, Giuseppe Antonio
4 Dieudonné, Yoann
4 Ellen, Faith
4 Ghaffari, Mohsen
4 Hirvonen, Juho
4 Hoefer, Martin
4 Ilcinkas, David
4 Keidar, Idit
4 Kranakis, Evangelos Konstantinou
4 Kulkarni, Sandeep S.
4 Kutten, Shay
4 Milani, Alessia
4 Mittal, Neeraj
4 Moir, Mark
4 Moran, Shlomo
4 Mostefaoui, Achour
4 Neiger, Gil
4 Petit, Franck
4 Pignolet, Yvonne-Anne
4 Saia, Jared
4 Sauerwald, Thomas
4 Silvestri, Riccardo
4 Tixeuil, Sébastien
4 Travers, Corentin
4 Woelfel, Philipp
3 Ahamad, Mustaque
...and 811 more Authors

Publications by Year

Citations contained in zbMATH Open

372 Publications have been cited 2,244 times in 1,462 Documents Cited by Year
Computation in networks of passively mobile finite-state sensors. Zbl 1266.68042
Angluin, Dana; Aspnes, James; Diamadi, Zoë; Fischer, Michael J.
81
2006
On interprocess communication. I: Basic formalism. Zbl 0598.68022
Lamport, Leslie
71
1986
Self-stabilization of dynamic systems assuming only read/write atomicity. Zbl 1282.68084
Dolev, Shlomi; Israeli, Amos; Moran, Shlomo
48
1993
On interprocess communication. II: Algorithms. Zbl 0598.68023
Lamport, Leslie
46
1986
The computational power of population protocols. Zbl 1266.68043
Angluin, Dana; Aspnes, James; Eisenstat, David; Ruppert, Eric
45
2007
Recognizing safety and liveness. Zbl 0641.68039
Alpern, Bowen; Schneider, Fred B.
43
1987
Consensus algorithms with one-bit messages. Zbl 0723.68012
Bar-Noy, Amotz; Dolev, Danny
41
1991
How processes learn. Zbl 0602.68026
Chandy, K. M.; Misra, Jayadev
41
1986
A belated proof of self-stabilization. Zbl 0604.68015
Dijkstra, Edsger W.
35
1986
Continuous consensus via common knowledge. Zbl 1266.68040
Mizrahi, Tal; Moses, Yoram
35
2008
Appraising fairness in languages for distributed programming. Zbl 0659.68023
Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel
34
1988
Easy impossibility proofs for distributed consensus problems. Zbl 0598.68024
Fischer, Michael J.; Lynch, Nancy A.; Merritt, Michael
34
1986
The Heard-Of model: computing in distributed systems with benign faults. Zbl 1267.68151
Charron-Bost, Bernadette; Schiper, André
30
2009
A simple population protocol for fast robust approximate majority. Zbl 1267.68055
Angluin, Dana; Aspnes, James; Eisenstat, David
29
2008
Self-stabilizing extensions for message-passing systems. Zbl 1282.68077
Katz, Shmuel; Perry, Kenneth J.
28
1993
Fast computation by population protocols with a leader. Zbl 1267.68306
Angluin, Dana; Aspnes, James; Eisenstat, David
28
2008
Broadcasting in undirected ad hoc radio networks. Zbl 1264.68218
Kowalski, Dariusz R.; Pelc, Andrzej
27
2005
How to meet when you forget: log-space rendezvous in arbitrary graphs. Zbl 1284.68066
Czyzowicz, Jurek; Kosowski, Adrian; Pelc, Andrzej
25
2012
Proof labeling schemes. Zbl 1267.68061
Korman, Amos; Kutten, Shay; Peleg, David
25
2010
Modelling knowledge and action in distributed systems. Zbl 0685.68076
Halpern, Joseph Y.; Fagin, Ronald
24
1989
Optimal deterministic broadcasting in known topology radio networks. Zbl 1266.68231
Kowalski, Dariusz R.; Pelc, Andrzej
24
2006
A self-stabilizing algorithm for coloring planar graphs. Zbl 0818.68089
Ghosh, Sukumar; Karaata, Mehmet Hakan
21
1993
Detecting causal relationships in distributed computations: In search of the holy grail. Zbl 0813.68096
Schwarz, Reinhard; Mattern, Friedemann
20
1994
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
20
1986
Constant-time distributed dominating set approximation. Zbl 1264.68219
Kuhn, Fabian; Wattenhofer, Roger
16
2005
Searching for a black hole in arbitrary networks: optimal mobile agents protocols. Zbl 1266.68208
Dobrev, Stefan; Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola
16
2006
Gathering on rings under the look-compute-move model. Zbl 1320.68046
D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Navarra, Alfredo
16
2014
Bounded time-stamps. Zbl 0776.68018
Israeli, Amos; Li, Ming
15
1993
Compiling communicating processes into delay-insensitive VLSI circuits. Zbl 0643.94039
Martin, Alain J.
15
1986
Sublogarithmic distributed MIS algorithm for sparse graphs using Nash-Williams decomposition. Zbl 1231.68174
Barenboim, Leonid; Elkin, Michael
15
2010
Efficient parallel algorithms can be made robust. Zbl 0744.68060
Kanellakis, Paris C.; Shvartsman, Alex A.
14
1992
Forming sequences of geometric patterns with oblivious mobile robots. Zbl 1331.68223
Das, Shantanu; Flocchini, Paola; Santoro, Nicola; Yamashita, Masafumi
14
2015
A state-based approach to communicating processes. Zbl 0659.68046
Josephs, Mark B.
14
1988
Fence patrolling by mobile agents with distinct speeds. Zbl 1331.68226
Kawamura, Akitoshi; Kobayashi, Yusuke
13
2015
Efficient algorithms for constructing \((1+\epsilon,\beta)\)-spanners in the distributed and streaming models. Zbl 1266.68212
Elkin, Michael; Zhang, Jian
13
2006
Fast Paxos. Zbl 1266.68218
Lamport, Leslie
13
2006
Anonymous and fault-tolerant shared-memory computing. Zbl 1266.68054
Guerraoui, Rachid; Ruppert, Eric
13
2007
New combinatorial topology bounds for renaming: the lower bound. Zbl 1231.68068
Castañeda, Armando; Rajsbaum, Sergio
13
2010
On implementing omega in systems with weak reliability and synchrony assumptions. Zbl 1267.68064
Aguilera, Marcos K.; Delporte-Gallet, Carole; Fauconnier, Hugues; Toueg, Sam
13
2008
Probabilistic clock synchronization. Zbl 0703.68018
Cristian, Flaviu
12
1989
Failures semantics based on interval semiwords is a congruence for refinement. Zbl 0723.68069
Vogler, Walter
12
1991
Composite registers. Zbl 0781.68042
Anderson, James H.
12
1993
Distributed verification of minimum spanning trees. Zbl 1266.68217
Korman, Amos; Kutten, Shay
12
2007
The cost of monotonicity in distributed graph searching. Zbl 1267.68311
Ilcinkas, David; Nisse, Nicolas; Soguet, David
12
2009
A BGP-based mechanism for lowest-cost routing. Zbl 1264.68215
Feigenbaum, Joan; Papadimitriou, Christos; Sami, Rahul; Shenker, Scott
11
2005
Faster communication in known topology radio networks. Zbl 1266.68026
Gąsieniec, Leszek; Peleg, David; Xin, Qin
11
2007
Snap-stabilization and PIF in tree networks. Zbl 1266.68206
Bui, Alain; Datta, Ajoy K.; Petit, Franck; Villain, Vincent
11
2007
Fault-containing self-stabilizing distributed protocols. Zbl 1266.68064
Ghosh, Sukumar; Gupta, Arobinda; Herman, Ted; Pemmaraju, Sriram V.
11
2007
Coloring unstructured radio networks. Zbl 1267.68042
Moscibroda, Thomas; Wattenhofer, Roger
11
2008
Distributed computing with advice: information sensitivity of graph coloring. Zbl 1267.05118
Fraigniaud, Pierre; Gavoille, Cyril; Ilcinkas, David; Pelc, Andrzej
11
2009
An optimal bit complexity randomized distributed MIS algorithm. Zbl 1231.68277
Métivier, Y.; Robson, J. M.; Saheb-Djahromi, N.; Zemmari, A.
11
2011
Efficient emulation of single-hop radio network with collision detection on multi-hop radio network with no collision detection. Zbl 0726.94018
Bar-Yehuda, Reuven; Goldreich, Oded; Itai, Alon
10
1991
Packet mode and QoS algorithms for buffered crossbar switches with FIFO queuing. Zbl 1231.68100
Kesselman, Alex; Kogan, Kirill; Segal, Michael
10
2010
Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009
Panangaden, Prakash; Taylor, Kim
9
1992
Stabilization and pseudo-stabilization. Zbl 0818.68027
Burns, James E.; Gouda, Mohamed G.; Miller, Raymond E.
9
1993
A fully abstract trace model for dataflow and asynchronous networks. Zbl 0813.68095
Jonsson, Bengt
9
1994
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017
Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y.
9
2012
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
9
2012
Coupling and self-stabilization. Zbl 1264.68216
Fribourg, Laurent; Messika, Stéphane; Picaronny, Laudine
9
2005
Maximum throughput of multiple access channels in adversarial environments. Zbl 1267.68049
Chlebus, Bogdan S.; Kowalski, Dariusz R.; Rokicki, Mariusz A.
9
2009
Verification of distributed programs using representative interleaving sequences. Zbl 0773.68053
Katz, Shmuel; Peled, Doron
8
1992
Using mappings to prove timing properties. Zbl 0773.68054
Lynch, Nancy A.; Attiya, Hagit
8
1992
Fairness and hyperfairness in multi-party interactions. Zbl 0797.68100
Attie, Paul C.; Francez, Nissim; Grumberg, Orna
8
1993
Self-stabilizing depth-first token circulation on networks. Zbl 1282.68085
Huang, Shing-Tsaan; Chen, Nian-Shing
8
1993
Generating BDDs for symbolic model checking in CCS. Zbl 0778.68063
Enders, Reinhard; Filkorn, Thomas; Taubner, Dirk
8
1993
Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072
Moses, Yoram; Dolev, Danny; Halpern, Joseph Y.
8
1986
Distributed algorithms for ultrasparse spanners and linear size skeletons. Zbl 1267.68314
Pettie, Seth
8
2010
The \(k\)-simultaneous consensus problem. Zbl 1267.68054
Afek, Yehuda; Gafni, Eli; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin
8
2010
Broadcasting in UDG radio networks with unknown topology. Zbl 1267.68032
Emek, Yuval; Gąsieniec, Leszek; Kantor, Erez; Pelc, Andrzej; Peleg, David; Su, Chang
8
2009
Time efficient \(k\)-shot broadcasting in known topology radio networks. Zbl 1267.68050
Gąsieniec, Leszek; Kantor, Erez; Kowalski, Dariusz R.; Peleg, David; Su, Chang
8
2008
Beeping a maximal independent set. Zbl 1311.68024
Afek, Yehuda; Alon, Noga; Bar-Joseph, Ziv; Cornejo, Alejandro; Haeupler, Bernhard; Kuhn, Fabian
8
2013
Locality and checkability in wait-free computing. Zbl 1311.68026
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin
8
2013
Derandomizing random walks in undirected graphs using locally fair exploration strategies. Zbl 1231.68178
Cooper, Colin; Ilcinkas, David; Klasing, Ralf; Kosowski, Adrian
8
2011
Simple and efficient local codes for distributed stable network construction. Zbl 1362.68023
Michail, Othon; Spirakis, Paul G.
8
2016
Self-stabilization over unreliable communication media. Zbl 1282.68076
Afek, Yehuda; Brown, Geoffrey M.
7
1993
P-A logic - a compositional proof system for distributed programs. Zbl 0723.68075
Pandya, Paritosh K.; Joseph, Mathai
7
1991
Distributed deadlock detection. Zbl 0641.68035
Bracha, Gabriel; Toueg, Sam
7
1987
Semantics of finite and infinite networks of concurrent communicating agents. Zbl 0621.68012
Broy, Manfred
7
1987
Failure detectors as type boosters. Zbl 1266.68053
Guerraoui, Rachid; Kouznetsov, Petr
7
2008
HyperTree for self-stabilizing peer-to-peer systems. Zbl 1266.68096
Dolev, Shlomi; Kat, Ronen I.
7
2008
The weakest failure detectors to boost obstruction-freedom. Zbl 1266.68052
Guerraoui, Rachid; Kapałka, Michał; Kouznetsov, Petr
7
2008
Distributed MST for constant diameter graphs. Zbl 1266.68219
Lotker, Zvi; Patt-Shamir, Boaz; Peleg, David
7
2006
The alternator. Zbl 1266.68051
Gouda, Mohamed G.; Haddix, F. Furman
7
2007
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Zbl 1266.68063
Beauquier, Joffroy; Gradinariu, Maria; Johnen, Colette
7
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Zbl 1266.68124
Widder, Josef; Schmid, Ulrich
7
2007
Fast primal-dual distributed algorithms for scheduling and matching problems. Zbl 1267.68312
Panconesi, Alessandro; Sozio, Mauro
7
2010
Anti-\(\Omega \): the weakest failure detector for set agreement. Zbl 1231.68099
Zieliński, Piotr
7
2010
An optimal maximal independent set algorithm for bounded-independence graphs. Zbl 1231.68092
Schneider, Johannes; Wattenhofer, Roger
7
2010
Toward more localized local algorithms: removing assumptions concerning global knowledge. Zbl 1284.68644
Korman, Amos; Sereni, Jean-Sébastien; Viennot, Laurent
7
2013
The disagreement power of an adversary. Zbl 1231.68071
Delporte-Gallet, Carole; Fauconnier, Hugues; Guerraoui, Rachid; Tielmann, Andreas
7
2011
On best response dynamics in weighted congestion games with polynomial delays. Zbl 1231.91011
Fanelli, Angelo; Moscardelli, Luca
7
2011
Distributed minimum dominating set approximations in restricted families of graphs. Zbl 1271.68070
Lenzen, Christoph; Pignolet, Yvonne-Anne; Wattenhofer, Roger
7
2013
Concurrent reading while writing revisited. Zbl 0699.68036
Vidyasankar, K.
6
1990
A theorem on atomicity in distributed algorithms. Zbl 0699.68044
Lamport, Leslie
6
1990
Deadlock analysis in networks of communicating processes. Zbl 0717.68006
Brookes, S. D.; Roscoe, A. W.
6
1991
Reaching agreement on processor-group membership in synchronous distributed systems. Zbl 0717.68007
Cristian, Flaviu
6
1991
Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008
He, Jifeng; Hoare, C. A. R.
6
1987
Optimal gathering of oblivious robots in anonymous graphs and its application on trees and rings. Zbl 1419.68184
Di Stefano, Gabriele; Navarra, Alfredo
6
2017
Distributed computing by mobile robots: uniform circle formation. Zbl 1419.68029
Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Viglietta, Giovanni
6
2017
Symbolic synthesis of masking fault-tolerant distributed programs. Zbl 1285.68016
Bonakdarpour, Borzoo; Kulkarni, Sandeep S.; Abujarad, Fuad
6
2012
Redundancy in distributed proofs. Zbl 07348621
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor
1
2021
Distributed exploration of dynamic rings. Zbl 1433.68054
Di Luna, G.; Dobrev, S.; Flocchini, P.; Santoro, N.
4
2020
Shape formation by programmable particles. Zbl 1433.68055
Di Luna, Giuseppe A.; Flocchini, Paola; Santoro, Nicola; Viglietta, Giovanni; Yamauchi, Yukiko
1
2020
Adding concurrency to smart contracts. Zbl 1445.68083
Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric
1
2020
What can be sampled locally? Zbl 1445.68334
Feng, Weiming; Sun, Yuxin; Yin, Yitong
1
2020
Improved deterministic distributed matching via rounding. Zbl 1445.68335
Fischer, Manuela
1
2020
Detecting cliques in CONGEST networks. Zbl 07300288
Czumaj, Artur; Konrad, Christian
1
2020
Fooling views: a new lower bound technique for distributed computations under congestion. Zbl 07300289
Abboud, Amir; Censor-Hillel, Keren; Khoury, Seri; Lenzen, Christoph
1
2020
Self-stabilizing repeated balls-into-bins. Zbl 1451.60080
Becchetti, L.; Clementi, A.; Natale, E.; Pasquale, F.; Posta, G.
4
2019
Randomized proof-labeling schemes. Zbl 1452.68024
Fraigniaud, Pierre; Patt-Shamir, Boaz; Perry, Mor
3
2019
Near-optimal self-stabilising counting and firing squads. Zbl 1451.68050
Lenzen, Christoph; Rybicki, Joel
2
2019
Asynchronous arbitrary pattern formation: the effects of a rigorous approach. Zbl 1432.68024
Cicerone, Serafino; Di Stefano, Gabriele; Navarra, Alfredo
2
2019
Distributed distance computation and routing with small messages. Zbl 1451.68049
Lenzen, Christoph; Patt-Shamir, Boaz; Peleg, David
2
2019
Consensus in rooted dynamic networks with short-lived stability. Zbl 1451.68055
Winkler, Kyrill; Schwarz, Manfred; Schmid, Ulrich
1
2019
Algebraic methods in the congested clique. Zbl 1452.68267
Censor-Hillel, Keren; Kaski, Petteri; Korhonen, Janne H.; Lenzen, Christoph; Paz, Ami; Suomela, Jukka
1
2019
The weakest failure detector for eventual consistency. Zbl 1451.68042
Dubois, Swan; Guerraoui, Rachid; Kuznetsov, Petr; Petit, Franck; Sens, Pierre
1
2019
Contention resolution on a fading channel. Zbl 1451.68043
Fineman, Jeremy T.; Gilbert, Seth; Kuhn, Fabian; Newport, Calvin
1
2019
Embedded pattern formation by asynchronous robots without chirality. Zbl 1432.68025
Cicerone, Serafino; Di Stefano, Gabriele; Navarra, Alfredo
1
2019
Asynchronous approach in the plane: a deterministic polynomial algorithm. Zbl 1451.68038
Bouchard, Sébastien; Bournat, Marjorie; Dieudonné, Yoann; Dubois, Swan; Petit, Franck
1
2019
The topology of look-compute-move robot wait-free algorithms with hard termination. Zbl 1451.68033
Alcántara, Manuel; Castañeda, Armando; Flores-Peñaloza, David; Rajsbaum, Sergio
1
2019
Gathering of robots on meeting-points: feasibility and optimal resolution algorithms. Zbl 1425.68413
Cicerone, Serafino; Di Stefano, Gabriele; Navarra, Alfredo
4
2018
Anonymous obstruction-free \((n,k)\)-set agreement with \(n-k+1\) atomic read/write registers. Zbl 1451.68039
Bouzid, Zohir; Raynal, Michel; Sutra, Pierre
3
2018
Sade: competitive MAC under adversarial SINR. Zbl 1451.68053
Ogierman, Adrian; Richa, Andrea; Scheideler, Christian; Schmid, Stefan; Zhang, Jin
3
2018
Parameterized model checking of rendezvous systems. Zbl 1451.68165
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
2
2018
Choreographies, logically. Zbl 1423.68304
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
2
2018
Terminating distributed construction of shapes and patterns in a fair solution of automata. Zbl 1451.68052
Michail, Othon
1
2018
\(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores. Zbl 1451.68047
Gramoli, Vincent; Guerraoui, Rachid; Trigonakis, Vasileios
1
2018
The entropy of a distributed computation random number generation from memory interleaving. Zbl 1451.68035
Antoniadis, Karolos; Blanchard, Peva; Guerraoui, Rachid; Stainer, Julien
1
2018
Stable leader election in population protocols requires linear time. Zbl 1451.68041
Doty, David; Soloveichik, David
1
2018
On the optimal space complexity of consensus for anonymous processes. Zbl 1451.68044
Gelashvili, Rati
1
2018
On efficient distributed construction of near optimal routing schemes. Zbl 1452.68017
Elkin, Michael; Neiman, Ofer
1
2018
Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative. Zbl 1451.68036
Blin, Lélia; Tixeuil, Sébastien
1
2018
Distributed construction of purely additive spanners. Zbl 1451.68345
Censor-Hillel, Keren; Kavitha, Telikepalli; Paz, Ami; Yehudayoff, Amir
1
2018
Computing large independent sets in a single round. Zbl 1423.68340
Halldórsson, Magnús M.; Konrad, Christian
1
2018
Optimal gathering of oblivious robots in anonymous graphs and its application on trees and rings. Zbl 1419.68184
Di Stefano, Gabriele; Navarra, Alfredo
6
2017
Distributed computing by mobile robots: uniform circle formation. Zbl 1419.68029
Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Viglietta, Giovanni
6
2017
Simple dynamics for plurality consensus. Zbl 1419.68027
Becchetti, Luca; Clementi, Andrea; Natale, Emanuele; Pasquale, Francesco; Silvestri, Riccardo; Trevisan, Luca
6
2017
Speed faults in computation by chemical reaction networks. Zbl 1425.68108
Chen, Ho-Lin; Cummings, Rachel; Doty, David; Soloveichik, David
5
2017
A unified approach for gathering and exclusive searching on rings under weak assumptions. Zbl 1404.68018
D’Angelo, Gianlorenzo; Navarra, Alfredo; Nisse, Nicolas
5
2017
Vertex fault tolerant additive spanners. Zbl 1425.68042
Parter, Merav
4
2017
Fault-tolerant aggregation: flow-updating meets mass-distribution. Zbl 1420.68022
Almeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martín; Jesus, Paulo; Mosteiro, Miguel A.
3
2017
When distributed computation is communication expensive. Zbl 1423.68078
Woodruff, David P.; Zhang, Qin
2
2017
Linear-in-\(\varDelta \) lower bounds in the LOCAL model. Zbl 1423.68192
Göös, Mika; Hirvonen, Juho; Suomela, Jukka
2
2017
The ANTS problem. Zbl 1409.68295
Feinerman, Ofer; Korman, Amos
2
2017
Distributed algorithms for the Lovász local lemma and graph coloring. Zbl 1419.68213
Chung, Kai-Min; Pettie, Seth; Su, Hsin-Hao
2
2017
The multi-agent rotor-router on the ring: a deterministic alternative to parallel random walks. Zbl 1419.68030
Klasing, Ralf; Kosowski, Adrian; Pająk, Dominik; Sauerwald, Thomas
1
2017
On the uncontended complexity of anonymous agreement. Zbl 1419.68028
Capdevielle, Claire; Johnen, Colette; Kuznetsov, Petr; Milani, Alessia
1
2017
Breathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication. Zbl 1423.68070
Feinerman, Ofer; Haeupler, Bernhard; Korman, Amos
1
2017
A coded shared atomic memory algorithm for message passing architectures. Zbl 1404.68023
Cadambe, Viveck R.; Lynch, Nancy; Mèdard, Muriel; Musial, Peter
1
2017
Simple and efficient local codes for distributed stable network construction. Zbl 1362.68023
Michail, Othon; Spirakis, Paul G.
8
2016
Byzantine gathering in networks. Zbl 1412.68021
Bouchard, Sébastien; Dieudonné, Yoann; Ducourthial, Bertrand
5
2016
Distributed algorithms for barrier coverage using relocatable sensors. Zbl 1405.68434
Eftekhari, Mohsen; Kranakis, Evangelos; Krizanc, Danny; Morales-Ponce, Oscar; Narayanan, Lata; Opatrny, Jaroslav; Shende, Sunil
4
2016
Formal verification of mobile robot protocols. Zbl 1410.68217
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien
4
2016
Rendezvous in networks in spite of delay faults. Zbl 1362.68021
Chalopin, Jérémie; Dieudonné, Yoann; Labourel, Arnaud; Pelc, Andrzej
4
2016
DEX: self-healing expanders. Zbl 1362.68286
Pandurangan, Gopal; Robinson, Peter; Trehan, Amitabh
3
2016
Modelling and verifying the AODV routing protocol. Zbl 1386.68019
van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum
3
2016
Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring. Zbl 1408.68131
Jeavons, Peter; Scott, Alex; Xu, Lei
2
2016
The computability of relaxed data structures: queues and stacks as examples. Zbl 1405.68099
Shavit, Nir; Taubenfeld, Gadi
2
2016
Nearly optimal bounds for distributed wireless scheduling in the SINR model. Zbl 1357.68021
Halldórsson, Magnús M.; Mitra, Pradipta
2
2016
Tight bounds for parallel randomized load balancing. Zbl 1356.68018
Lenzen, Christoph; Wattenhofer, Roger
2
2016
Time versus cost tradeoffs for deterministic rendezvous in networks. Zbl 1352.68117
Miller, Avery; Pelc, Andrzej
2
2016
Close to linear space routing schemes. Zbl 1352.68197
Roditty, Liam; Tov, Roei
2
2016
Randomized mutual exclusion on a multiple access channel. Zbl 1405.68433
Bienkowski, Marcin; Klonowski, Marek; Korzeniowski, Miroslaw; Kowalski, Dariusz R.
1
2016
Concurrent imitation dynamics in congestion games. Zbl 1358.91008
Ackermann, Heiner; Berenbrink, Petra; Fischer, Simon; Hoefer, Martin
1
2016
Fair and resilient incentive tree mechanisms. Zbl 1352.91024
Lv, Yuezhou; Moscibroda, Thomas
1
2016
Universal constructions that ensure disjoint-access parallelism and wait-freedom. Zbl 1386.68030
Ellen, Faith; Fatourou, Panagiota; Kosmas, Eleftherios; Milani, Alessia; Travers, Corentin
1
2016
Forming sequences of geometric patterns with oblivious mobile robots. Zbl 1331.68223
Das, Shantanu; Flocchini, Paola; Santoro, Nicola; Yamashita, Masafumi
14
2015
Fence patrolling by mobile agents with distinct speeds. Zbl 1331.68226
Kawamura, Akitoshi; Kobayashi, Yusuke
13
2015
Getting close without touching: near-gathering for autonomous mobile robots. Zbl 1341.68280
Pagli, Linda; Prencipe, Giuseppe; Viglietta, Giovanni
6
2015
Deterministic polynomial approach in the plane. Zbl 1331.68225
Dieudonné, Yoann; Pelc, Andrzej
4
2015
Knowledge, level of symmetry, and time of leader election. Zbl 1337.68038
Fusco, Emanuele G.; Pelc, Andrzej
4
2015
Weak models of distributed computing, with connections to modal logic. Zbl 1322.68075
Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni
4
2015
Allowing each node to communicate only once in a distributed system: shared whiteboard models. Zbl 1331.68029
Becker, Florent; Kosowski, Adrian; Matamala, Martin; Nisse, Nicolas; Rapaport, Ivan; Suchan, Karol; Todinca, Ioan
3
2015
Efficient distributed computation of distance sketches in networks. Zbl 1342.68349
Das Sarma, Atish; Dinitz, Michael; Pandurangan, Gopal
3
2015
A local approximation algorithm for minimum dominating set problem in anonymous planar networks. Zbl 1342.68351
Wawrzyniak, Wojciech
3
2015
Multidimensional agreement in Byzantine systems. Zbl 1347.68031
Mendes, Hammurabi; Herlihy, Maurice; Vaidya, Nitin; Garg, Vijay K.
3
2015
Adversarial topology discovery in network virtualization environments: a threat for ISPs? Zbl 1331.68157
Pignolet, Yvonne Anne; Schmid, Stefan; Tredan, Gilles
2
2015
Distributed graph searching with a sense of direction. Zbl 1331.68285
Borowiecki, Piotr; Dereniowski, Dariusz; Kuszner, Łukasz
2
2015
Fast and compact self-stabilizing verification, computation, and fault detection of an MST. Zbl 1337.68040
Korman, Amos; Kutten, Shay; Masuzawa, Toshimitsu
2
2015
Bounded-contention coding for the additive network model. Zbl 1341.94013
Censor-Hillel, Keren; Haeupler, Bernhard; Lynch, Nancy; Médard, Muriel
2
2015
Information spreading in dynamic graphs. Zbl 1322.68141
Clementi, Andrea; Silvestri, Riccardo; Trevisan, Luca
1
2015
Gathering on rings under the look-compute-move model. Zbl 1320.68046
D’Angelo, Gianlorenzo; Di Stefano, Gabriele; Navarra, Alfredo
16
2014
Leader election for anonymous asynchronous agents in arbitrary networks. Zbl 1291.68044
Dereniowski, Dariusz; Pelc, Andrzej
5
2014
Combinatorial algorithms for distributed graph coloring. Zbl 1291.68426
Barenboim, Leonid; Elkin, Michael
3
2014
Time versus space trade-offs for rendezvous in trees. Zbl 1291.68043
Czyzowicz, Jurek; Kosowski, Adrian; Pelc, Andrzej
3
2014
Leakage-resilient coin tossing. Zbl 1291.68427
Boyle, Elette; Goldwasser, Shafi; Kalai, Yael Tauman
3
2014
LiMoSense: live monitoring in dynamic sensor networks. Zbl 1320.68048
Eyal, Ittay; Keidar, Idit; Rom, Raphael
2
2014
Distributed transactional memory for general networks. Zbl 1320.68050
Sharma, Gokarna; Busch, Costas
2
2014
Randomized distributed decision. Zbl 1320.68223
Fraigniaud, Pierre; Göös, Mika; Korman, Amos; Parter, Merav; Peleg, David
2
2014
Structuring unreliable radio networks. Zbl 1291.68041
Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
2
2014
Xheal: a localized self-healing algorithm using expanders. Zbl 1291.68055
Pandurangan, Gopal; Trehan, Amitabh
2
2014
Greedy routing in small-world networks with power-law degrees. Zbl 1319.68028
Fraigniaud, Pierre; Giakkoupis, George
1
2014
No sublogarithmic-time approximation scheme for bipartite vertex cover. Zbl 1320.68224
Göös, Mika; Suomela, Jukka
1
2014
Asynchronous Byzantine agreement with optimal resilience. Zbl 1291.68056
Patra, Arpita; Choudhury, Ashish; Rangan, C. Pandu
1
2014
Timed implementation relations for the distributed test architecture. Zbl 1291.68048
Hierons, Robert M.; Merayo, Mercedes G.; Núñez, Manuel
1
2014
Reconciling fault-tolerant distributed algorithms and real-time computing. Zbl 1291.68054
Moser, Heinrich; Schmid, Ulrich
1
2014
Beeping a maximal independent set. Zbl 1311.68024
Afek, Yehuda; Alon, Noga; Bar-Joseph, Ziv; Cornejo, Alejandro; Haeupler, Bernhard; Kuhn, Fabian
8
2013
Locality and checkability in wait-free computing. Zbl 1311.68026
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin
8
2013
Toward more localized local algorithms: removing assumptions concerning global knowledge. Zbl 1284.68644
Korman, Amos; Sereni, Jean-Sébastien; Viennot, Laurent
7
2013
Distributed minimum dominating set approximations in restricted families of graphs. Zbl 1271.68070
Lenzen, Christoph; Pignolet, Yvonne-Anne; Wattenhofer, Roger
7
2013
...and 272 more Documents
all top 5

Cited by 1,897 Authors

43 Pelc, Andrzej
34 Raynal, Michel
25 Flocchini, Paola
25 Santoro, Nicola
24 Kowalski, Dariusz R.
23 Rajsbaum, Sergio
21 Fraigniaud, Pierre
21 Spirakis, Paul G.
20 Censor-Hillel, Keren
19 Guerraoui, Rachid
19 Lynch, Nancy Ann
18 Gąsieniec, Leszek Antoni
18 Korman, Amos
18 Michail, Othon
17 Czyzowicz, Jurek
17 Taubenfeld, Gadi
16 Halpern, Joseph Yehuda
16 Tixeuil, Sébastien
15 Dolev, Shlomi
15 Kranakis, Evangelos Konstantinou
15 Moses, Yoram
15 Srimani, Pradip K.
14 Chlebus, Bogdan Stanislaw
14 Hesselink, Wim H.
13 Fauconnier, Hugues
13 Herlihy, Maurice P.
13 Ilcinkas, David
13 Kosowski, Adrian
13 Kutten, Shay
13 Navarra, Alfredo
13 Pandurangan, Gopal
13 Schmid, Ulrich
13 Wattenhofer, Roger P.
12 Aspnes, James
12 Delporte-Gallet, Carole
12 Gilbert, Seth
12 Klasing, Ralf
12 Pajak, Dominik
12 Peleg, David
12 Travers, Corentin
12 Viglietta, Giovanni
11 Dereniowski, Dariusz
11 Lenzen, Christoph
11 Métivier, Yves
11 Schwarzmann, Alexander A.
10 Afek, Yehuda
10 Datta, Ajoy Kumar
10 Dieudonné, Yoann
10 Gafni, Eli M.
10 Huang, Shingtsaan
10 Masuzawa, Toshimitsu
10 Scheideler, Christian
9 Charron-Bost, Bernadette
9 Devismes, Stéphane
9 Di Luna, Giuseppe Antonio
9 Di Stefano, Gabriele
9 Izumi, Taisuke
9 Kuhn, Fabian
9 Lamport, Leslie
9 Newport, Calvin
9 Peled, Doron A.
9 Petit, Franck
8 Attie, Paul C.
8 Castañeda, Armando
8 Chalopin, Jérémie
8 Derrick, John
8 Dobrev, Stefan
8 Godard, Emmanuel
8 Haeupler, Bernhard
8 Kuznetsov, Petr
8 Kwiatkowska, Marta Z.
8 Potop-Butucaru, Maria Gradinariu
8 Radzik, Tomasz
8 Robinson, Peter
8 Robson, John Michael
8 Toueg, Sam
8 Welch, Jennifer Lundelius
8 Yamauchi, Yukiko
8 Zemmari, Akka
7 Abraham, Uri
7 Attiya, Hagit
7 Bampas, Evangelos
7 Chatzigiannakis, Ioannis
7 Dubois, Swan
7 Függer, Matthias
7 Georgiou, Chryssis
7 Halldórsson, Magnús Mar
7 Huang, Tetz C.
7 Katz, Shmuel
7 Kulkarni, Sandeep S.
7 Malkhi, Dahlia
7 Markou, Euripides
7 Mostefaoui, Achour
7 Natale, Emanuele
7 Ooshita, Fukuhito
7 Pacheco, Eduardo
7 Pasquale, Francesco
7 Patt-Shamir, Boaz
7 Pemmaraju, Sriram V.
7 Widder, Josef
...and 1,797 more Authors
all top 5

Cited in 116 Journals

310 Distributed Computing
253 Theoretical Computer Science
74 Information Processing Letters
58 Information and Computation
43 Algorithmica
43 Formal Aspects of Computing
37 Journal of Computer and System Sciences
34 Theory of Computing Systems
27 Acta Informatica
26 SIAM Journal on Computing
24 Journal of Parallel and Distributed Computing
21 International Journal of Foundations of Computer Science
21 Formal Methods in System Design
12 Discrete Applied Mathematics
11 Journal of Logical and Algebraic Methods in Programming
9 Artificial Intelligence
8 Computers & Mathematics with Applications
8 Information Sciences
8 Journal of the ACM
8 Natural Computing
7 Computing
7 MSCS. Mathematical Structures in Computer Science
7 Parallel Algorithms and Applications
6 Mathematical Systems Theory
6 Synthese
6 Science of Computer Programming
6 Computer Science Review
5 Automatica
5 Operations Research
5 Random Structures & Algorithms
5 Games and Economic Behavior
5 International Journal of Computer Mathematics
5 RAIRO. Informatique Théorique et Applications
5 Sādhanā
4 Networks
4 Annals of Pure and Applied Logic
4 Journal of Combinatorial Optimization
4 Logical Methods in Computer Science
3 International Journal of Parallel Programming
3 SIAM Journal on Discrete Mathematics
3 Computational Geometry
3 Discrete Event Dynamic Systems
3 Annals of Mathematics and Artificial Intelligence
3 Journal of Scheduling
3 Journal of Discrete Algorithms
3 Internet Mathematics
3 International Journal of Parallel, Emergent and Distributed Systems
3 Discrete Mathematics, Algorithms and Applications
3 The Review of Symbolic Logic
3 Algorithms
3 Journal of Applied and Computational Topology
2 Discrete Mathematics
2 Journal of Computer Science and Technology
2 Journal of Automated Reasoning
2 Journal of Cryptology
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 International Journal of Computational Geometry & Applications
2 European Journal of Operational Research
2 Journal of Applied Non-Classical Logics
2 The Electronic Journal of Combinatorics
2 Electronic Communications in Probability
2 Lobachevskii Journal of Mathematics
2 The Journal of Logic and Algebraic Programming
2 Parallel Processing Letters
2 Mathematics in Computer Science
1 ACM Computing Surveys
1 International Journal of Theoretical Physics
1 Chaos, Solitons and Fractals
1 International Journal of Game Theory
1 Journal of Applied Probability
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 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 Real-Time Systems
1 International Journal of Adaptive Control and Signal Processing
1 The Annals of Applied Probability
1 Concurrency: Practice and Experience
1 Designs, Codes and Cryptography
1 Applied Mathematical Modelling
1 Archive for Mathematical Logic
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Logic, Language and Information
1 SIAM Journal on Scientific Computing
1 Economic Theory
1 Electronic Journal of Probability
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 European Journal of Control
1 Data Mining and Knowledge Discovery
1 International Journal of Applied Mathematics and Computer Science
1 Applied Stochastic Models in Business and Industry
...and 16 more Journals

Citations by Year