| 2023 | SIROCCO | Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback. | Nancy A. Lynch, Frederik Mallmann-Trenn |
| 2021 | SSS | Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration. | Jiajia Zhao, Lili Su, Nancy A. Lynch |
| 2020 | LATIN | How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. | Bertie Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn |
| 2020 | SPAA | Self-Stabilizing Task Allocation In Spite of Noise. | Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik Pajak, Tsvetomira Radeva |
| 2019 | ICDCS | ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage. | Nicolas C. Nicolaou, Viveck R. Cadambe, N. Prakash, Kishori M. Konwar, Muriel Mdard, Nancy A. Lynch |
| 2019 | OPODIS | Fast Lean Erasure-Coded Atomic Memory Object. | Kishori M. Konwar, N. Prakash, Muriel Mdard, Nancy A. Lynch |
| 2019 | PODC | 2019 Principles of Distributed Computing Doctoral Dissertation Award. | Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid |
| 2019 | SIGMETRICS | Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. | Lili Su, Martin Zubeldia, Nancy A. Lynch |
| 2019 | SIROCCO | How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. | Bertie Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn |
| 2018 | OPODIS | On Simple Back-Off in Unreliable Radio Networks. | Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak |
| 2017 | PODC | A Layered Architecture for Erasure-Coded Consistent Distributed Storage. | Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Mdard |
| 2017 | SSS | Ant-Inspired Dynamic Task Allocation via Gossiping. | Hsin-Hao Su, Lili Su, Anna R. Dornhaus, Nancy A. Lynch |
| 2016 | OPODIS | RADON: Repairable Atomic Data Object in Networks. | Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Mdard |
| 2016 | PODC | Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. | Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch |
| 2016 | PODC | Ant-Inspired Density Estimation via Random Walks: Extended Abstract. | Cameron Musco, Hsin-Hao Su, Nancy A. Lynch |
| 2015 | PODC | Distributed House-Hunting in Ant Colonies. | Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch |
| 2015 | PODC | A Local Broadcast Layer for the SINR Network Model. | Magns M. Halldrsson, Stephan Holzer, Nancy A. Lynch |
| 2015 | PODC | A (Truly) Local Broadcast Layer for Unreliable Radio Networks. | Nancy A. Lynch, Calvin Newport |
| 2014 | NCA | A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. | Viveck R. Cadambe, Nancy A. Lynch, Muriel Mdard, Peter M. Musial |
| 2014 | PODC | Multi-message broadcast with abstract MAC layers and unreliable links. | Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport |
| 2014 | PODC | Trade-offs between selection complexity and performance when searching the plane without communication. | Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva |
| 2013 | LICS | Timed and Probabilistic I/O Automata. | Nancy A. Lynch |
| 2013 | PODC | The cost of radio network broadcast for different models of unreliable links. | Mohsen Ghaffari, Nancy A. Lynch, Calvin C. Newport |
| 2013 | PODC | Athena lecture: distributed computing theory for wireless networks and mobile systems. | Nancy A. Lynch |
| 2012 | PODC | Asynchronous failure detectors. | Alejandro Cornejo, Nancy A. Lynch, Srikanth Sastry |
| 2011 | NCA | Engineering the Virtual Node Layer for Reactive MANET Routing. | Jiang Wu, Nancy D. Griffeth, Calvin C. Newport, Nancy A. Lynch |
| 2011 | PODC | Structuring unreliable radio networks. | Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport |
| 2011 | PODC | Partial reversal acyclicity. | Tsvetomira Radeva, Nancy A. Lynch |
| 2011 | PRIMA | Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration. | Mikhail Volkov, Alejandro Cornejo, Nancy A. Lynch, Daniela Rus |
| 2010 | ICECCS | Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. | Shinya Umeno, Nancy A. Lynch |
| 2010 | OPODIS | Reliably Detecting Connectivity Using Local Graph Traits. | Alejandro Cornejo, Nancy A. Lynch |
| 2010 | PODC | Broadcasting in unreliable radio networks. | Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport, Rotem Oshman, Andra W. Richa |
| 2010 | STOC | Distributed computation in dynamic networks. | Fabian Kuhn, Nancy A. Lynch, Rotem Oshman |
| 2009 | CONCUR | Modeling Radio Networks. | Calvin C. Newport, Nancy A. Lynch |
| 2009 | NCA | Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. | Jiang Wu, Nancy D. Griffeth, Nancy A. Lynch, Calvin C. Newport, Ralph E. Droms |
| 2009 | PODC | Brief announcement: minimum spanning trees and cone-based topology control. | Alejandro Cornejo, Nancy A. Lynch |
| 2009 | PODC | Brief announcement: hardness of broadcasting in wireless networks with unreliable communication. | Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport |
| 2008 | CONCUR | Modeling Computational Security in Long-Lived Systems. | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
| 2008 | PODC | Virtual infrastructure for collision-prone wireless networks. | Gregory V. Chockler, Seth Gilbert, Nancy A. Lynch |
| 2008 | SSS | Self-stabilizing Mobile Robot Formations with Virtual Nodes. | Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte |
| 2007 | FORTE | The DHCP Failover Protocol: A Formal Perspective. | Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch |
| 2007 | ICDCS | A Virtual Node-Based Tracking Algorithm for Mobile Networks. | Tina Nolte, Nancy A. Lynch |
| 2007 | PODC | On the weakest failure detector ever. | Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport |
| 2007 | STOC | Distributed computing theory: algorithms, impossibility results, models, and proofs. | Nancy A. Lynch |
| 2007 | SSS | Self-stabilization and Virtual Node Layer Emulations. | Tina Nolte, Nancy A. Lynch |
| 2006 | FM | Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. | Shinya Umeno, Nancy A. Lynch |
| 2006 | MEMOCODE | Specifying and proving properties of timed I/O automata in the TIOA toolkit. | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno |
| 2006 | PODC | An Omega ( | Rui Fan, Nancy A. Lynch |
| 2006 | SSS | A General Characterization of Indulgence. | Rachid Guerraoui, Nancy A. Lynch |
| 2005 | ICDCS | The Impossibility of Boosting Distributed Service Resilience. | Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum |
| 2005 | OPODIS | Timed Virtual Stationary Automata for Mobile Networks. | Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte |
| 2005 | PODC | Brief announcement: virtual stationary automata for mobile networks. | Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte |
| 2005 | SSS | Self-stabilizing Mobile Node Location Management and Message Routing. | Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte |
| 2004 | ICTAC | Switched Probabilistic I/O Automata. | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2004 | NCA | Compiling IOA without Global Synchronization. | Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai |
| 2004 | OPODIS | A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. | Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch |
| 2004 | OPODIS | Clock Synchronization for Wireless Networks. | Rui Fan, Indraneel Chakraborty, Nancy A. Lynch |
| 2004 | PODC | Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. | Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch |
| 2004 | PODC | Brief announcement: virtual mobile nodes for mobile ad hoc networks. | Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch |
| 2004 | PODC | Gradient clock synchronization. | Rui Fan, Nancy A. Lynch |
| 2003 | CONCUR | Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... | Nancy A. Lynch |
| 2003 | CONCUR | Compositionality for Probabilistic Automata. | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | DSN | RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. | Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman |
| 2003 | PODC | Brief announcement: efficient replication of large data objects. | Rui Fan, Nancy A. Lynch |
| 2003 | PODC | Working with mike on distributed computing theory, 1978--1992. | Nancy A. Lynch |
| 2003 | RTSS | Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | VMCAI | Using Simulated Execution in Verifying Distributed Algorithms. | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
| 2002 | FORTE | Mechanical Translation of I/O Automaton Specifications into First-Order Logic. | Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch |
| 2002 | FORTE | A Formal Venture into Reliable Multicast Territory. | Carolos Livadas, Nancy A. Lynch |
| 2001 | CONCUR | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. | Paul C. Attie, Nancy A. Lynch |
| 2001 | PODC | Dynamic input/output automata, a formal model for dynamic systems. | Paul C. Attie, Nancy A. Lynch |
| 2001 | PODC | Implementing atomic objects in a dynamic environment. | Nancy A. Lynch |
| 2000 | ICSE | An inheritance-based technique for building simulation proofs incrementally. | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
| 2000 | OPODIS | Totally Ordered Multicast with Bounded Delays and Variable Rates. | Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch |
| 1999 | RTSS | High-Level Modeling and Analysis of TCAS. | Carolos Livadas, John Lygeros, Nancy A. Lynch |
| 1999 | TACAS | Specifications and Proofs for Ensemble Layers. | Jason Hickey, Nancy A. Lynch, Robbert van Renesse |
| 1998 | PODC | A Dynamic View-Oriented Group Communication Service. | Roberto De Prisco, Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman |
| 1998 | TACAS | A Proof of Burns | Henrik Ejersbo Jensen, Nancy A. Lynch |
| 1997 | PODC | Specifying and Using a Partitionable Group Communication Service. | Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman |
| 1996 | FORTE | Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
| 1996 | PODC | Eventually-Serializable Data Services. | Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman |
| 1996 | PODC | On the Borowsky-Gafni Simulation Algorithm (Abstract). | Nancy A. Lynch, Sergio Rajsbaum |
| 1996 | PODC | Counting Networks are Practically Linearizable. | Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou |
| 1996 | RTSS | Correctness of vehicle control systems-a case study. | Henri B. Weinberg, Nancy A. Lynch |
| 1995 | ICDCS | Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. | Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch |
| 1994 | CONCUR | Probabilistic Simulations for Probabilistic Processes. | Roberto Segala, Nancy A. Lynch |
| 1994 | FORTE | Verifying timing properties of concurrent algorithms. | Victor Luchangco, Ekrem Sylemez, Stephen J. Garland, Nancy A. Lynch |
| 1994 | FORTE | Proving performance propterties (even probabilistic ones). | Nancy A. Lynch |
| 1994 | ICALP | Liveness in Timed and Untimed Systems. | Rainer Gawlick, Roberto Segala, Jrgen F. Sgaard-Andersen, Nancy A. Lynch |
| 1994 | PODC | Proving Time Bounds for Randomized Distributed Algorithms. | Nancy A. Lynch, Isaac Saias, Roberto Segala |
| 1994 | RTSS | The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. | Constance L. Heitmeyer, Nancy A. Lynch |
| 1993 | CAV | Computer-Assisted Simulation Proofs. | Jrgen F. Sgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
| 1993 | FOCS | A Tight Lower Bound for k-Set Agreement | Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle |
| 1993 | FORTE | Correctness of At-Most-Once Message Delivery Protocols. | Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen |
| 1993 | PODC | Designing Algorithms for Distributed Systems with Partially Synchronized Clocks. | Soma Chaudhuri, Rainer Gawlick, Nancy A. Lynch |
| 1992 | CONCUR | At-Most-Once Message Delivery. A Case Study in Algorithm Verification. | Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen |
| 1992 | CONCUR | Action Transducers and Timed Automata. | Frits W. Vaandrager, Nancy A. Lynch |
| 1992 | ICDT | Hybrid Atomicity for Nested Transactions. | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
| 1992 | PODC | A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. | George Varghese, Nancy A. Lynch |
| 1992 | RTSS | Timing-Based Mutual Exclusion. | Nancy A. Lynch, Nir Shavit |
| 1991 | STOC | Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty | Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer |
| 1990 | CONCUR | The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. | Alan D. Fekete, Nancy A. Lynch |
| 1990 | FOCS | Are Wait-Free Algorithms Fast? (Extended Abstract) | Hagit Attiya, Nancy A. Lynch, Nir Shavit |
| 1990 | LICS | Modelling Shared State in a Shared Action Model | Kenneth J. Goldman, Nancy A. Lynch |
| 1990 | PODC | Using Mappings to Prove Timing Properties. | Nancy A. Lynch, Hagit Attiya |
| 1990 | PODS | A Serialization Graph Construction for Nested Transactions. | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
| 1989 | PODC | A Hundred Impossibility Proofs for Distributed Computing. | Nancy A. Lynch |
| 1989 | RTSS | Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty. | Hagit Attiya, Nancy A. Lynch |
| 1988 | ICDCS | Reliable Broadcast in Networks with Nonprogrammable Servers. | Hector Garcia-Molina, Boris Kogan, Nancy A. Lynch |
| 1988 | ICDT | A Theory of Atomic Transactions. | Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete |
| 1988 | PODC | Data Link Layer: Two Impossibility Results. | Nancy A. Lynch, Yishay Mansour, Alan D. Fekete |
| 1988 | PODC | A Lattice-Structured Proof of a Minimum Spanning. | Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch |
| 1988 | VLDB | A Theory of Timestamp-Based Concurrency Control for Nested Transactions. | James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
| 1987 | PODC | Quorum Consensus in Nested Transaction Systems. | Kenneth J. Goldman, Nancy A. Lynch |
| 1987 | PODC | Hierarchical Correctness Proofs for Distributed Algorithms. | Nancy A. Lynch, Mark R. Tuttle |
| 1987 | PODS | Nested Transactions and Read/Write Locking. | Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
| 1986 | ICDT | Introduction to the Theory of Nested Transactions. | Nancy A. Lynch, Michael Merritt |
| 1986 | PODC | Correctness Conditions for Highly Available Replicated Databases. | Nancy A. Lynch, Barbara T. Blaustein, Michael D. Siegel |
| 1985 | PODC | Easy Impossibility Proofs for Distributed Consensus Problems. | Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
| 1984 | PODC | Consensus in the Presence of Partial Synchrony (Preliminary Version). | Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer |
| 1984 | PODC | A New Fault-Tolerant Algorithm for Clock Synchronization. | Jennifer Lundelius, Nancy A. Lynch |
| 1984 | STOC | The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring | Greg N. Frederickson, Nancy A. Lynch |
| 1983 | PODS | Impossibility of Distributed Consensus with One Faulty Process. | Michael J. Fischer, Nancy A. Lynch, Mike Paterson |
| 1983 | PODS | Concurrency Control for Resilient Nested Transactions. | Nancy A. Lynch |
| 1983 | SRDS | Reaching Approximate Agreement in the Presence of Faults. | Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl |
| 1982 | PODS | Multilevel Atomicity. | Nancy A. Lynch |
| 1982 | STOC | Cryptographic Protocols | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1981 | CRYPTO | The Design and Analysis of Cryptographic Protocols. | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1981 | ICDCS | Optimal Placement of Identical Resources in a Distributed Network. | Michael J. Fischer, Leonidas J. Guibas, Nancy D. Griffeth, Nancy A. Lynch |
| 1981 | STOC | A Difference in Efficiency between Synchronous and Asynchronous Systems | Eshrat Arjomandi, Michael J. Fischer, Nancy A. Lynch |
| 1980 | STOC | Fast Allocation of Nearby Resources in a Distributed System | Nancy A. Lynch |
| 1979 | FOCS | A Time-Space Tradeoff for Sorting on Non-Oblivious Machines | Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa |
| 1979 | FOCS | Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) | Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin |
| 1978 | STOC | Straight-Line Program Length as a Parameter for Complexity Measures | Nancy A. Lynch |
| 1977 | STOC | Efficient Reducibility Between Programming Systems: Preliminary Report | Nancy A. Lynch, Edward K. Blum |
| 1975 | STOC | Comparative Complexity of Grammar Forms | Seymour Ginsburg, Nancy A. Lynch |
| 1974 | STOC | Comparisons of Polynomial-Time Reducibilities | Richard E. Ladner, Nancy A. Lynch, Alan L. Selman |
| 1973 | STOC | Sets that Don't Help | Nancy A. Lynch, Albert R. Meyer, Michael J. Fischer |