Edit Profile (opens in new tab) Lynch, Nancy Ann Compute Distance To: Compute Author ID: lynch.nancy-ann Published as: Lynch, Nancy; Lynch, Nancy A.; Lynch, N. A.; Lynch, N.; Lynch, Nancy Ann more...less Homepage: http://people.csail.mit.edu/lynch/ External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef Documents Indexed: 161 Publications since 1973, including 3 Books 3 Contributions as Editor · 1 Further Contribution Co-Authors: 126 Co-Authors with 149 Joint Publications 2,900 Co-Co-Authors all top 5 Co-Authors 16 single-authored 18 Newport, Calvin 16 Segala, Roberto 14 Fischer, Michael J. 11 Vaandrager, Frits W. 9 Schwarzmann, Alexander A. 8 Fekete, Alan 8 Gilbert, Seth 8 Kaynar, Dilsun Kırlı 7 Kuhn, Fabian 6 Cheung, Ling 6 Fan, Rui 6 Ghaffari, Mohsen 6 Médard, Muriel 6 Mitra, Sayan 5 Censor-Hillel, Keren 5 Merritt, Michael J. 5 Musco, Cameron 5 Weihl, William E. 4 Attie, Paul C. 4 Attiya, Hagit 4 Canetti, Ran 4 Guibas, Leonidas John 4 Pereira, Olivier 3 Blum, Edward Kenneth 3 Borodin, Allan B. 3 Chockler, Gregory V. 3 Gawlick, Rainer 3 Ginsburg, Seymour 3 Griffeth, Nancy D. 3 Guerraoui, Rachid 3 Haeupler, Bernhard 3 Herlihy, Maurice P. 3 Konwar, Kishori M. 3 Kuznetsov, Petr 3 Ladner, Richard E. 3 Liskov, Moses D. 3 Nolte, Tina 3 Parter, Merav 3 Radeva, Tsvetomira 3 Sastry, Srikanth 3 Shavit, Nir N. 3 Su, Hsin-Hao 2 Ancona, Bertie 2 Bajwa, Ayesha 2 Burns, James E. 2 Cadambe, Viveck R. 2 Chaudhuri, Soma 2 Demirbas, Murat 2 Dolev, Danny 2 Dolev, Shlomi 2 Frederickson, Greg N. 2 Garland, Stephen J. 2 Halldórsson, Magnús Mar 2 Holzer, Stephan 2 Kantor, Erez 2 Keidar, Idit 2 Lenzen, Christoph 2 Luchangco, Victor 2 Mallmann-Trenn, Frederik 2 Meyer, Albert Ronald 2 Oshman, Rotem 2 Pajak, Dominik 2 Paterson, Michael S. 2 Rajsbaum, Sergio 2 Selman, Alan Louis 2 Søgaard-Andersen, Jørgen 2 Stark, Eugene W. 2 Strong, H. Raymond 2 Su, Lili 2 Tompa, Martin 2 Touitou, Dan 2 Tuttle, Mark R. 2 Varghese, George 2 Welch, Jennifer Lundelius 1 Angluin, Dana 1 Araragi, Tadashi 1 Arjomandi, Eshrat 1 Arora, Anish 1 Bar-Joseph, Ziv 1 Bloniarz, Peter A. 1 Bogdanov, Andrej 1 Borowsky, Elizabeth 1 Brent, Richard Peirce 1 Brown, Donna J. 1 Carlson, David A. 1 Chakraborty, Indraneel 1 Chang, Chia-Jung 1 Chazelle, Bernard 1 Conrejo, Alejandro 1 Cook, Stephen Arthur 1 Cornejo, Alejandro 1 Cypher, A. 1 DeMillo, Richard Allan 1 Dobkin, David P. 1 Dornhaus, Anna 1 Droms, Ralph 1 Dwork, Cynthia 1 Ehrig, Hartmut 1 Erlihy, Maurice 1 Ernst, Michael D. ...and 81 more Co-Authors all top 5 Serials 19 Distributed Computing 12 Journal of the Association for Computing Machinery 12 Information and Computation 11 Theoretical Computer Science 9 Journal of Computer and System Sciences 4 Mathematical Systems Theory 3 Information and Control 2 Information Processing Letters 2 SIAM Journal on Computing 2 Journal of the ACM 2 Lecture Notes in Computer Science 1 ACM Transactions on Database Systems 1 The Journal of Symbolic Logic 1 Transactions of the American Mathematical Society 1 CWI Quarterly 1 Formal Aspects of Computing 1 Neural Computation 1 Discrete Event Dynamic Systems 1 Proceedings of the National Academy of Sciences of the United States of America 1 Nordic Journal of Computing 1 Synthesis Lectures on Computer Science 1 Synthesis Lectures on Distributed Computing Theory all top 5 Fields 154 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 9 Systems theory; control (93-XX) 7 Combinatorics (05-XX) 5 Operations research, mathematical programming (90-XX) 4 General and overarching topics; collections (00-XX) 4 Biology and other natural sciences (92-XX) 4 Information and communication theory, circuits (94-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 130 Publications have been cited 2,214 times in 1,570 Documents Cited by ▼ Year ▼ Distributed algorithms. Zbl 0877.68061Lynch, Nancy A. 374 1996 Impossibility of distributed consensus with one faulty process. Zbl 0629.68027Fischer, Michael J.; Lynch, Nancy A.; Paterson, Michael S. 307 1985 A comparison of polynomial time reducibilities. Zbl 0321.68039Ladner, R. E.; Lynch, N. A.; Selman, A. L. 142 1975 Probabilistic simulations for probabilistic processes. Zbl 0839.68067Segala, Roberto; Lynch, Nancy 126 1995 Distributed computation in dynamic networks. Zbl 1293.68305Kuhn, Fabian; Lynch, Nancy; Oshman, Rotem 97 2010 An introduction to input/output automata. Zbl 0677.68067Lynch, Nancy A.; Tuttle, Mark R. 95 1989 Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123Lynch, Nancy; Vaandrager, Frits 78 1995 A lower bound for the time to assure interactive consistency. Zbl 0493.68026Fischer, Michael J.; Lynch, Nancy A. 65 1982 Relativization of questions about log space computability. Zbl 0341.68036Ladner, Richard E.; Lynch, Nancy A. 54 1976 Reaching approximate agreement in the presence of faults. Zbl 0627.68027Dolev, Danny; Lynch, Nancy A.; Pinter, Shlomit S.; Stark, Eugene W.; Weihl, William E. 46 1986 Hybrid I/O automata. Zbl 1069.68067Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 44 2003 Easy impossibility proofs for distributed consensus problems. Zbl 0598.68024Fischer, Michael J.; Lynch, Nancy A.; Merritt, Michael 43 1986 Electing a leader in a synchronous ring. Zbl 0631.68024Frederickson, Greg N.; Lynch, Nancy A. 39 1987 Log space recognition and translation of parenthesis languages. Zbl 0401.68051Lynch, Nancy 25 1977 An upper and lower bound for clock synchronization. Zbl 0591.68023Lundelius, Jennifer; Lynch, Nancy 24 1984 Bounds on shared memory for mutual exclusion. Zbl 0794.68052Burns, James E.; Lynch, Nancy A. 21 1993 Forward and backward simulations. II: Timing-based systems. Zbl 0856.68103Lynch, Nancy; Vaandrager, Frits 21 1996 A time-space tradeoff for sorting on non-oblivious machines. Zbl 0462.68011Borodin, Allan; Fischer, Michael J.; Kirkpatrick, David G.; Lynch, Nancy A.; Tompa, Martin 19 1981 A new fault-tolerant algorithm for clock synchronization. Zbl 0646.68029Welch, Jennifer Lundelius; Lynch, Nancy 19 1988 On reducibility to complex or sparse sets. Zbl 0311.68037Lynch, Nancy 17 1975 Liveness in timed and untimed systems. Zbl 0917.68152Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy 17 1998 An efficient algorithm for Byzantine agreement without authentication. Zbl 0507.68017Dolev, Danny; Fischer, Michael J.; Fowler, Rob; Lynch, Nancy A.; Strong, H. Raymond 16 1982 The theory of timed I/O automata. 2nd ed. Zbl 1226.68004Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 16 2011 Tight bounds for \(k\)-set agreement. Zbl 1320.68034Chaudhuri, Soma; Erlihy, Maurice; Lynch, Nancy A.; Tuttle, Mark R. 15 2000 On describing the behavior and implementation of distributed systems. Zbl 0441.68020Lynch, Nancy A.; Fischer, Michael J. 14 1981 Time-Bounded Task-PIOAs: A framework for analyzing security protocols. Zbl 1155.68326Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 14 2007 RAMBO: A reconfigurable atomic memory service for dynamic networks. Zbl 1029.68527Lynch, Nancy; Shvartsman, Alex A. 14 2002 Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 14 2008 Observing branching structure through probabilistic contexts. Zbl 1156.68020Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 14 2007 Are wait-free algorithms fast? Zbl 0812.68077Attiya, Hagit; Lynch, Nancy; Shavit, Nir 13 1994 Efficiency of synchronous versus asynchronous distributed systems. Zbl 0627.68025Arjomandi, Eshrat; Fischer, Michael J.; Lynch, Nancy A. 12 1983 Revisiting the PAXOS algorithm. Zbl 0944.68102Prisco, R. D.; Lampson, B.; Lynch, N. 12 2000 A proof of the Kahn principle for input/output automata. Zbl 0679.68119Lynch, Nancy A.; Stark, Eugene W. 12 1989 Upper bounds for static resource allocation in a distributed system. Zbl 0473.68022Lynch, Nancy A. 11 1981 Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 10 2006 Data requirements for implementation of N-process mutual exclusion using a single shared variable. Zbl 0478.68028Burns, James E.; Jackson, Paul; Lynch, Nancy A.; Fischer, Michael J.; Peterson, Gary L. 10 1982 Bounds on the time to reach agreement in the presence of timing uncertainty. Zbl 0807.68042Attiya, Hagit; Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry 9 1994 Efficient searching using partial ordering. Zbl 0457.68056Borodin, A.; Guibas, L. J.; Lynch, N. A.; Yao, A. C. 9 1981 Using mappings to prove timing properties. Zbl 0773.68054Lynch, Nancy A.; Attiya, Hagit 9 1992 The abstract MAC layer. Zbl 1231.68085Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 8 2011 Relativization of the theory of computational complexity. Zbl 0353.68059Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J. 8 1976 Broadcasting in unreliable radio networks. Zbl 1315.68031Kuhn, Fabian; Lynch, Nancy; Newport, Calvin; Oshman, Rotem; Richa, Andrea 8 2010 Consensus and collision detectors in radio networks. Zbl 1267.68065Chockler, Gregory; Demirbas, Murat; Gilbert, Seth; Lynch, Nancy; Newport, Calvin; Nolte, Tina 8 2008 Distributed computing: Models and methods. Zbl 0900.68089Lamport, Leslie; Lynch, Nancy 8 1990 Log space machines with multiple oracle tapes. Zbl 0368.68058Lynch, Nancy 7 1978 Trade-offs between selection complexity and performance when searching the plane without communication. Zbl 1321.68480Lenzen, Christoph; Lynch, Nancy; Newport, Calvin; Radeva, Tsvetomira 7 2014 Multilevel atomicity - a new correctness criterion for database concurrency control. Zbl 0548.68094Lynch, Nancy A. 7 1983 A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks. Zbl 1129.68391Demirbas, Murat; Arora, Anish; Nolte, Tina; Lynch, Nancy 7 2005 The theory of timed I/O automata. Zbl 1250.68005Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 7 2010 A theory of atomic transactions. Zbl 0663.68022Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan 7 1988 A difference in expressive power between flowcharts and recursion schemes. Zbl 0425.68020Lynch, Nancy A.; Blum, Edward K. 6 1979 Action transducers and timed automata. Zbl 0860.68072Lynch, Nancy; Vaandrager, Frits 6 1996 “Helping”: Several formalizations. Zbl 0342.02025Lynch, Nancy 6 1976 Relative complexity of algebras. Zbl 0473.68031Lynch, Nancy A.; Blum, Edward K. 6 1981 Proving time bounds for randomized distributed algorithms. Zbl 1373.68448Lynch, Nancy; Saias, Isaac; Segala, Roberto 6 1994 Verifying average dwell time by solving optimization problems. Zbl 1178.93076Mitra, Sayan; Lynch, Nancy; Liberzon, Daniel 6 2006 Introduction to the theory of nested transactions. Zbl 0671.68043Lynch, Nancy; Merritt, Michael 6 1988 The impossibility of implementing reliable communication in the face of crashes. Zbl 0795.68016Fekete, Alan; Lynch, Nancy; Mansour, Yishay; Spinelli, John 5 1993 Straight-line program length as a parameter for complexity analysis. Zbl 0458.68008Lynch, Nancy A. 5 1980 Keeping mobile robot swarms connected. Zbl 1261.68164Cornejo, Alejandro; Kuhn, Fabian; Ley-Wild, Ruy; Lynch, Nancy 5 2009 Dynamic input/output automata: a formal and compositional model for dynamic systems. Zbl 1344.68114Attie, Paul C.; Lynch, Nancy A. 5 2016 The cost of radio network broadcast for different models of unreliable links. Zbl 1323.68013Ghaffari, Mohsen; Lynch, Nancy; Newport, Calvin 5 2013 Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Zbl 1231.68077Gilbert, Seth; Lynch, Nancy A.; Shvartsman, Alexander A. 5 2010 Compositionality for probabilistic automata. Zbl 1274.68161Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 5 2003 Straight-line program length as a parameter for complexity measures. Zbl 1282.03021Lynch, Nancy A. 5 1978 Eventually-serializable data services. Zbl 0933.68009Fekete, Alan; Gupta, David; Luchangco, Victor; Lynch, Nancy; Shvartsman, Alex 5 1999 Proving approximate implementations for probabilistic I/O automata. Zbl 1277.68111Mitra, Sayan; Lynch, Nancy 5 2007 Task-structured probabilistic I/O automata. Zbl 1390.68382Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 5 2018 Atomic data access in distributed hash tables. Zbl 1014.68611Lynch, Nancy; Malkhi, Dahlia; Ratajczak, David 4 2002 Gradient clock synchronization. Zbl 1266.68049Fan, Rui; Lynch, Nancy 4 2006 On formal modeling of agent computations. Zbl 0988.68721Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken 4 2001 The abstract MAC layer. Zbl 1261.68008Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 4 2009 Translating timed I/O automata specifications for theorem proving in PVS. Zbl 1175.68259Lim, Hongping; Kaynar, Dilsun; Lynch, Nancy; Mitra, Sayan 4 2005 Approximations to the halting problem. Zbl 0299.02042Lynch, Nancy 4 1974 An \({\Omega}(n\log n)\) lower bound on the cost of mutual exclusion. Zbl 1314.68143Fan, Rui; Lynch, Nancy 4 2006 Leader election using loneliness detection. Zbl 1257.68035Ghaffari, Mohsen; Lynch, Nancy; Sastry, Srikanth 4 2012 Relative complexity of operations on numeric and bit-string algebras. Zbl 0469.68046Lynch, Nancy; Blum, Edward K. 4 1980 Commutativity-based locking for nested transactions. Zbl 0716.68028Fekete, Alan; Lynch, Nancy; Merritt, Michael; Weihl, William 4 1990 A modular drinking philosophers algorithm. Zbl 0786.68040Welch, Jennifer L.; Lynch, Nancy A. 3 1993 GeoQuorums: implementing atomic memory in mobile ad hoc networks. Zbl 1264.68214Dolev, Shlomi; Gilbert, Seth; Lynch, Nancy A. 3 2005 Bounded-contention coding for the additive network model. Zbl 1341.94013Censor-Hillel, Keren; Haeupler, Bernhard; Lynch, Nancy; Médard, Muriel 3 2015 Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23–25, 2000. Proceedings. Zbl 0934.00029 3 2000 Hybrid I/O automata revisited. Zbl 0991.93006Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 3 2002 Size complexity in context-free grammar forms. Zbl 0333.68057Ginsburg, Seymour; Lynch, Nancy 3 1976 Comparison of polynomial-time reducibilities. Zbl 0381.68041Ladner, Richard; Lynch, Nancy; Selman, Alan 3 1974 Multi-message broadcast with abstract MAC layers and unreliable links. Zbl 1321.68022Ghaffari, Mohsen; Kantor, Erez; Lynch, Nancy; Newport, Calvin 3 2014 Probabilistic analysis of a network resource allocation algorithm. Zbl 0591.90091Lynch, Nancy A.; Griffeth, Nancy D.; Fischer, Michael J.; Guibas, Leonidas J. 3 1986 Structuring unreliable radio networks. Zbl 1291.68041Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 3 2014 Safety verification of model helicopter controller using hybrid input/output automata. Zbl 1032.93535Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric 3 2003 Clock synchronization for wireless networks. Zbl 1129.68314Fan, Rui; Chakraborty, Indraneel; Lynch, Nancy 3 2005 Specifying and using a partitionable group communication service. Zbl 1374.68069Fekete, Alan; Lynch, Nancy; Shvartsman, Alex 3 1997 Computational tradeoffs in biological neural networks: self-stabilizing winner-take-all networks. Zbl 1402.68060Lynch, Nancy; Musco, Cameron; Parter, Merav 3 2017 The BG distributed simulation algorithm. Zbl 1448.68467Borowsky, E.; Gafni, E.; Lynch, N.; Rajsbaum, S. 3 2001 Time bounds for real-time process control in the presence of timing uncertainty. Zbl 0797.93035Attiya, Hagit; Lynch, Nancy A. 2 1994 A tradeoff between safety and liveness for randomized coordinated attack. Zbl 0856.68061Varghese, George; Lynch, Nancy A. 2 1996 Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537Attie, Paul C.; Lynch, Nancy A. 2 2001 Efficient replication of large data objects. Zbl 1180.68055Fan, Rui; Lynch, Nancy A. 2 2003 On the correctness of orphan management algorithms. Zbl 0799.68046Herlihy, Maurice; Lynch, Nancy; Merritt, Michael; Weihl, William 2 1992 On the weakest failure detector ever. Zbl 1267.68066Guerraoui, Rachid; Herlihy, Maurice; Kuznetsov, Petr; Lynch, Nancy; Newport, Calvin 2 2009 On the weakest failure detector ever. Zbl 1283.68096Guerraoui, Rachid; Herlihy, Maurice; Kouznetsov, Petr; Lynch, Nancy; Newport, Calvin 2 2007 Task-structured probabilistic I/O automata. Zbl 1390.68382Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 5 2018 Computational tradeoffs in biological neural networks: self-stabilizing winner-take-all networks. Zbl 1402.68060Lynch, Nancy; Musco, Cameron; Parter, Merav 3 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 Radon: repairable atomic data object in networks. Zbl 1432.68035Konwar, Kishori M.; Prakash, N.; Lynch, Nancy A.; Médard, Muriel 1 2017 Dynamic input/output automata: a formal and compositional model for dynamic systems. Zbl 1344.68114Attie, Paul C.; Lynch, Nancy A. 5 2016 Information-theoretic lower bounds on the storage cost of shared memory emulation. Zbl 1375.68192Cadambe, Viveck R.; Wang, Zhiying; Lynch, Nancy 1 2016 Ant-inspired density estimation via random walks (extended abstract). Zbl 1377.68223Musco, Cameron; Su, Hsin-Hao; Lynch, Nancy 1 2016 Bounded-contention coding for the additive network model. Zbl 1341.94013Censor-Hillel, Keren; Haeupler, Bernhard; Lynch, Nancy; Médard, Muriel 3 2015 A local broadcast layer for the SINR network model. Zbl 1333.68274Halldórsson, Magnus M.; Holzer, Stephan; Lynch, Nancy 2 2015 A (truly) local broadcast layer for unreliable radio networks. Zbl 1333.68032Lynch, Nancy; Newport, Calvin 1 2015 Trade-offs between selection complexity and performance when searching the plane without communication. Zbl 1321.68480Lenzen, Christoph; Lynch, Nancy; Newport, Calvin; Radeva, Tsvetomira 7 2014 Multi-message broadcast with abstract MAC layers and unreliable links. Zbl 1321.68022Ghaffari, Mohsen; Kantor, Erez; Lynch, Nancy; Newport, Calvin 3 2014 Structuring unreliable radio networks. Zbl 1291.68041Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 3 2014 The cost of radio network broadcast for different models of unreliable links. Zbl 1323.68013Ghaffari, Mohsen; Lynch, Nancy; Newport, Calvin 5 2013 Leader election using loneliness detection. Zbl 1257.68035Ghaffari, Mohsen; Lynch, Nancy; Sastry, Srikanth 4 2012 Bounds on contention management in radio networks. Zbl 1377.68020Ghaffari, Mohsen; Haeupler, Bernhard; Lynch, Nancy; Newport, Calvin 2 2012 The theory of timed I/O automata. 2nd ed. Zbl 1226.68004Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 16 2011 The abstract MAC layer. Zbl 1231.68085Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 8 2011 The impossibility of boosting distributed service resilience. Zbl 1228.68015Attie, Paul; Guerraoui, Rachid; Kuznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio 2 2011 Modeling radio networks. Zbl 1231.68089Newport, Calvin; Lynch, Nancy 1 2011 Structuring unreliable radio networks. Zbl 1321.68379Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 1 2011 Distributed computation in dynamic networks. Zbl 1293.68305Kuhn, Fabian; Lynch, Nancy; Oshman, Rotem 97 2010 Broadcasting in unreliable radio networks. Zbl 1315.68031Kuhn, Fabian; Lynch, Nancy; Newport, Calvin; Oshman, Rotem; Richa, Andrea 8 2010 The theory of timed I/O automata. Zbl 1250.68005Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 7 2010 Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Zbl 1231.68077Gilbert, Seth; Lynch, Nancy A.; Shvartsman, Alexander A. 5 2010 Keeping mobile robot swarms connected. Zbl 1261.68164Cornejo, Alejandro; Kuhn, Fabian; Ley-Wild, Ruy; Lynch, Nancy 5 2009 The abstract MAC layer. Zbl 1261.68008Kuhn, Fabian; Lynch, Nancy; Newport, Calvin 4 2009 On the weakest failure detector ever. Zbl 1267.68066Guerraoui, Rachid; Herlihy, Maurice; Kuznetsov, Petr; Lynch, Nancy; Newport, Calvin 2 2009 Modeling radio networks. Zbl 1254.68347Newport, Calvin; Lynch, Nancy 1 2009 Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 14 2008 Consensus and collision detectors in radio networks. Zbl 1267.68065Chockler, Gregory; Demirbas, Murat; Gilbert, Seth; Lynch, Nancy; Newport, Calvin; Nolte, Tina 8 2008 Modeling computational security in long-lived systems. Zbl 1160.94382Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Lynch, Nancy; Pereira, Olivier 1 2008 Time-Bounded Task-PIOAs: A framework for analyzing security protocols. Zbl 1155.68326Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 14 2007 Observing branching structure through probabilistic contexts. Zbl 1156.68020Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 14 2007 Proving approximate implementations for probabilistic I/O automata. Zbl 1277.68111Mitra, Sayan; Lynch, Nancy 5 2007 On the weakest failure detector ever. Zbl 1283.68096Guerraoui, Rachid; Herlihy, Maurice; Kouznetsov, Petr; Lynch, Nancy; Newport, Calvin 2 2007 Trace-based semantics for probabilistic timed I/O automata. Zbl 1221.68139Mitra, Sayan; Lynch, Nancy 1 2007 Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 10 2006 Verifying average dwell time by solving optimization problems. Zbl 1178.93076Mitra, Sayan; Lynch, Nancy; Liberzon, Daniel 6 2006 Gradient clock synchronization. Zbl 1266.68049Fan, Rui; Lynch, Nancy 4 2006 An \({\Omega}(n\log n)\) lower bound on the cost of mutual exclusion. Zbl 1314.68143Fan, Rui; Lynch, Nancy 4 2006 A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks. Zbl 1129.68391Demirbas, Murat; Arora, Anish; Nolte, Tina; Lynch, Nancy 7 2005 Translating timed I/O automata specifications for theorem proving in PVS. Zbl 1175.68259Lim, Hongping; Kaynar, Dilsun; Lynch, Nancy; Mitra, Sayan 4 2005 GeoQuorums: implementing atomic memory in mobile ad hoc networks. Zbl 1264.68214Dolev, Shlomi; Gilbert, Seth; Lynch, Nancy A. 3 2005 Clock synchronization for wireless networks. Zbl 1129.68314Fan, Rui; Chakraborty, Indraneel; Lynch, Nancy 3 2005 Switched probabilistic I/O automata. Zbl 1109.68053Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 2 2005 Self-stabilizing mobile node location management and message routing. Zbl 1172.68362Dolev, Shlomi; Lahiani, Limor; Lynch, Nancy; Nolte, Tina 1 2005 Gradient clock synchronization. Zbl 1321.68073Fan, Rui; Lynch, Nancy 1 2004 Hybrid I/O automata. Zbl 1069.68067Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 44 2003 Compositionality for probabilistic automata. Zbl 1274.68161Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 5 2003 Safety verification of model helicopter controller using hybrid input/output automata. Zbl 1032.93535Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric 3 2003 Efficient replication of large data objects. Zbl 1180.68055Fan, Rui; Lynch, Nancy A. 2 2003 RAMBO: A reconfigurable atomic memory service for dynamic networks. Zbl 1029.68527Lynch, Nancy; Shvartsman, Alex A. 14 2002 Atomic data access in distributed hash tables. Zbl 1014.68611Lynch, Nancy; Malkhi, Dahlia; Ratajczak, David 4 2002 Hybrid I/O automata revisited. Zbl 0991.93006Lynch, Nancy; Segala, Roberto; Vaandrager, Frits 3 2002 A formal venture into reliable multicast territory. Zbl 1037.68509Livadas, Carolos; Lynch, Nancy A. 1 2002 Mechanical translation of I/O automaton specifications into first-order logic. Zbl 1037.68552Bogdanov, Andrej; Garland, Stephen J.; Lynch, Nancy A. 1 2002 Early-delivery dynamic atomic broadcast. Zbl 1029.68509Bar-Joseph, Ziv; Keidar, Idit; Lynch, Nancy 1 2002 On formal modeling of agent computations. Zbl 0988.68721Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken 4 2001 The BG distributed simulation algorithm. Zbl 1448.68467Borowsky, E.; Gafni, E.; Lynch, N.; Rajsbaum, S. 3 2001 Dynamic input/output automata: A formal model for dynamic systems (extended abstract). Zbl 1006.68537Attie, Paul C.; Lynch, Nancy A. 2 2001 Tight bounds for \(k\)-set agreement. Zbl 1320.68034Chaudhuri, Soma; Erlihy, Maurice; Lynch, Nancy A.; Tuttle, Mark R. 15 2000 Revisiting the PAXOS algorithm. Zbl 0944.68102Prisco, R. D.; Lampson, B.; Lynch, N. 12 2000 Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23–25, 2000. Proceedings. Zbl 0934.00029 3 2000 Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Zbl 1448.68156Pogosyants, Anna; Segala, Roberto; Lynch, Nancy 1 2000 Eventually-serializable data services. Zbl 0933.68009Fekete, Alan; Gupta, David; Luchangco, Victor; Lynch, Nancy; Shvartsman, Alex 5 1999 Timing conditions for linearizability in uniform counting networks. Zbl 0916.68028Lynch, Nancy; Shavit, Nir; Shvartsman, Alex; Touitou, Dan 2 1999 Liveness in timed and untimed systems. Zbl 0917.68152Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy 17 1998 Implementing sequentially consistent shared objects using broadcast and point-to-point communication. Zbl 0903.68008Fekete, Alan; Kaashoek, M. Frans; Lynch, Nancy 1 1998 Specifying and using a partitionable group communication service. Zbl 1374.68069Fekete, Alan; Lynch, Nancy; Shvartsman, Alex 3 1997 Distributed algorithms. Zbl 0877.68061Lynch, Nancy A. 374 1996 Forward and backward simulations. II: Timing-based systems. Zbl 0856.68103Lynch, Nancy; Vaandrager, Frits 21 1996 Action transducers and timed automata. Zbl 0860.68072Lynch, Nancy; Vaandrager, Frits 6 1996 A tradeoff between safety and liveness for randomized coordinated attack. Zbl 0856.68061Varghese, George; Lynch, Nancy A. 2 1996 Counting networks are practically linearizable. Zbl 1321.68087Lynch, Nancy; Shavit, Nir; Shvartsman, Alex; Touitou, Dan 1 1996 Probabilistic simulations for probabilistic processes. Zbl 0839.68067Segala, Roberto; Lynch, Nancy 126 1995 Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123Lynch, Nancy; Vaandrager, Frits 78 1995 Are wait-free algorithms fast? Zbl 0812.68077Attiya, Hagit; Lynch, Nancy; Shavit, Nir 13 1994 Bounds on the time to reach agreement in the presence of timing uncertainty. Zbl 0807.68042Attiya, Hagit; Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry 9 1994 Proving time bounds for randomized distributed algorithms. Zbl 1373.68448Lynch, Nancy; Saias, Isaac; Segala, Roberto 6 1994 Time bounds for real-time process control in the presence of timing uncertainty. Zbl 0797.93035Attiya, Hagit; Lynch, Nancy A. 2 1994 Liveness in timed and untimed systems. Zbl 1418.68139Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy 1 1994 Bounds on shared memory for mutual exclusion. Zbl 0794.68052Burns, James E.; Lynch, Nancy A. 21 1993 The impossibility of implementing reliable communication in the face of crashes. Zbl 0795.68016Fekete, Alan; Lynch, Nancy; Mansour, Yishay; Spinelli, John 5 1993 A modular drinking philosophers algorithm. Zbl 0786.68040Welch, Jennifer L.; Lynch, Nancy A. 3 1993 Designing algorithms for distributed systems with partially synchronized clocks. Zbl 1375.68195Chaudhuri, Soma; Gawlick, Rainer; Lynch, Nancy 2 1993 Using mappings to prove timing properties. Zbl 0773.68054Lynch, Nancy A.; Attiya, Hagit 9 1992 On the correctness of orphan management algorithms. Zbl 0799.68046Herlihy, Maurice; Lynch, Nancy; Merritt, Michael; Weihl, William 2 1992 A tradeoff between safety and liveness for randomized coordinated attack protocols. Zbl 1370.68025Varghese, George; Lynch, Nancy A. 2 1992 Optimal placement of identical resources in a tree. Zbl 0779.90055Fischer, Michael J.; Griffeth, Nancy D.; Guibas, Leonidas; Lynch, Nancy A. 1 1992 Distributed computing: Models and methods. Zbl 0900.68089Lamport, Leslie; Lynch, Nancy 8 1990 Commutativity-based locking for nested transactions. Zbl 0716.68028Fekete, Alan; Lynch, Nancy; Merritt, Michael; Weihl, William 4 1990 An introduction to input/output automata. Zbl 0677.68067Lynch, Nancy A.; Tuttle, Mark R. 95 1989 A proof of the Kahn principle for input/output automata. Zbl 0679.68119Lynch, Nancy A.; Stark, Eugene W. 12 1989 A new fault-tolerant algorithm for clock synchronization. Zbl 0646.68029Welch, Jennifer Lundelius; Lynch, Nancy 19 1988 A theory of atomic transactions. Zbl 0663.68022Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan 7 1988 Introduction to the theory of nested transactions. Zbl 0671.68043Lynch, Nancy; Merritt, Michael 6 1988 A modular proof of correctness for a network synchronizer. Zbl 0646.68025Fekete, A.; Lynch, N.; Shrira, L. 2 1988 Electing a leader in a synchronous ring. Zbl 0631.68024Frederickson, Greg N.; Lynch, Nancy A. 39 1987 Reaching approximate agreement in the presence of faults. Zbl 0627.68027Dolev, Danny; Lynch, Nancy A.; Pinter, Shlomit S.; Stark, Eugene W.; Weihl, William E. 46 1986 ...and 30 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,182 Authors 54 Lynch, Nancy Ann 45 Raynal, Michel 36 Rajsbaum, Sergio 26 Guerraoui, Rachid 25 Taubenfeld, Gadi 24 Hemaspaandra, Lane A. 18 Michail, Othon 18 Pelc, Andrzej 17 Herlihy, Maurice P. 17 Spirakis, Paul G. 16 Schmid, Ulrich 15 Gilbert, Seth 15 Newport, Calvin 14 Kowalski, Dariusz R. 14 Mostefaoui, Achour 14 Welch, Jennifer Lundelius 13 Dolev, Danny 13 Fauconnier, Hugues 13 Katoen, Joost-Pieter 13 Moran, Shlomo 13 Schwarzmann, Alexander A. 13 Vogler, Walter 12 Censor-Hillel, Keren 12 Moses, Yoram 12 Santoro, Nicola 11 Afek, Yehuda 11 Delporte-Gallet, Carole 11 Dolev, Shlomi 11 Hesselink, Wim H. 11 Kuznetsov, Petr 11 Legay, Axel 11 Selman, Alan Louis 11 Widder, Josef 10 Aspnes, James 10 Attiya, Hagit 10 Segala, Roberto 10 Travers, Corentin 9 Dieudonné, Yoann 9 Függer, Matthias 9 Gafni, Eli M. 9 Halpern, Joseph Yehuda 9 Hemaspaandra, Edith 9 Hermanns, Holger 9 Larsen, Kim Guldstrand 9 Merritt, Michael J. 9 Pandurangan, Gopal 9 Peleg, David 8 Book, Ronald Vernon 8 Castañeda, Armando 8 Derrick, John 8 Garay, Juan A. 8 Glaßer, Christian 8 Hadzilacos, Vassos 8 Ko, Ker-I 8 Kwiatkowska, Marta Z. 8 Lenzen, Christoph 8 Palamidessi, Catuscia 8 Schiper, André 8 Shavit, Nir N. 7 Ambos-Spies, Klaus 7 Attie, Paul C. 7 Charron-Bost, Bernadette 7 Cohen, Ran 7 Corradini, Flavio 7 Deng, Yuxin 7 Kuhn, Fabian 7 Mitra, Sayan 7 Mundhenk, Martin 7 Norman, Gethin 7 Ogihara, Mitsunori 7 Potop-Butucaru, Maria Gradinariu 7 Rothe, Jörg-Matthias 7 Tini, Simone 7 Toueg, Sam 7 Vaandrager, Frits W. 7 Zikas, Vassilis 6 Abate, Alessandro 6 Alistarh, Dan 6 Bar-Noy, Amotz 6 Chockler, Gregory V. 6 Ćirić, Miroslav D. 6 Delahaye, Benoît 6 Ellen, Faith 6 Fischer, Michael J. 6 Goubault, Eric 6 Ignjatović, Jelena 6 Ishii, Hideaki 6 Keidar, Idit 6 Köbler, Johannes 6 Korman, Amos 6 Malkhi, Dahlia 6 Mavronicolas, Marios 6 Métivier, Yves 6 Neiger, Gil 6 Nowak, Thomas 6 Robinson, Peter 6 Robson, John Michael 6 Schellhorn, Gerhard 6 Sokolova, Ana 6 Tixeuil, Sébastien ...and 2,082 more Authors all top 5 Cited in 137 Serials 278 Theoretical Computer Science 200 Distributed Computing 97 Information and Computation 82 Journal of Computer and System Sciences 80 Information Processing Letters 38 Mathematical Systems Theory 28 Automatica 28 Formal Aspects of Computing 27 Acta Informatica 24 Theory of Computing Systems 20 The Journal of Logic and Algebraic Programming 19 Algorithmica 17 Formal Methods in System Design 16 Journal of Parallel and Distributed Computing 14 Logical Methods in Computer Science 10 Artificial Intelligence 10 Information Sciences 10 Journal of Logical and Algebraic Methods in Programming 9 SIAM Journal on Computing 9 Science of Computer Programming 9 Journal of Cryptology 8 Discrete Applied Mathematics 8 Nonlinear Analysis. Hybrid Systems 7 Fuzzy Sets and Systems 6 RAIRO. Informatique Théorique et Applications 6 Computational Complexity 6 European Journal of Control 6 Journal of the ACM 5 International Journal of Control 5 The Journal of Symbolic Logic 5 Systems & Control Letters 5 Journal of Automated Reasoning 5 International Journal of Computer Mathematics 5 Parallel Processing Letters 4 Journal of the Franklin Institute 4 Computing 4 Annals of Pure and Applied Logic 4 Neural Computation 4 International Journal of Foundations of Computer Science 4 Discrete Event Dynamic Systems 4 Computer Science Review 3 BIT 3 SIAM Journal on Control and Optimization 3 Journal of Complexity 3 International Journal of Parallel Programming 3 International Journal of Approximate Reasoning 3 Real-Time Systems 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 International Journal of Systems Science. Principles and Applications of Systems and Integration 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 Algebra and Computation 2 MSCS. Mathematical Structures in Computer Science 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 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 Chaos, Solitons and Fractals 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 ...and 37 more Serials all top 5 Cited in 35 Fields 1,427 Computer science (68-XX) 171 Mathematical logic and foundations (03-XX) 98 Systems theory; control (93-XX) 83 Information and communication theory, circuits (94-XX) 62 Combinatorics (05-XX) 53 Operations research, mathematical programming (90-XX) 34 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Probability theory and stochastic processes (60-XX) 14 Biology and other natural sciences (92-XX) 9 Category theory; homological algebra (18-XX) 9 Algebraic topology (55-XX) 7 Quantum theory (81-XX) 6 Ordinary differential equations (34-XX) 6 Numerical analysis (65-XX) 5 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 General algebraic systems (08-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Statistics (62-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Special functions (33-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Relativity and gravitational theory (83-XX) 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.