×

zbMATH — the first resource for mathematics

Lynch, Nancy Ann

Compute Distance To:
Author ID: lynch.nancy-ann Recent zbMATH articles by "Lynch, Nancy Ann"
Published as: Lynch, Nancy; Lynch, Nancy A.; Lynch, N. A.; Lynch, N.; Lynch, Nancy Ann
Homepage: http://people.csail.mit.edu/lynch/
External Links: MGP · Wikidata · ORCID · dblp · GND
Documents Indexed: 160 Publications since 1973, including 6 Books
all top 5

Co-Authors

16 single-authored
17 Newport, Calvin
16 Segala, Roberto
13 Fischer, Michael J.
11 Vaandrager, Frits W.
8 Fekete, Alan
8 Kaynar, Dilsun Kırlı
7 Gilbert, Seth
7 Kuhn, Fabian
6 Cheung, Ling
6 Fan, Rui
6 Ghaffari, Mohsen
6 Mitra, Sayan
6 Shvartsman, Alex Allister
5 Censor-Hillel, Keren
5 Médard, Muriel
5 Merritt, Michael J.
5 Weihl, William E.
4 Attie, Paul C.
4 Attiya, Hagit
4 Canetti, Ran
4 Musco, Cameron
4 Pereira, Olivier
3 Blum, Edward Kenneth
3 Chockler, Gregory V.
3 Gawlick, Rainer
3 Ginsburg, Seymour
3 Griffeth, Nancy D.
3 Guerraoui, Rachid
3 Guibas, Leonidas John
3 Haeupler, Bernhard
3 Herlihy, Maurice P.
3 Kuznetsov, Petr
3 Ladner, Richard E.
3 Liskov, Moses D.
3 Nolte, Tina
3 Radeva, Tsvetomira
3 Sastry, Srikanth
3 Shavit, Nir N.
3 Shvartsman, Alexander A.
2 Borodin, Allan B.
2 Burns, James E.
2 Cadambe, Viveck R.
2 Chaudhuri, Soma
2 Demirbas, Murat
2 Dolev, Danny
2 Dolev, Shlomi
2 Garland, Stephen J.
2 Halldórsson, Magnús Mar
2 Holzer, Stephan
2 Kantor, Erez
2 Keidar, Idit
2 Konwar, Kishori M.
2 Lenzen, Christoph
2 Luchangco, Victor
2 Oshman, Rotem
2 Parter, Merav
2 Rajsbaum, Sergio
2 Selman, Alan L.
2 Søgaard-Andersen, Jørgen
2 Stark, Eugene W.
2 Su, Hsin-Hao
2 Touitou, Dan
2 Tuttle, Mark R.
2 Varghese, George
2 Welch, Jennifer Lundelius
1 Ancona, Bertie
1 Araragi, Tadashi
1 Arjomandi, Eshrat
1 Arora, Anish
1 Bajwa, Ayesha
1 Bar-Joseph, Ziv
1 Bogdanov, Andrej
1 Borowsky, Elizabeth
1 Chakraborty, Indraneel
1 Chang, Chia-Jung
1 Conrejo, Alejandro
1 Cornejo, Alejandro
1 Droms, Ralph
1 Dwork, Cynthia
1 Erlihy, Maurice
1 Ernst, Michael D.
1 Feron, Eric
1 Fowler, Robert J.
1 Frederickson, Greg N.
1 Gafni, Eli M.
1 Gupta, David
1 Jayanti, Prasad
1 Kaashoek, Marinus Frans
1 Kirkpatrick, David G.
1 Kirli, Zeliha Dilsun
1 Kogure, Kiyoshi
1 Krogh, Bruce H.
1 Lahiani, Limor
1 Lamport, Leslie
1 Lampson, Butler W.
1 Ley-Wild, Ruy
1 Liberzon, Daniel
1 Lim, Hongping
1 Livadas, Carolos
1 Lundelius, Jennifer
...and 26 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

125 Publications have been cited 1,966 times in 1,409 Documents Cited by Year
Distributed algorithms. Zbl 0877.68061
Lynch, Nancy A.
337
1996
Impossibility of distributed consensus with one faulty process. Zbl 0629.68027
Fischer, Michael J.; Lynch, Nancy A.; Paterson, Michael S.
257
1985
A comparison of polynomial time reducibilities. Zbl 0321.68039
Ladner, R. E.; Lynch, N. A.; Selman, A. L.
134
1975
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
112
1995
An introduction to input/output automata. Zbl 0677.68067
Lynch, Nancy A.; Tuttle, Mark R.
87
1989
Distributed computation in dynamic networks. Zbl 1293.68305
Kuhn, Fabian; Lynch, Nancy; Oshman, Rotem
86
2010
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
68
1995
A lower bound for the time to assure interactive consistency. Zbl 0493.68026
Fischer, Michael J.; Lynch, Nancy A.
59
1982
Relativization of questions about log space computability. Zbl 0341.68036
Ladner, Richard E.; Lynch, Nancy A.
50
1976
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
38
2003
Reaching approximate agreement in the presence of faults. Zbl 0627.68027
Dolev, Danny; Lynch, Nancy A.; Pinter, Shlomit S.; Stark, Eugene W.; Weihl, William E.
36
1986
Electing a leader in a synchronous ring. Zbl 0631.68024
Frederickson, Greg N.; Lynch, Nancy A.
36
1987
Easy impossibility proofs for distributed consensus problems. Zbl 0598.68024
Fischer, Michael J.; Lynch, Nancy A.; Merritt, Michael
34
1986
An upper and lower bound for clock synchronization. Zbl 0591.68023
Lundelius, Jennifer; Lynch, Nancy
21
1984
Log space recognition and translation of parenthesis languages. Zbl 0401.68051
Lynch, Nancy
21
1977
Bounds on shared memory for mutual exclusion. Zbl 0794.68052
Burns, James E.; Lynch, Nancy A.
19
1993
On reducibility to complex or sparse sets. Zbl 0311.68037
Lynch, Nancy
17
1975
A new fault-tolerant algorithm for clock synchronization. Zbl 0646.68029
Welch, Jennifer Lundelius; Lynch, Nancy
17
1988
Forward and backward simulations. II: Timing-based systems. Zbl 0856.68103
Lynch, Nancy; Vaandrager, Frits
16
1996
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2011
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2007
Liveness in timed and untimed systems. Zbl 0917.68152
Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy
14
1998
On describing the behavior and implementation of distributed systems. Zbl 0441.68020
Lynch, Nancy A.; Fischer, Michael J.
14
1981
A time-space tradeoff for sorting on non-oblivious machines. Zbl 0462.68011
Borodin, Allan; Fischer, Michael J.; Kirkpatrick, David G.; Lynch, Nancy A.; Tompa, Martin
14
1981
An efficient algorithm for Byzantine agreement without authentication. Zbl 0507.68017
Dolev, Danny; Fischer, Michael J.; Fowler, Rob; Lynch, Nancy A.; Strong, H. Raymond
14
1982
Time-Bounded Task-PIOAs: A framework for analyzing security protocols. Zbl 1155.68326
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
13
2007
RAMBO: A reconfigurable atomic memory service for dynamic networks. Zbl 1029.68527
Lynch, Nancy; Shvartsman, Alex A.
13
2002
Tight bounds for \(k\)-set agreement. Zbl 1320.68034
Chaudhuri, Soma; Erlihy, Maurice; Lynch, Nancy A.; Tuttle, Mark R.
13
2000
Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
13
2008
Are wait-free algorithms fast? Zbl 0812.68077
Attiya, Hagit; Lynch, Nancy; Shavit, Nir
12
1994
A proof of the Kahn principle for input/output automata. Zbl 0679.68119
Lynch, Nancy A.; Stark, Eugene W.
12
1989
Revisiting the PAXOS algorithm. Zbl 0944.68102
Prisco, R. D.; Lampson, B.; Lynch, N.
11
2000
Upper bounds for static resource allocation in a distributed system. Zbl 0473.68022
Lynch, Nancy A.
11
1981
Efficiency of synchronous versus asynchronous distributed systems. Zbl 0627.68025
Arjomandi, Eshrat; Fischer, Michael J.; Lynch, Nancy A.
11
1983
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
Bounds on the time to reach agreement in the presence of timing uncertainty. Zbl 0807.68042
Attiya, Hagit; Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry
9
1994
Efficient searching using partial ordering. Zbl 0457.68056
Borodin, A.; Guibas, L. J.; Lynch, N. A.; Yao, A. C.
9
1981
Data requirements for implementation of N-process mutual exclusion using a single shared variable. Zbl 0478.68028
Burns, James E.; Jackson, Paul; Lynch, Nancy A.; Fischer, Michael J.; Peterson, Gary L.
9
1982
Distributed computing: Models and methods. Zbl 0900.68089
Lamport, Leslie; Lynch, Nancy
8
1990
Using mappings to prove timing properties. Zbl 0773.68054
Lynch, Nancy A.; Attiya, Hagit
8
1992
Relativization of the theory of computational complexity. Zbl 0353.68059
Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J.
8
1976
A theory of atomic transactions. Zbl 0663.68022
Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan
7
1988
A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks. Zbl 1129.68391
Demirbas, Murat; Arora, Anish; Nolte, Tina; Lynch, Nancy
7
2005
Log space machines with multiple oracle tapes. Zbl 0368.68058
Lynch, Nancy
7
1978
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2010
Broadcasting in unreliable radio networks. Zbl 1315.68031
Kuhn, Fabian; Lynch, Nancy; Newport, Calvin; Oshman, Rotem; Richa, Andrea
7
2010
Multilevel atomicity - a new correctness criterion for database concurrency control. Zbl 0548.68094
Lynch, Nancy A.
7
1983
A difference in expressive power between flowcharts and recursion schemes. Zbl 0425.68020
Lynch, Nancy A.; Blum, Edward K.
6
1979
Relative complexity of algebras. Zbl 0473.68031
Lynch, Nancy A.; Blum, Edward K.
6
1981
Introduction to the theory of nested transactions. Zbl 0671.68043
Lynch, Nancy; Merritt, Michael
6
1988
Consensus and collision detectors in radio networks. Zbl 1267.68065
Chockler, Gregory; Demirbas, Murat; Gilbert, Seth; Lynch, Nancy; Newport, Calvin; Nolte, Tina
6
2008
“Helping”: Several formalizations. Zbl 0342.02025
Lynch, Nancy
6
1976
Verifying average dwell time by solving optimization problems. Zbl 1178.93076
Mitra, Sayan; Lynch, Nancy; Liberzon, Daniel
6
2006
The abstract MAC layer. Zbl 1231.68085
Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
6
2011
Proving time bounds for randomized distributed algorithms. Zbl 1373.68448
Lynch, Nancy; Saias, Isaac; Segala, Roberto
6
1994
Proving approximate implementations for probabilistic I/O automata. Zbl 1277.68111
Mitra, Sayan; Lynch, Nancy
5
2007
Eventually-serializable data services. Zbl 0933.68009
Fekete, Alan; Gupta, David; Luchangco, Victor; Lynch, Nancy; Shvartsman, Alex
5
1999
The impossibility of implementing reliable communication in the face of crashes. Zbl 0795.68016
Fekete, Alan; Lynch, Nancy; Mansour, Yishay; Spinelli, John
5
1993
Action transducers and timed automata. Zbl 0860.68072
Lynch, Nancy; Vaandrager, Frits
5
1996
Straight-line program length as a parameter for complexity analysis. Zbl 0458.68008
Lynch, Nancy A.
5
1980
Dynamic input/output automata: a formal and compositional model for dynamic systems. Zbl 1344.68114
Attie, Paul C.; Lynch, Nancy A.
5
2016
Straight-line program length as a parameter for complexity measures. Zbl 1282.03021
Lynch, Nancy A.
5
1978
Keeping mobile robot swarms connected. Zbl 1261.68164
Cornejo, Alejandro; Kuhn, Fabian; Ley-Wild, Ruy; Lynch, Nancy
5
2009
The cost of radio network broadcast for different models of unreliable links. Zbl 1323.68013
Ghaffari, Mohsen; Lynch, Nancy; Newport, Calvin
5
2013
On formal modeling of agent computations. Zbl 0988.68721
Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken
4
2001
Atomic data access in distributed hash tables. Zbl 1014.68611
Lynch, Nancy; Malkhi, Dahlia; Ratajczak, David
4
2002
Relative complexity of operations on numeric and bit-string algebras. Zbl 0469.68046
Lynch, Nancy; Blum, Edward K.
4
1980
Commutativity-based locking for nested transactions. Zbl 0716.68028
Fekete, Alan; Lynch, Nancy; Merritt, Michael; Weihl, William
4
1990
Approximations to the halting problem. Zbl 0299.02042
Lynch, Nancy
4
1974
Trade-offs between selection complexity and performance when searching the plane without communication. Zbl 1321.68480
Lenzen, Christoph; Lynch, Nancy; Newport, Calvin; Radeva, Tsvetomira
4
2014
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
4
2003
An \({\Omega}(n\log n)\) lower bound on the cost of mutual exclusion. Zbl 1314.68143
Fan, Rui; Lynch, Nancy
4
2006
Gradient clock synchronization. Zbl 1266.68049
Fan, Rui; Lynch, Nancy
4
2006
Safety verification of model helicopter controller using hybrid input/output automata. Zbl 1032.93535
Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric
3
2003
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
Task-structured probabilistic I/O automata. Zbl 1390.68382
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
3
2018
Clock synchronization for wireless networks. Zbl 1129.68314
Fan, Rui; Chakraborty, Indraneel; Lynch, Nancy
3
2005
Size complexity in context-free grammar forms. Zbl 0333.68057
Ginsburg, Seymour; Lynch, Nancy
3
1976
Multi-message broadcast with abstract MAC layers and unreliable links. Zbl 1321.68022
Ghaffari, Mohsen; Kantor, Erez; Lynch, Nancy; Newport, Calvin
3
2014
Probabilistic analysis of a network resource allocation algorithm. Zbl 0591.90091
Lynch, Nancy A.; Griffeth, Nancy D.; Fischer, Michael J.; Guibas, Leonidas J.
3
1986
Translating timed I/O automata specifications for theorem proving in PVS. Zbl 1175.68259
Lim, Hongping; Kaynar, Dilsun; Lynch, Nancy; Mitra, Sayan
3
2005
Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Zbl 1231.68077
Gilbert, Seth; Lynch, Nancy A.; Shvartsman, Alexander A.
3
2010
The abstract MAC layer. Zbl 1261.68008
Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
3
2009
GeoQuorums: implementing atomic memory in mobile ad hoc networks. Zbl 1264.68214
Dolev, Shlomi; Gilbert, Seth; Lynch, Nancy A.
3
2005
Specifying and using a partitionable group communication service. Zbl 1374.68069
Fekete, Alan; Lynch, Nancy; Shvartsman, Alex
3
1997
A tradeoff between safety and liveness for randomized coordinated attack protocols. Zbl 1370.68025
Varghese, George; Lynch, Nancy A.
2
1992
Bounds on contention management in radio networks. Zbl 1377.68020
Ghaffari, Mohsen; Haeupler, Bernhard; Lynch, Nancy; Newport, Calvin
2
2012
A tradeoff between safety and liveness for randomized coordinated attack. Zbl 0856.68061
Varghese, George; Lynch, Nancy A.
2
1996
Timing conditions for linearizability in uniform counting networks. Zbl 0916.68028
Lynch, Nancy; Shavit, Nir; Shvartsman, Alex; Touitou, Dan
2
1999
A modular drinking philosophers algorithm. Zbl 0786.68040
Welch, Jennifer L.; Lynch, Nancy A.
2
1993
Time bounds for real-time process control in the presence of timing uncertainty. Zbl 0797.93035
Attiya, Hagit; Lynch, Nancy A.
2
1994
On the correctness of orphan management algorithms. Zbl 0799.68046
Herlihy, Maurice; Lynch, Nancy; Merritt, Michael; Weihl, William
2
1992
Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23–25, 2000. Proceedings. Zbl 0934.00029
Lynch, Nancy (ed.); Krogh, Bruce H. (ed.)
2
2000
Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537
Attie, Paul C.; Lynch, Nancy A.
2
2001
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
2
2005
Bounded-contention coding for the additive network model. Zbl 1341.94013
Censor-Hillel, Keren; Haeupler, Bernhard; Lynch, Nancy; Médard, Muriel
2
2015
On the weakest failure detector ever. Zbl 1283.68096
Guerraoui, Rachid; Herlihy, Maurice; Kouznetsov, Petr; Lynch, Nancy; Newport, Calvin
2
2007
Structuring unreliable radio networks. Zbl 1291.68041
Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
2
2014
Comparison of polynomial-time reducibilities. Zbl 0381.68041
Ladner, Richard; Lynch, Nancy; Selman, Alan
2
1974
The impossibility of boosting distributed service resilience. Zbl 1228.68015
Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio
2
2011
Task-structured probabilistic I/O automata. Zbl 1390.68382
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
3
2018
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
Computational tradeoffs in biological neural networks: self-stabilizing winner-take-all networks. Zbl 1402.68060
Lynch, Nancy; Musco, Cameron; Parter, Merav
1
2017
Dynamic input/output automata: a formal and compositional model for dynamic systems. Zbl 1344.68114
Attie, Paul C.; Lynch, Nancy A.
5
2016
Ant-inspired density estimation via random walks (extended abstract). Zbl 1377.68223
Musco, Cameron; Su, Hsin-Hao; Lynch, Nancy
1
2016
Bounded-contention coding for the additive network model. Zbl 1341.94013
Censor-Hillel, Keren; Haeupler, Bernhard; Lynch, Nancy; Médard, Muriel
2
2015
A (truly) local broadcast layer for unreliable radio networks. Zbl 1333.68032
Lynch, Nancy; Newport, Calvin
1
2015
A local broadcast layer for the SINR network model. Zbl 1333.68274
Halldórsson, Magnus M.; Holzer, Stephan; Lynch, Nancy
1
2015
Trade-offs between selection complexity and performance when searching the plane without communication. Zbl 1321.68480
Lenzen, Christoph; Lynch, Nancy; Newport, Calvin; Radeva, Tsvetomira
4
2014
Multi-message broadcast with abstract MAC layers and unreliable links. Zbl 1321.68022
Ghaffari, Mohsen; Kantor, Erez; Lynch, Nancy; Newport, Calvin
3
2014
Structuring unreliable radio networks. Zbl 1291.68041
Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
2
2014
The cost of radio network broadcast for different models of unreliable links. Zbl 1323.68013
Ghaffari, Mohsen; Lynch, Nancy; Newport, Calvin
5
2013
Bounds on contention management in radio networks. Zbl 1377.68020
Ghaffari, Mohsen; Haeupler, Bernhard; Lynch, Nancy; Newport, Calvin
2
2012
Leader election using loneliness detection. Zbl 1257.68035
Ghaffari, Mohsen; Lynch, Nancy; Sastry, Srikanth
2
2012
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2011
The abstract MAC layer. Zbl 1231.68085
Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
6
2011
The impossibility of boosting distributed service resilience. Zbl 1228.68015
Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio
2
2011
Structuring unreliable radio networks. Zbl 1321.68379
Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
1
2011
Modeling radio networks. Zbl 1231.68089
Newport, Calvin; Lynch, Nancy
1
2011
Distributed computation in dynamic networks. Zbl 1293.68305
Kuhn, Fabian; Lynch, Nancy; Oshman, Rotem
86
2010
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2010
Broadcasting in unreliable radio networks. Zbl 1315.68031
Kuhn, Fabian; Lynch, Nancy; Newport, Calvin; Oshman, Rotem; Richa, Andrea
7
2010
Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Zbl 1231.68077
Gilbert, Seth; Lynch, Nancy A.; Shvartsman, Alexander A.
3
2010
Keeping mobile robot swarms connected. Zbl 1261.68164
Cornejo, Alejandro; Kuhn, Fabian; Ley-Wild, Ruy; Lynch, Nancy
5
2009
The abstract MAC layer. Zbl 1261.68008
Kuhn, Fabian; Lynch, Nancy; Newport, Calvin
3
2009
On the weakest failure detector ever. Zbl 1267.68066
Guerraoui, Rachid; Herlihy, Maurice; Kuznetsov, Petr; Lynch, Nancy; Newport, Calvin
1
2009
Modeling radio networks. Zbl 1254.68347
Newport, Calvin; Lynch, Nancy
1
2009
Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
13
2008
Consensus and collision detectors in radio networks. Zbl 1267.68065
Chockler, Gregory; Demirbas, Murat; Gilbert, Seth; Lynch, Nancy; Newport, Calvin; Nolte, Tina
6
2008
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2007
Time-Bounded Task-PIOAs: A framework for analyzing security protocols. Zbl 1155.68326
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
13
2007
Proving approximate implementations for probabilistic I/O automata. Zbl 1277.68111
Mitra, Sayan; Lynch, Nancy
5
2007
On the weakest failure detector ever. Zbl 1283.68096
Guerraoui, Rachid; Herlihy, Maurice; Kouznetsov, Petr; Lynch, Nancy; Newport, Calvin
2
2007
Trace-based semantics for probabilistic timed I/O automata. Zbl 1221.68139
Mitra, Sayan; Lynch, Nancy
1
2007
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
Verifying average dwell time by solving optimization problems. Zbl 1178.93076
Mitra, Sayan; Lynch, Nancy; Liberzon, Daniel
6
2006
An \({\Omega}(n\log n)\) lower bound on the cost of mutual exclusion. Zbl 1314.68143
Fan, Rui; Lynch, Nancy
4
2006
Gradient clock synchronization. Zbl 1266.68049
Fan, Rui; Lynch, Nancy
4
2006
A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks. Zbl 1129.68391
Demirbas, Murat; Arora, Anish; Nolte, Tina; Lynch, Nancy
7
2005
Clock synchronization for wireless networks. Zbl 1129.68314
Fan, Rui; Chakraborty, Indraneel; Lynch, Nancy
3
2005
Translating timed I/O automata specifications for theorem proving in PVS. Zbl 1175.68259
Lim, Hongping; Kaynar, Dilsun; Lynch, Nancy; Mitra, Sayan
3
2005
GeoQuorums: implementing atomic memory in mobile ad hoc networks. Zbl 1264.68214
Dolev, Shlomi; Gilbert, Seth; Lynch, Nancy A.
3
2005
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
2
2005
Self-stabilizing mobile node location management and message routing. Zbl 1172.68362
Dolev, Shlomi; Lahiani, Limor; Lynch, Nancy; Nolte, Tina
1
2005
Gradient clock synchronization. Zbl 1321.68073
Fan, Rui; Lynch, Nancy
1
2004
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
38
2003
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
4
2003
Safety verification of model helicopter controller using hybrid input/output automata. Zbl 1032.93535
Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric
3
2003
Efficient replication of large data objects. Zbl 1180.68055
Fan, Rui; Lynch, Nancy A.
1
2003
RAMBO: A reconfigurable atomic memory service for dynamic networks. Zbl 1029.68527
Lynch, Nancy; Shvartsman, Alex A.
13
2002
Atomic data access in distributed hash tables. Zbl 1014.68611
Lynch, Nancy; Malkhi, Dahlia; Ratajczak, David
4
2002
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
A formal venture into reliable multicast territory. Zbl 1037.68509
Livadas, Carolos; Lynch, Nancy A.
1
2002
Mechanical translation of I/O automaton specifications into first-order logic. Zbl 1037.68552
Bogdanov, Andrej; Garland, Stephen J.; Lynch, Nancy A.
1
2002
Early-delivery dynamic atomic broadcast. Zbl 1029.68509
Bar-Joseph, Ziv; Keidar, Idit; Lynch, Nancy
1
2002
On formal modeling of agent computations. Zbl 0988.68721
Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken
4
2001
Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537
Attie, Paul C.; Lynch, Nancy A.
2
2001
Tight bounds for \(k\)-set agreement. Zbl 1320.68034
Chaudhuri, Soma; Erlihy, Maurice; Lynch, Nancy A.; Tuttle, Mark R.
13
2000
Revisiting the PAXOS algorithm. Zbl 0944.68102
Prisco, R. D.; Lampson, B.; Lynch, N.
11
2000
Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23–25, 2000. Proceedings. Zbl 0934.00029
Lynch, Nancy; Krogh, Bruce H.
2
2000
Eventually-serializable data services. Zbl 0933.68009
Fekete, Alan; Gupta, David; Luchangco, Victor; Lynch, Nancy; Shvartsman, Alex
5
1999
Timing conditions for linearizability in uniform counting networks. Zbl 0916.68028
Lynch, Nancy; Shavit, Nir; Shvartsman, Alex; Touitou, Dan
2
1999
Liveness in timed and untimed systems. Zbl 0917.68152
Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy
14
1998
Implementing sequentially consistent shared objects using broadcast and point-to-point communication. Zbl 0903.68008
Fekete, Alan; Kaashoek, M. Frans; Lynch, Nancy
1
1998
Specifying and using a partitionable group communication service. Zbl 1374.68069
Fekete, Alan; Lynch, Nancy; Shvartsman, Alex
3
1997
Distributed algorithms. Zbl 0877.68061
Lynch, Nancy A.
337
1996
Forward and backward simulations. II: Timing-based systems. Zbl 0856.68103
Lynch, Nancy; Vaandrager, Frits
16
1996
Action transducers and timed automata. Zbl 0860.68072
Lynch, Nancy; Vaandrager, Frits
5
1996
A tradeoff between safety and liveness for randomized coordinated attack. Zbl 0856.68061
Varghese, George; Lynch, Nancy A.
2
1996
Counting networks are practically linearizable. Zbl 1321.68087
Lynch, Nancy; Shavit, Nir; Shvartsman, Alex; Touitou, Dan
1
1996
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
112
1995
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
68
1995
Are wait-free algorithms fast? Zbl 0812.68077
Attiya, Hagit; Lynch, Nancy; Shavit, Nir
12
1994
Bounds on the time to reach agreement in the presence of timing uncertainty. Zbl 0807.68042
Attiya, Hagit; Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry
9
1994
Proving time bounds for randomized distributed algorithms. Zbl 1373.68448
Lynch, Nancy; Saias, Isaac; Segala, Roberto
6
1994
Time bounds for real-time process control in the presence of timing uncertainty. Zbl 0797.93035
Attiya, Hagit; Lynch, Nancy A.
2
1994
Liveness in timed and untimed systems. Zbl 1418.68139
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy
1
1994
Bounds on shared memory for mutual exclusion. Zbl 0794.68052
Burns, James E.; Lynch, Nancy A.
19
1993
The impossibility of implementing reliable communication in the face of crashes. Zbl 0795.68016
Fekete, Alan; Lynch, Nancy; Mansour, Yishay; Spinelli, John
5
1993
A modular drinking philosophers algorithm. Zbl 0786.68040
Welch, Jennifer L.; Lynch, Nancy A.
2
1993
Designing algorithms for distributed systems with partially synchronized clocks. Zbl 1375.68195
Chaudhuri, Soma; Gawlick, Rainer; Lynch, Nancy
2
1993
Using mappings to prove timing properties. Zbl 0773.68054
Lynch, Nancy A.; Attiya, Hagit
8
1992
A tradeoff between safety and liveness for randomized coordinated attack protocols. Zbl 1370.68025
Varghese, George; Lynch, Nancy A.
2
1992
On the correctness of orphan management algorithms. Zbl 0799.68046
Herlihy, Maurice; Lynch, Nancy; Merritt, Michael; Weihl, William
2
1992
Optimal placement of identical resources in a tree. Zbl 0779.90055
Fischer, Michael J.; Griffeth, Nancy D.; Guibas, Leonidas; Lynch, Nancy A.
1
1992
Distributed computing: Models and methods. Zbl 0900.68089
Lamport, Leslie; Lynch, Nancy
8
1990
Commutativity-based locking for nested transactions. Zbl 0716.68028
Fekete, Alan; Lynch, Nancy; Merritt, Michael; Weihl, William
4
1990
An introduction to input/output automata. Zbl 0677.68067
Lynch, Nancy A.; Tuttle, Mark R.
87
1989
A proof of the Kahn principle for input/output automata. Zbl 0679.68119
Lynch, Nancy A.; Stark, Eugene W.
12
1989
A new fault-tolerant algorithm for clock synchronization. Zbl 0646.68029
Welch, Jennifer Lundelius; Lynch, Nancy
17
1988
A theory of atomic transactions. Zbl 0663.68022
Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan
7
1988
Introduction to the theory of nested transactions. Zbl 0671.68043
Lynch, Nancy; Merritt, Michael
6
1988
A modular proof of correctness for a network synchronizer. Zbl 0646.68025
Fekete, A.; Lynch, N.; Shrira, L.
2
1988
Electing a leader in a synchronous ring. Zbl 0631.68024
Frederickson, Greg N.; Lynch, Nancy A.
36
1987
Reaching approximate agreement in the presence of faults. Zbl 0627.68027
Dolev, Danny; Lynch, Nancy A.; Pinter, Shlomit S.; Stark, Eugene W.; Weihl, William E.
36
1986
Easy impossibility proofs for distributed consensus problems. Zbl 0598.68024
Fischer, Michael J.; Lynch, Nancy A.; Merritt, Michael
34
1986
Probabilistic analysis of a network resource allocation algorithm. Zbl 0591.90091
Lynch, Nancy A.; Griffeth, Nancy D.; Fischer, Michael J.; Guibas, Leonidas J.
3
1986
Impossibility of distributed consensus with one faulty process. Zbl 0629.68027
Fischer, Michael J.; Lynch, Nancy A.; Paterson, Michael S.
257
1985
An upper and lower bound for clock synchronization. Zbl 0591.68023
Lundelius, Jennifer; Lynch, Nancy
21
1984
Efficiency of synchronous versus asynchronous distributed systems. Zbl 0627.68025
Arjomandi, Eshrat; Fischer, Michael J.; Lynch, Nancy A.
11
1983
...and 25 more Documents
all top 5

Cited by 1,962 Authors

53 Lynch, Nancy Ann
38 Raynal, Michel
32 Rajsbaum, Sergio
23 Guerraoui, Rachid
22 Taubenfeld, Gadi
19 Hemaspaandra, Lane A.
17 Pelc, Andrzej
16 Herlihy, Maurice P.
15 Schmid, Ulrich
14 Gilbert, Seth
14 Michail, Othon
13 Katoen, Joost-Pieter
13 Vogler, Walter
12 Moran, Shlomo
12 Newport, Calvin
12 Spirakis, Paul G.
12 Welch, Jennifer Lundelius
11 Censor-Hillel, Keren
11 Dolev, Danny
11 Dolev, Shlomi
11 Fauconnier, Hugues
11 Hesselink, Wim H.
11 Kowalski, Dariusz R.
11 Mostefaoui, Achour
11 Selman, Alan L.
10 Delporte-Gallet, Carole
10 Legay, Axel
10 Moses, Yoram
10 Santoro, Nicola
10 Segala, Roberto
10 Travers, Corentin
9 Afek, Yehuda
9 Attiya, Hagit
9 Halpern, Joseph Yehuda
9 Hermanns, Holger
9 Kuznetsov, Petr
9 Merritt, Michael J.
9 Pandurangan, Gopal
9 Peleg, David
9 Widder, Josef
8 Aspnes, James
8 Book, Ronald Vernon
8 Dieudonné, Yoann
8 Gafni, Eli M.
8 Glaßer, Christian
8 Ko, Ker-I
8 Kwiatkowska, Marta Z.
8 Larsen, Kim Guldstrand
8 Lenzen, Christoph
8 Palamidessi, Catuscia
8 Schiper, André
8 Shavit, Nir N.
7 Attie, Paul C.
7 Castañeda, Armando
7 Corradini, Flavio
7 Hadzilacos, Vassos
7 Hemaspaandra, Edith
7 Kuhn, Fabian
7 Norman, Gethin
7 Ogihara, Mitsunori
7 Potop-Butucaru, Maria Gradinariu
7 Shvartsman, Alex Allister
7 Tini, Simone
7 Vaandrager, Frits W.
6 Ambos-Spies, Klaus
6 Bar-Noy, Amotz
6 Ćirić, Miroslav D.
6 Delahaye, Benoît
6 Deng, Yuxin
6 Derrick, John
6 Fischer, Michael J.
6 Függer, Matthias
6 Garay, Juan A.
6 Ignjatović, Jelena
6 Korman, Amos
6 Mavronicolas, Marios
6 Métivier, Yves
6 Mitra, Sayan
6 Mundhenk, Martin
6 Neiger, Gil
6 Robinson, Peter
6 Robson, John Michael
6 Tixeuil, Sébastien
6 Toueg, Sam
6 Veith, Helmut
6 Watanabe, Osamu
6 Zemmari, Akka
5 Abate, Alessandro
5 Allender, Eric W.
5 Arvind, Vikraman
5 Baier, Christel
5 Charron-Bost, Bernadette
5 Chockler, Gregory V.
5 Coan, Brian A.
5 Cohen, Ran
5 Di Berardini, Maria Rita
5 Fraigniaud, Pierre
5 Gebler, Daniel E.
5 Golab, Wojciech
5 Goubault, Eric
...and 1,862 more Authors
all top 5

Cited in 130 Serials

270 Theoretical Computer Science
183 Distributed Computing
90 Information and Computation
79 Information Processing Letters
78 Journal of Computer and System Sciences
38 Mathematical Systems Theory
27 Acta Informatica
26 Formal Aspects of Computing
24 Theory of Computing Systems
21 Automatica
20 The Journal of Logic and Algebraic Programming
18 Algorithmica
16 Journal of Parallel and Distributed Computing
16 Formal Methods in System Design
10 Information Sciences
9 Artificial Intelligence
9 Science of Computer Programming
9 Logical Methods in Computer Science
9 Journal of Logical and Algebraic Methods in Programming
8 Discrete Applied Mathematics
8 SIAM Journal on Computing
7 Fuzzy Sets and Systems
7 Journal of Cryptology
6 RAIRO. Informatique Théorique et Applications
6 Computational Complexity
6 Journal of the ACM
6 Nonlinear Analysis. Hybrid Systems
5 The Journal of Symbolic Logic
5 Systems & Control Letters
5 Journal of Automated Reasoning
5 International Journal of Computer Mathematics
5 European Journal of Control
4 International Journal of Control
4 Journal of the Franklin Institute
4 Annals of Pure and Applied Logic
4 International Journal of Foundations of Computer Science
4 Discrete Event Dynamic Systems
4 Computer Science Review
3 BIT
3 Computing
3 SIAM Journal on Control and Optimization
3 Journal of Complexity
3 International Journal of Parallel Programming
3 Real-Time Systems
3 Neural Computation
3 International Journal of Robust and Nonlinear Control
3 Annals of Mathematics and Artificial Intelligence
3 Mathematical Problems in Engineering
3 Natural Computing
3 Journal of Discrete Algorithms
3 Journal of Applied Logic
3 Journal of Applied and Computational Topology
2 Problems of Information Transmission
2 Applied Mathematics and Computation
2 Journal of Soviet Mathematics
2 Notre Dame Journal of Formal Logic
2 International Journal of Approximate Reasoning
2 Archive for Mathematical Logic
2 Applied Categorical Structures
2 Journal of Combinatorial Optimization
2 Concurrency and Computation: Practice & Experience
2 Theory and Practice of Logic Programming
2 ACM Transactions on Computational Logic
2 Internet Mathematics
2 Advances in Difference Equations
2 International Journal of Parallel, Emergent and Distributed Systems
2 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Journal of Computational Physics
1 Journal of Mathematical Analysis and Applications
1 Journal of Statistical Physics
1 Physica A
1 International Journal of Mathematics and Mathematical Sciences
1 International Journal of Circuit Theory and Applications
1 International Journal of Computer & Information Sciences
1 Journal of Computational and Applied Mathematics
1 Matematički Vesnik
1 Networks
1 Programming and Computer Software
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Software. Practice & Experience
1 Transactions of the American Mathematical Society
1 Topology and its Applications
1 Journal of Information & Optimization Sciences
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Computer Science and Technology
1 Discrete & Computational Geometry
1 Mathematical and Computer Modelling
1 Signal Processing
1 Annals of Operations Research
1 Machine Learning
1 Random Structures & Algorithms
1 Computational Geometry
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
1 Designs, Codes and Cryptography
...and 30 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.