The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Nancy A. Lynch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nancy A. Lynch
    Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. [Citation Graph (34, 9)][DBLP]
    ACM Trans. Database Syst., 1983, v:8, n:4, pp:484-502 [Journal]
  2. Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch
    Global States of a Distributed System. [Citation Graph (13, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:3, pp:198-202 [Journal]
  3. Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
    Commutativity-Based Locking for Nested Transactions. [Citation Graph (9, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:41, n:1, pp:65-156 [Journal]
  4. Nancy A. Lynch, Mark R. Tuttle
    Hierarchical Correctness Proofs for Distributed Algorithms. [Citation Graph (6, 0)][DBLP]
    PODC, 1987, pp:137-151 [Conf]
  5. Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
    Nested Transactions and Read/Write Locking. [Citation Graph (6, 12)][DBLP]
    PODS, 1987, pp:97-111 [Conf]
  6. Michael J. Fischer, Nancy A. Lynch, Mike Paterson
    Impossibility of Distributed Consensus with One Faulty Process [Citation Graph (6, 0)][DBLP]
    J. ACM, 1985, v:32, n:2, pp:374-382 [Journal]
  7. Nancy A. Lynch, Michael Merritt
    Introduction to the Theory of Nested Transactions. [Citation Graph (5, 11)][DBLP]
    ICDT, 1986, pp:278-305 [Conf]
  8. James Aspnes, Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
    A Theory of Timestamp-Based Concurrency Control for Nested Transactions. [Citation Graph (5, 7)][DBLP]
    VLDB, 1988, pp:431-444 [Conf]
  9. Nancy A. Lynch, Michael Merritt
    Introduction to the Theory of Nested Transactions. [Citation Graph (5, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:62, n:1-2, pp:123-185 [Journal]
  10. Kenneth J. Goldman, Nancy A. Lynch
    Quorum Consensus in Nested Transaction Systems. [Citation Graph (4, 0)][DBLP]
    PODC, 1987, pp:27-41 [Conf]
  11. Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel
    Correctness Conditions for Highly Available Replicated Databases. [Citation Graph (4, 0)][DBLP]
    PODC, 1986, pp:11-28 [Conf]
  12. Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
    Commutativity-Based Locking for Nested Transactions. [Citation Graph (4, 0)][DBLP]
    POS, 1989, pp:319-340 [Conf]
  13. Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete
    A Theory of Atomic Transactions. [Citation Graph (3, 8)][DBLP]
    ICDT, 1988, pp:41-71 [Conf]
  14. Nancy A. Lynch
    Concurrency Control for Resilient Nested Transactions. [Citation Graph (3, 0)][DBLP]
    Advances in Computing Research, 1986, v:3, n:, pp:335-373 [Journal]
  15. Michael J. Fischer, Nancy A. Lynch, Mike Paterson
    Impossibility of Distributed Consensus with One Faulty Process. [Citation Graph (2, 8)][DBLP]
    PODS, 1983, pp:1-7 [Conf]
  16. Michael J. Fischer, Nancy A. Lynch
    A Lower Bound for the Time to Assure Interactive Consistency. [Citation Graph (2, 0)][DBLP]
    Inf. Process. Lett., 1982, v:14, n:4, pp:183-186 [Journal]
  17. Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl
    On the Correctness of Orphan Management Algorithms. [Citation Graph (2, 0)][DBLP]
    J. ACM, 1992, v:39, n:4, pp:881-930 [Journal]
  18. Nancy A. Lynch, Michael J. Fischer
    On Describing the Behavior and Implementation of Distributed Systems. [Citation Graph (2, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:13, n:, pp:17-43 [Journal]
  19. Hector Garcia-Molina, Boris Kogan, Nancy A. Lynch
    Reliable Broadcast in Networks with Nonprogrammable Servers. [Citation Graph (1, 0)][DBLP]
    ICDCS, 1988, pp:428-437 [Conf]
  20. Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
    Consensus in the Presence of Partial Synchrony (Preliminary Version). [Citation Graph (1, 0)][DBLP]
    PODC, 1984, pp:103-118 [Conf]
  21. Jennifer Lundelius, Nancy A. Lynch
    A New Fault-Tolerant Algorithm for Clock Synchronization. [Citation Graph (1, 0)][DBLP]
    PODC, 1984, pp:75-88 [Conf]
  22. Alan Fekete, Nancy A. Lynch, William E. Weihl
    A Serialization Graph Construction for Nested Transactions. [Citation Graph (1, 13)][DBLP]
    PODS, 1990, pp:94-108 [Conf]
  23. Nancy A. Lynch
    Multilevel Atomicity. [Citation Graph (1, 5)][DBLP]
    PODS, 1982, pp:63-69 [Conf]
  24. Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
    Cryptographic Protocols [Citation Graph (1, 0)][DBLP]
    STOC, 1982, pp:383-400 [Conf]
  25. Nancy A. Lynch, Nancy D. Griffeth, Michael J. Fischer, Leonidas J. Guibas
    Probabilistic Analysis of a Network Resource Allocation Algorithm [Citation Graph (1, 0)][DBLP]
    Information and Control, 1986, v:68, n:1-3, pp:47-85 [Journal]
  26. Nancy A. Lynch
    Log Space Recognition and Translation of Parenthesis Languages. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1977, v:24, n:4, pp:583-590 [Journal]
  27. Kenneth J. Goldman, Nancy A. Lynch
    Quorum Consensus in Nested Transaction Systems. [Citation Graph (1, 14)][DBLP]
    ACM Trans. Database Syst., 1994, v:19, n:4, pp:537-585 [Journal]
  28. Sunil K. Sarin, Nancy A. Lynch
    Discarding Obsolete Information in a Replicated Database System. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:1, pp:39-47 [Journal]
  29. Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber
    Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2005, pp:128-134 [Conf]
  30. Nancy A. Lynch, Alexander A. Shvartsman
    Communication and Data Sharing for Dynamic Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Future Directions in Distributed Computing, 2003, pp:62-67 [Conf]
  31. Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
    Computer-Assisted Simulation Proofs. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:305-319 [Conf]
  32. Paul C. Attie, Nancy A. Lynch
    Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:137-151 [Conf]
  33. Alan Fekete, Nancy A. Lynch
    The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:199-215 [Conf]
  34. Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
    At-Most-Once Message Delivery. A Case Study in Algorithm Verification. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:317-324 [Conf]
  35. Nancy A. Lynch
    Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:187-188 [Conf]
  36. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Compositionality for Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:204-222 [Conf]
  37. Roberto Segala, Nancy A. Lynch
    Probabilistic Simulations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:481-496 [Conf]
  38. Frits W. Vaandrager, Nancy A. Lynch
    Action Transducers and Timed Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:436-455 [Conf]
  39. Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
    The Design and Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CRYPTO, 1981, pp:71-72 [Conf]
  40. Nancy A. Lynch
    I/O Automaton Models and Proofs for Shared-Key Communication Systems. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:14-29 [Conf]
  41. Gunter Leeb, Nancy A. Lynch
    Proving Safety Properties of the Steam Boiler Controller. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:318-338 [Conf]
  42. Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman
    RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:259-0 [Conf]
  43. Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
    On Formal Modeling of Agent Computations. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:48-62 [Conf]
  44. Shinya Umeno, Nancy A. Lynch
    Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:64-80 [Conf]
  45. Hagit Attiya, Nancy A. Lynch, Nir Shavit
    Are Wait-Free Algorithms Fast? (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1990, pp:55-64 [Conf]
  46. Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa
    A Time-Space Tradeoff for Sorting on Non-Oblivious Machines [Citation Graph (0, 0)][DBLP]
    FOCS, 1979, pp:319-327 [Conf]
  47. Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
    A Tight Lower Bound for k-Set Agreement [Citation Graph (0, 0)][DBLP]
    FOCS, 1993, pp:206-215 [Conf]
  48. Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin
    Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    FOCS, 1979, pp:234-254 [Conf]
  49. Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra
    Translating Timed I/O Automata Specifications for Theorem Proving in PVS. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:17-31 [Conf]
  50. Dilsun Kirli Kaynar, Nancy A. Lynch
    Decomposing Verification of Timed I/O Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:84-101 [Conf]
  51. Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch
    Mechanical Translation of I/O Automaton Specifications into First-Order Logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:364-368 [Conf]
  52. Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
    Correctness of At-Most-Once Message Delivery Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:385-400 [Conf]
  53. Carolos Livadas, Nancy A. Lynch
    A Formal Venture into Reliable Multicast Territory. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:146-161 [Conf]
  54. Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch
    Verifying timing properties of concurrent algorithms. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:259-273 [Conf]
  55. Nancy A. Lynch
    Proving performance propterties (even probabilistic ones). [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:3-20 [Conf]
  56. Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
    Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:29-44 [Conf]
  57. Nancy A. Lynch, Alexander A. Shvartsman
    Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts. [Citation Graph (0, 0)][DBLP]
    FTCS, 1997, pp:272-281 [Conf]
  58. Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
    Proving Correctness of a Controller Algorithm for the RAID Level 5 System. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:16-25 [Conf]
  59. Michael J. Fischer, Nancy A. Lynch, Michael Merritt
    Easy Impossibility Proofs for Distributed Consensus Problems. [Citation Graph (0, 0)][DBLP]
    Fault-Tolerant Distributed Computing, 1986, pp:147-170 [Conf]
  60. Barbara Simons, Jennifer L. Welch, Nancy A. Lynch
    An Overview of Clock Synchronization. [Citation Graph (0, 0)][DBLP]
    Fault-Tolerant Distributed Computing, 1986, pp:84-96 [Conf]
  61. Michael S. Branicky, Ekaterina Dolginova, Nancy A. Lynch
    A Toolbox for Proving and Maintaining Hybrid Specifications. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1996, pp:18-30 [Conf]
  62. Ekaterina Dolginova, Nancy A. Lynch
    Safety Verification for Automated Platoon Maneuvers: A Case Study. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:154-170 [Conf]
  63. Sayan Mitra, Nancy A. Lynch, Daniel Liberzon
    Verifying Average Dwell Time by Solving Optimization Problems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:476-490 [Conf]
  64. Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron
    Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:343-358 [Conf]
  65. Carolos Livadas, Nancy A. Lynch
    Formal Verification of Safety-Critical Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:253-272 [Conf]
  66. John Lygeros, Nancy A. Lynch
    Strings of Vehicles: Modeling and Safety Conditions. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:273-288 [Conf]
  67. Nancy A. Lynch
    Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:449-463 [Conf]
  68. Nancy A. Lynch
    High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:3- [Conf]
  69. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Hybrid I/O Automata Revisited. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:403-417 [Conf]
  70. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
    Hybrid I/O Automata. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:496-510 [Conf]
  71. Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle
    Verification of Automated Vehicle Protection Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:101-113 [Conf]
  72. Shinya Umeno, Nancy A. Lynch
    Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:557-572 [Conf]
  73. Sayan Mitra, Nancy A. Lynch
    Trace-Based Semantics for Probabilistic Timed I/O Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:718-722 [Conf]
  74. Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
    Liveness in Timed and Untimed Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:166-177 [Conf]
  75. Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum
    The Impossibility of Boosting Distributed Service Resilience. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:39-48 [Conf]
  76. Alan Fekete, M. Frans Kaashoek, Nancy A. Lynch
    Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:439-449 [Conf]
  77. Michael J. Fischer, Leonidas J. Guibas, Nancy D. Griffeth, Nancy A. Lynch
    Optimal Placement of Identical Resources in a Distributed Network. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:324-336 [Conf]
  78. Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte
    Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2005, pp:42-48 [Conf]
  79. Alan Fekete, Nancy A. Lynch, William E. Weihl
    Hybrid Atomicity for Nested Transactions. [Citation Graph (0, 10)][DBLP]
    ICDT, 1992, pp:216-230 [Conf]
  80. Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
    An inheritance-based technique for building simulation proofs incrementally. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:478-487 [Conf]
  81. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Switched Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:494-510 [Conf]
  82. Nancy A. Lynch, Dahlia Malkhi, David Ratajczak
    Atomic Data Access in Distributed Hash Tables. [Citation Graph (0, 0)][DBLP]
    IPTPS, 2002, pp:295-305 [Conf]
  83. Jon M. Kleinberg, Hagit Attiya, Nancy A. Lynch
    Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    ISTCS, 1995, pp:258-267 [Conf]
  84. Nancy A. Lynch, Sergio Rajsbaum
    On the Borowsky-Gafni Simulation Algorithm. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1996, pp:4-15 [Conf]
  85. Rainer Gawlick, Nancy A. Lynch, Nir Shavit
    Concurrent Timestamping Made Simple. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1992, pp:171-183 [Conf]
  86. Kenneth J. Goldman, Nancy A. Lynch
    Modelling Shared State in a Shared Action Model [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:450-463 [Conf]
  87. Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai
    Compiling IOA without Global Synchronization. [Citation Graph (0, 0)][DBLP]
    NCA, 2004, pp:121-130 [Conf]
  88. Rui Fan, Indraneel Chakraborty, Nancy A. Lynch
    Clock Synchronization for Wireless Networks. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2004, pp:400-414 [Conf]
  89. Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch
    Totally Ordered Multicast with Bounded Delays and Variable Rates. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2000, pp:143-162 [Conf]
  90. Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch
    A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2004, pp:299-315 [Conf]
  91. Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte
    Timed Virtual Stationary Automata for Mobile Networks. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2005, pp:130-145 [Conf]
  92. Paul C. Attie, Nancy A. Lynch
    Dynamic input/output automata, a formal model for dynamic systems. [Citation Graph (0, 0)][DBLP]
    PODC, 2001, pp:314-316 [Conf]
  93. Soma Chaudhuri, Rainer Gawlick, Nancy A. Lynch
    Designing Algorithms for Distributed Systems with Partially Synchronized Clocks. [Citation Graph (0, 0)][DBLP]
    PODC, 1993, pp:121-132 [Conf]
  94. Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch
    Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:378- [Conf]
  95. Michael J. Fischer, Nancy A. Lynch, Michael Merritt
    Easy Impossibility Proofs for Distributed Consensus Problems. [Citation Graph (0, 0)][DBLP]
    PODC, 1985, pp:59-70 [Conf]
  96. Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
    Brief announcement: virtual mobile nodes for mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:385- [Conf]
  97. Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte
    Brief announcement: virtual stationary automata for mobile networks. [Citation Graph (0, 0)][DBLP]
    PODC, 2005, pp:323- [Conf]
  98. Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
    Eventually-Serializable Data Services. [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:300-309 [Conf]
  99. Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman
    Specifying and Using a Partitionable Group Communication Service. [Citation Graph (0, 0)][DBLP]
    PODC, 1997, pp:53-62 [Conf]
  100. Rui Fan, Nancy A. Lynch
    Brief announcement: efficient replication of large data objects. [Citation Graph (0, 0)][DBLP]
    PODC, 2003, pp:335- [Conf]
  101. Rui Fan, Nancy A. Lynch
    Gradient clock synchronization. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:320-327 [Conf]
  102. Rui Fan, Nancy A. Lynch
    An Omega (n log n) lower bound on the cost of mutual exclusion. [Citation Graph (0, 0)][DBLP]
    PODC, 2006, pp:275-284 [Conf]
  103. Nancy A. Lynch
    Implementing atomic objects in a dynamic environment. [Citation Graph (0, 0)][DBLP]
    PODC, 2001, pp:16- [Conf]
  104. Nancy A. Lynch
    Working with mike on distributed computing theory, 1978--1992. [Citation Graph (0, 0)][DBLP]
    PODC, 2003, pp:11- [Conf]
  105. Nancy A. Lynch
    A Hundred Impossibility Proofs for Distributed Computing. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:1-28 [Conf]
  106. Nancy A. Lynch, Hagit Attiya
    Using Mappings to Prove Timing Properties. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:265-280 [Conf]
  107. Nancy A. Lynch, Yishay Mansour, Alan Fekete
    Data Link Layer: Two Impossibility Results. [Citation Graph (0, 0)][DBLP]
    PODC, 1988, pp:149-170 [Conf]
  108. Nancy A. Lynch, Sergio Rajsbaum
    On the Borowsky-Gafni Simulation Algorithm (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:57- [Conf]
  109. Nancy A. Lynch, Isaac Saias, Roberto Segala
    Proving Time Bounds for Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:314-323 [Conf]
  110. Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou
    Counting Networks are Practically Linearizable. [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:280-289 [Conf]
  111. Roberto De Prisco, Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman
    A Dynamic View-Oriented Group Communication Service. [Citation Graph (0, 0)][DBLP]
    PODC, 1998, pp:227-236 [Conf]
  112. George Varghese, Nancy A. Lynch
    A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. [Citation Graph (0, 0)][DBLP]
    PODC, 1992, pp:241-250 [Conf]
  113. Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch
    A Lattice-Structured Proof of a Minimum Spanning. [Citation Graph (0, 0)][DBLP]
    PODC, 1988, pp:28-43 [Conf]
  114. Nancy A. Lynch
    Concurrency Control for Resilient Nested Transactions. [Citation Graph (0, 6)][DBLP]
    PODS, 1983, pp:166-181 [Conf]
  115. Nancy A. Lynch
    Multivalued Possibilities Mappings. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:519-543 [Conf]
  116. Nancy A. Lynch
    Simulation Techniques for Proving Properties of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:375-424 [Conf]
  117. Nancy A. Lynch, Frits W. Vaandrager
    Forward and Backward Simulations for Timing-Based Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:397-446 [Conf]
  118. Hagit Attiya, Nancy A. Lynch
    Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1989, pp:268-284 [Conf]
  119. Constance L. Heitmeyer, Nancy A. Lynch
    The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1994, pp:120-131 [Conf]
  120. Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RTSS, 2003, pp:166-177 [Conf]
  121. Carolos Livadas, John Lygeros, Nancy A. Lynch
    High-Level Modeling and Analysis of TCAS. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:115-125 [Conf]
  122. Nancy A. Lynch, Nir Shavit
    Timing-Based Mutual Exclusion. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1992, pp:2-11 [Conf]
  123. Henri B. Weinberg, Nancy A. Lynch
    Correctness of vehicle control systems-a case study. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1996, pp:62-72 [Conf]
  124. Nancy A. Lynch, Michael J. Fischer
    On Describing the Behavior and Implementation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:147-172 [Conf]
  125. Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
    Reaching Approximate Agreement in the Presence of Faults. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliability in Distributed Software and Database Systems, 1983, pp:145-154 [Conf]
  126. Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte
    Self-stabilizing Mobile Node Location Management and Message Routing. [Citation Graph (0, 0)][DBLP]
    Self-Stabilizing Systems, 2005, pp:96-112 [Conf]
  127. Eshrat Arjomandi, Michael J. Fischer, Nancy A. Lynch
    A Difference in Efficiency between Synchronous and Asynchronous Systems [Citation Graph (0, 0)][DBLP]
    STOC, 1981, pp:128-132 [Conf]
  128. Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
    Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty [Citation Graph (0, 0)][DBLP]
    STOC, 1991, pp:359-369 [Conf]
  129. Greg N. Frederickson, Nancy A. Lynch
    The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:493-503 [Conf]
  130. Seymour Ginsburg, Nancy A. Lynch
    Comparative Complexity of Grammar Forms [Citation Graph (0, 0)][DBLP]
    STOC, 1975, pp:153-158 [Conf]
  131. Richard E. Ladner, Nancy A. Lynch, Alan L. Selman
    Comparisons of Polynomial-Time Reducibilities [Citation Graph (0, 0)][DBLP]
    STOC, 1974, pp:110-121 [Conf]
  132. Nancy A. Lynch
    Straight-Line Program Length as a Parameter for Complexity Measures [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:150-161 [Conf]
  133. Nancy A. Lynch
    Fast Allocation of Nearby Resources in a Distributed System [Citation Graph (0, 0)][DBLP]
    STOC, 1980, pp:70-81 [Conf]
  134. Nancy A. Lynch, Edward K. Blum
    Efficient Reducibility Between Programming Systems: Preliminary Report [Citation Graph (0, 0)][DBLP]
    STOC, 1977, pp:228-238 [Conf]
  135. Nancy A. Lynch, Albert R. Meyer, Michael J. Fischer
    Sets that Don't Help [Citation Graph (0, 0)][DBLP]
    STOC, 1973, pp:130-134 [Conf]
  136. Jason Hickey, Nancy A. Lynch, Robbert van Renesse
    Specifications and Proofs for Ensemble Layers. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:119-133 [Conf]
  137. Henrik Ejersbo Jensen, Nancy A. Lynch
    A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:409-423 [Conf]
  138. Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
    Using Simulated Execution in Verifying Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:283-297 [Conf]
  139. Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch
    Early-Delivery Dynamic Atomic Broadcast. [Citation Graph (0, 0)][DBLP]
    DISC, 2002, pp:1-16 [Conf]
  140. Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber
    Proving Atomicity: An Assertional Approach. [Citation Graph (0, 0)][DBLP]
    DISC, 2005, pp:152-168 [Conf]
  141. Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
    Virtual Mobile Nodes for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    DISC, 2004, pp:230-244 [Conf]
  142. Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch
    GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    DISC, 2003, pp:306-320 [Conf]
  143. Rui Fan, Nancy A. Lynch
    Efficient Replication of Large Data Objects. [Citation Graph (0, 0)][DBLP]
    DISC, 2003, pp:75-91 [Conf]
  144. Alan Fekete, Nancy A. Lynch, Liuba Shrira
    A Modular Proof of Correctness for a Network Synchronizer (Research Summary). [Citation Graph (0, 0)][DBLP]
    WDAG, 1987, pp:219-256 [Conf]
  145. Roger Khazan, Alan Fekete, Nancy A. Lynch
    Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:258-272 [Conf]
  146. Roberto De Prisco, Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman
    A Dynamic Primary Configuration Group Communication Service. [Citation Graph (0, 0)][DBLP]
    DISC, 1999, pp:64-78 [Conf]
  147. Anna Pogosyants, Roberto Segala, Nancy A. Lynch
    Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:22-36 [Conf]
  148. Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch
    Revisiting the Paxos Algorithm. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:111-125 [Conf]
  149. Nancy A. Lynch
    In Memory of Anna Pogosyants. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:20-21 [Conf]
  150. Nancy A. Lynch, Alexander A. Shvartsman
    RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks. [Citation Graph (0, 0)][DBLP]
    DISC, 2002, pp:173-190 [Conf]
  151. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
    Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:238-253 [Conf]
  152. Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch
    GeoQuorums: implementing atomic memory in mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2005, v:18, n:2, pp:125-155 [Journal]
  153. Rui Fan, Nancy A. Lynch
    Gradient clock synchronization. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2006, v:18, n:4, pp:255-266 [Journal]
  154. Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum
    The BG distributed simulation algorithm. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2001, v:14, n:3, pp:127-146 [Journal]
  155. Michael J. Fischer, Nancy A. Lynch, Michael Merritt
    Easy Impossibility Proofs for Distributed Consensus Problems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:1, pp:26-39 [Journal]
  156. Nancy A. Lynch
    Some perspectives on PODC. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2003, v:16, n:2-3, pp:71-74 [Journal]
  157. Nancy A. Lynch, Hagit Attiya
    Using Mappings to Prove Timing Properties. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:6, n:2, pp:121-139 [Journal]
  158. Anna Pogosyants, Roberto Segala, Nancy A. Lynch
    Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2000, v:13, n:3, pp:155-186 [Journal]
  159. Jennifer L. Welch, Nancy A. Lynch
    A Modular Drinking Philosophers Algorithm. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:6, n:4, pp:233-244 [Journal]
  160. Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch
    Testing Self-Similar Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:67-82 [Journal]
  161. Nancy A. Lynch, Roberto Segala
    A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:3, pp:231-265 [Journal]
  162. Nancy A. Lynch, Frits W. Vaandrager
    Action Transducers and Timed Automata. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:499-538 [Journal]
  163. Hagit Attiya, Nancy A. Lynch
    Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:1, pp:183-232 [Journal]
  164. James E. Burns, Nancy A. Lynch
    Bounds on Shared Memory for Mutual Exclusion [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:107, n:2, pp:171-184 [Journal]
  165. Danny Dolev, Michael J. Fischer, Rob Fowler, Nancy A. Lynch, H. Raymond Strong
    An Efficient Algorithm for Byzantine Agreement without Authentication [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:52, n:3, pp:257-274 [Journal]
  166. Michael J. Fischer, Nancy D. Griffeth, Leonidas J. Guibas, Nancy A. Lynch
    Optimal Placement of Identical Resources in a Tree [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:96, n:1, pp:1-54 [Journal]
  167. Jennifer Lundelius, Nancy A. Lynch
    An Upper and Lower Bound for Clock Synchronization [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:62, n:2/3, pp:190-204 [Journal]
  168. Nancy A. Lynch, Eugene W. Stark
    A Proof of the Kahn Principle for Input/Output Automata [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:82, n:1, pp:81-92 [Journal]
  169. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Hybrid I/O automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:185, n:1, pp:105-157 [Journal]
  170. Nancy A. Lynch, Frits W. Vaandrager
    Forward and Backward Simulations: I. Untimed Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:121, n:2, pp:214-233 [Journal]
  171. Nancy A. Lynch, Frits W. Vaandrager
    Forward and Backward Simulations, II: Timing-Based Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:128, n:1, pp:1-25 [Journal]
  172. Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
    Liveness in Timed and Untimed Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:141, n:2, pp:119-171 [Journal]
  173. George Varghese, Nancy A. Lynch
    A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:128, n:1, pp:57-71 [Journal]
  174. Jennifer L. Welch, Nancy A. Lynch
    A New Fault-Tolerance Algorithm for Clock Synchronization [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:77, n:1, pp:1-36 [Journal]
  175. Allan Borodin, Leonidas J. Guibas, Nancy A. Lynch, Andrew Chi-Chih Yao
    Efficient Searching Using Partial Ordering. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1981, v:12, n:2, pp:71-75 [Journal]
  176. Eshrat Arjomandi, Michael J. Fischer, Nancy A. Lynch
    Efficiency of Synchronous Versus Asynchronous Distributed Systems [Citation Graph (0, 0)][DBLP]
    J. ACM, 1983, v:30, n:3, pp:449-456 [Journal]
  177. Yehuda Afek, Hagit Attiya, Alan Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Da-Wei Wang, Lenore D. Zuck
    Reliable Communication Over Unreliable Channels. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:6, pp:1267-1297 [Journal]
  178. Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
    Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:1, pp:122-152 [Journal]
  179. Hagit Attiya, Nancy A. Lynch, Nir Shavit
    Are Wait-Free Algorithms Fast? [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:4, pp:725-763 [Journal]
  180. James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson
    Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1982, v:29, n:1, pp:183-205 [Journal]
  181. Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
    Tight bounds for k-set agreement. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:5, pp:912-943 [Journal]
  182. Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
    Reaching approximate agreement in the presence of faults. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1986, v:33, n:3, pp:499-516 [Journal]
  183. Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
    Consensus in the presence of partial synchrony. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1988, v:35, n:2, pp:288-323 [Journal]
  184. Alan Fekete, M. Frans Kaashoek, Nancy A. Lynch
    Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1998, v:45, n:1, pp:35-69 [Journal]
  185. Alan Fekete, Nancy A. Lynch, Yishay Mansour, John Spinelli
    The Impossibility of Implementing Reliable Communication in the Face of Crashes. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:5, pp:1087-1107 [Journal]
  186. Greg N. Frederickson, Nancy A. Lynch
    Electing a leader in a synchronous ring. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1987, v:34, n:1, pp:98-115 [Journal]
  187. Seymour Ginsburg, Nancy A. Lynch
    Size complexity in context-free grammars forms. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1976, v:23, n:4, pp:582-598 [Journal]
  188. Nancy A. Lynch
    On Reducibility to Complex or Sparse Sets. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1975, v:22, n:3, pp:341-345 [Journal]
  189. Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa
    A Time-Space Tradeoff for Sorting on Non-Oblivious Machines. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1981, v:22, n:3, pp:351-364 [Journal]
  190. Nancy A. Lynch
    Approximations to the Halting Problem. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1974, v:9, n:2, pp:143-150 [Journal]
  191. Nancy A. Lynch
    Complexity-Class-Encoding Sets. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1976, v:13, n:1, pp:100-118 [Journal]
  192. Nancy A. Lynch
    Straight-Line Program Length as a Parameter for Complexity Analysis. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1980, v:21, n:3, pp:251-280 [Journal]
  193. Nancy A. Lynch
    Upper Bounds for Static Resource Allocation in a Distributed System. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1981, v:23, n:2, pp:254-278 [Journal]
  194. Nancy A. Lynch
    Accessibility of Values as a Determinant of Relative Complexity in Algebras. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:24, n:1, pp:101-113 [Journal]
  195. Nancy A. Lynch, Michael J. Fischer
    A Technique for Decomposing Algorithms Which Use a Single Shared Variable. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:3, pp:350-377 [Journal]
  196. Nancy A. Lynch
    "Helping": Several Formalizations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:4, pp:555-566 [Journal]
  197. Richard E. Ladner, Nancy A. Lynch
    Relativization of Questions About Log Space Computability. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1976, v:10, n:, pp:19-32 [Journal]
  198. Nancy A. Lynch, Edward K. Blum
    A Difference in Expressive Power Between Flowcharts and Recursion Schemes. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1979, v:12, n:, pp:205-211 [Journal]
  199. Nancy A. Lynch, Edward K. Blum
    Relative Complexity of Operations on Numeric and Bit-String Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1980, v:13, n:, pp:187-207 [Journal]
  200. Nancy A. Lynch, Edward K. Blum
    Relative Complexity of Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1981, v:14, n:, pp:193-214 [Journal]
  201. Roberto Segala, Nancy A. Lynch
    Probabilistic Simulations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:250-273 [Journal]
  202. Seymour Ginsburg, Nancy A. Lynch
    Derivation Complexity in Context-Free Grammar Forms. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:1, pp:123-138 [Journal]
  203. Nancy A. Lynch, Richard J. Lipton
    On Structure Preserving Reductions. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1978, v:7, n:2, pp:119-126 [Journal]
  204. Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
    Using simulated execution in verifying distributed algorithms. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:67-76 [Journal]
  205. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Switched PIOA: Parallel composition via distributed scheduling. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:83-108 [Journal]
  206. Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
    Eventually-Serializable Data Services. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:220, n:1, pp:113-156 [Journal]
  207. Alan Fekete, Nancy A. Lynch, William E. Weihl
    Hybrid Atomicity for Nested Transactions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:1, pp:151-178 [Journal]
  208. Richard E. Ladner, Nancy A. Lynch, Alan L. Selman
    A Comparison of Polynomial Time Reducibilities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1975, v:1, n:2, pp:103-123 [Journal]
  209. Nancy A. Lynch
    Log Space Machines with Multiple Oracle Tapes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1978, v:6, n:, pp:25-39 [Journal]
  210. Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou
    Timing Conditions for Linearizability in Uniform Counting Networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:220, n:1, pp:67-91 [Journal]
  211. Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch
    Revisiting the PAXOS algorithm. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:243, n:1-2, pp:35-91 [Journal]
  212. Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman
    Specifying and using a partitionable group communication service. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 2001, v:19, n:2, pp:171-216 [Journal]
  213. Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin
    Distributed FIFO Allocation of Identical Resources Using Small Shared Space. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1989, v:11, n:1, pp:90-114 [Journal]
  214. Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
    An inheritance-based technique for building simulation proofs incrementally. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:1, pp:63-91 [Journal]
  215. Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch
    The DHCP Failover Protocol: A Formal Perspective. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:211-226 [Conf]
  216. Tina Nolte, Nancy A. Lynch
    A Virtual Node-Based Tracking Algorithm for Mobile Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2007, pp:1- [Conf]
  217. Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
    Specifying and proving properties of timed I/O automata in the TIOA toolkit. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:129-138 [Conf]
  218. Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport
    On the weakest failure detector ever. [Citation Graph (0, 0)][DBLP]
    PODC, 2007, pp:235-243 [Conf]
  219. Rachid Guerraoui, Nancy A. Lynch
    A General Characterization of Indulgence. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:16-34 [Conf]
  220. Tina Nolte, Nancy A. Lynch
    Self-stabilization and Virtual Node Layer Emulations. [Citation Graph (0, 0)][DBLP]
    SSS, 2007, pp:394-408 [Conf]
  221. Nancy A. Lynch
    Distributed computing theory: algorithms, impossibility results, models, and proofs. [Citation Graph (0, 0)][DBLP]
    STOC, 2007, pp:247- [Conf]
  222. Nancy A. Lynch
    DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982. [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:505- [Conf]
  223. Sayan Mitra, Nancy A. Lynch
    Proving Approximate Implementations for Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:71-93 [Journal]
  224. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Observing Branching Structure through Probabilistic Contexts. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2007, v:37, n:4, pp:977-1013 [Journal]

  225. Modeling Computational Security in Long-Lived Systems. [Citation Graph (, )][DBLP]


  226. Modeling Radio Networks. [Citation Graph (, )][DBLP]


  227. Compositional Security for Task-PIOAs. [Citation Graph (, )][DBLP]


  228. Decomposing broadcast algorithms using abstract MAC layers. [Citation Graph (, )][DBLP]


  229. Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. [Citation Graph (, )][DBLP]


  230. Virtual infrastructure for collision-prone wireless networks. [Citation Graph (, )][DBLP]


  231. Brief announcement: hardness of broadcasting in wireless networks with unreliable communication. [Citation Graph (, )][DBLP]


  232. Brief announcement: minimum spanning trees and cone-based topology control. [Citation Graph (, )][DBLP]


  233. Broadcasting in unreliable radio networks. [Citation Graph (, )][DBLP]


  234. Self-stabilizing Mobile Robot Formations with Virtual Nodes. [Citation Graph (, )][DBLP]


  235. Distributed computation in dynamic networks. [Citation Graph (, )][DBLP]


  236. Keeping Mobile Robot Swarms Connected. [Citation Graph (, )][DBLP]


  237. The Abstract MAC Layer. [Citation Graph (, )][DBLP]


  238. Connectivity Service for Mobile Ad-Hoc Networks. [Citation Graph (, )][DBLP]


  239. Consensus and collision detectors in radio networks. [Citation Graph (, )][DBLP]


  240. On the weakest failure detector ever. [Citation Graph (, )][DBLP]


Search in 0.237secs, Finished in 0.244secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002