Sets that Don't Help - Nancy A. Lynch; Albert R. Meyer; Michael J. Fischer (STOC, 1973)

Comparisons of Polynomial-Time Reducibilities - Richard E. Ladner; Nancy A. Lynch; Alan L. Selman (STOC, 1974)

Approximations to the Halting Problem. - Nancy A. Lynch (J. Comput. Syst. Sci., 1974)

Comparative Complexity of Grammar Forms - Seymour Ginsburg; Nancy A. Lynch (STOC, 1975)

On Reducibility to Complex or Sparse Sets. - Nancy A. Lynch (J. ACM, 1975)

"Helping": Several Formalizations. - Nancy A. Lynch (J. Symb. Log., 1975)

A quantifier characterization for nondeterministic log space. - Richard J. Lipton; Nancy A. Lynch (SIGACT News, 1975)

A Comparison of Polynomial Time Reducibilities. - Richard E. Ladner; Nancy A. Lynch; Alan L. Selman (Theor. Comput. Sci., 1975)

Size complexity in context-free grammars forms. - Seymour Ginsburg; Nancy A. Lynch (J. ACM, 1976)

Complexity-Class-Encoding Sets. - Nancy A. Lynch (J. Comput. Syst. Sci., 1976)

Relativization of Questions About Log Space Computability. - Richard E. Ladner; Nancy A. Lynch (Math. Syst. Theory, 1976)

Efficient Reducibility Between Programming Systems: Preliminary Report - Nancy A. Lynch; Edward K. Blum (STOC, 1977)

Log Space Recognition and Translation of Parenthesis Languages. - Nancy A. Lynch (J. ACM, 1977)

Derivation Complexity in Context-Free Grammar Forms. - Seymour Ginsburg; Nancy A. Lynch (SIAM J. Comput., 1977)

Straight-Line Program Length as a Parameter for Complexity Measures - Nancy A. Lynch (STOC, 1978)

On Structure Preserving Reductions. - Nancy A. Lynch; Richard J. Lipton (SIAM J. Comput., 1978)

Log Space Machines with Multiple Oracle Tapes. - Nancy A. Lynch (Theor. Comput. Sci., 1978)

Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) - Michael J. Fischer; Nancy A. Lynch; James E. Burns; Allan Borodin (FOCS, 1979)

A Difference in Expressive Power Between Flowcharts and Recursion Schemes. - Nancy A. Lynch; Edward K. Blum (Math. Syst. Theory, 1979)

A time-space tradeoff for sorting and related non-oblivious computations. - Allan Borodin; Michael J. Fischer; David G. Kirkpatrick; Nancy A. Lynch; Martin Tompa (SIGACT News, 1979)

Fast Allocation of Nearby Resources in a Distributed System - Nancy A. Lynch (STOC, 1980)

Straight-Line Program Length as a Parameter for Complexity Analysis. - Nancy A. Lynch (J. Comput. Syst. Sci., 1980)

Relative Complexity of Operations on Numeric and Bit-String Algebras. - Nancy A. Lynch; Edward K. Blum (Math. Syst. Theory, 1980)

The Design and Analysis of Cryptographic Protocols. - Richard A. DeMillo; Nancy A. Lynch; Michael Merritt (CRYPTO, 1981)

Optimal Placement of Identical Resources in a Distributed Network. - Michael J. Fischer; Leonidas J. Guibas; Nancy D. Griffeth; Nancy A. Lynch (ICDCS, 1981)

A Difference in Efficiency between Synchronous and Asynchronous Systems - Eshrat Arjomandi; Michael J. Fischer; Nancy A. Lynch (STOC, 1981)

Efficient Searching Using Partial Ordering. - Allan Borodin; Leonidas J. Guibas; Nancy A. Lynch; Andrew Chi-Chih Yao (Inf. Process. Lett., 1981)

A Time-Space Tradeoff for Sorting on Non-Oblivious Machines. - Allan Borodin; Michael J. Fischer; David G. Kirkpatrick; Nancy A. Lynch; Martin Tompa (J. Comput. Syst. Sci., 1981)

Upper Bounds for Static Resource Allocation in a Distributed System. - Nancy A. Lynch (J. Comput. Syst. Sci., 1981)

Relative Complexity of Algebras. - Nancy A. Lynch; Edward K. Blum (Math. Syst. Theory, 1981)

On Describing the Behavior and Implementation of Distributed Systems. - Nancy A. Lynch; Michael J. Fischer (Theor. Comput. Sci., 1981)

Multilevel Atomicity. - Nancy A. Lynch (PODS, 1982)

Cryptographic Protocols - Richard A. DeMillo; Nancy A. Lynch; Michael Merritt (STOC, 1982)

A Lower Bound for the Time to Assure Interactive Consistency. - Michael J. Fischer; Nancy A. Lynch (Inf. Process. Lett., 1982)

Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable. - James E. Burns; Paul Jackson; Nancy A. Lynch; Michael J. Fischer; Gary L. Peterson (J. ACM, 1982)

Accessibility of Values as a Determinant of Relative Complexity in Algebras. - Nancy A. Lynch (J. Comput. Syst. Sci., 1982)

Global States of a Distributed System. - Michael J. Fischer; Nancy D. Griffeth; Nancy A. Lynch (IEEE Trans. Software Eng., 1982)

An Efficient Algorithm for Byzantine Agreement without Authentication - Danny Dolev; Michael J. Fischer; Robert J. Fowler; Nancy A. Lynch; H. Raymond Strong (Inf. Control., 1982)

A Technique for Decomposing Algorithms Which Use a Single Shared Variable. - Nancy A. Lynch; Michael J. Fischer (J. Comput. Syst. Sci., 1983)

Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. - Nancy A. Lynch (ACM Trans. Database Syst., 1983)

Efficiency of Synchronous Versus Asynchronous Distributed Systems - Eshrat Arjomandi; Michael J. Fischer; Nancy A. Lynch (J. ACM, 1983)

Consensus in the Presence of Partial Synchrony (Preliminary Version). - Cynthia Dwork; Nancy A. Lynch; Larry J. Stockmeyer (PODC, 1984)

A New Fault-Tolerant Algorithm for Clock Synchronization. - Jennifer Lundelius; Nancy A. Lynch (PODC, 1984)

The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring - Greg N. Frederickson; Nancy A. Lynch (STOC, 1984)

An Upper and Lower Bound for Clock Synchronization - Jennifer Lundelius; Nancy A. Lynch (Inf. Control., 1984)

Impossibility of Distributed Consensus with One Faulty Process - Michael J. Fischer; Nancy A. Lynch; Mike Paterson (J. ACM, 1985)

An Overview of Clock Synchronization. - Barbara Simons; Jennifer L. Welch; Nancy A. Lynch (Fault-Tolerant Distributed Computing, 1986)

Correctness Conditions for Highly Available Replicated Databases. - Nancy A. Lynch; Barbara T. Blaustein; Michael D. Siegel (PODC, 1986)

Concurrency Control for Resilient Nested Transactions. - Nancy A. Lynch (Adv. Comput. Res., 1986)

Easy Impossibility Proofs for Distributed Consensus Problems. - Michael J. Fischer; Nancy A. Lynch; Michael Merritt (Distributed Comput., 1986)

Probabilistic Analysis of a Network Resource Allocation Algorithm - Nancy A. Lynch; Nancy D. Griffeth; Michael J. Fischer; Leonidas J. Guibas (Inf. Control., 1986)

Reaching approximate agreement in the presence of faults. - Danny Dolev; Nancy A. Lynch; Shlomit S. Pinter; Eugene W. Stark; William E. Weihl (J. ACM, 1986)

Hierarchical Correctness Proofs for Distributed Algorithms. - Nancy A. Lynch; Mark R. Tuttle (PODC, 1987)

Nested Transactions and Read/Write Locking. - Alan D. Fekete; Nancy A. Lynch; Michael Merritt; William E. Weihl (PODS, 1987)

A Modular Proof of Correctness for a Network Synchronizer (Research Summary). - Alan D. Fekete; Nancy A. Lynch; Liuba Shrira (WDAG, 1987)

Electing a leader in a synchronous ring. - Greg N. Frederickson; Nancy A. Lynch (J. ACM, 1987)

Discarding Obsolete Information in a Replicated Database System. - Sunil K. Sarin; Nancy A. Lynch (IEEE Trans. Software Eng., 1987)

Reliable Broadcast in Networks with Nonprogrammable Servers. - Hector Garcia-Molina; Boris Kogan; Nancy A. Lynch (ICDCS, 1988)

A Theory of Atomic Transactions. - Nancy A. Lynch; Michael Merritt; William E. Weihl; Alan D. Fekete (ICDT, 1988)

Data Link Layer: Two Impossibility Results. - Nancy A. Lynch; Yishay Mansour; Alan D. Fekete (PODC, 1988)

A Lattice-Structured Proof of a Minimum Spanning. - Jennifer L. Welch; Leslie Lamport; Nancy A. Lynch (PODC, 1988)

A Theory of Timestamp-Based Concurrency Control for Nested Transactions. - James Aspnes; Alan D. Fekete; Nancy A. Lynch; Michael Merritt; William E. Weihl (VLDB, 1988)

Consensus in the presence of partial synchrony. - Cynthia Dwork; Nancy A. Lynch; Larry J. Stockmeyer (J. ACM, 1988)

Introduction to the Theory of Nested Transactions. - Nancy A. Lynch; Michael Merritt (Theor. Comput. Sci., 1988)

A New Fault-Tolerance Algorithm for Clock Synchronization - Jennifer L. Welch; Nancy A. Lynch (Inf. Comput., 1988)

A Hundred Impossibility Proofs for Distributed Computing. - Nancy A. Lynch (PODC, 1989)

Multivalued Possibilities Mappings. - Nancy A. Lynch (REX Workshop, 1989)

Distributed FIFO Allocation of Identical Resources Using Small Shared Space. - Michael J. Fischer; Nancy A. Lynch; James E. Burns; Allan Borodin (ACM Trans. Program. Lang. Syst., 1989)

A Proof of the Kahn Principle for Input/Output Automata - Nancy A. Lynch; Eugene W. Stark (Inf. Comput., 1989)

Distributed Computing: Models and Methods. - Leslie Lamport; Nancy A. Lynch (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. - Alan D. Fekete; Nancy A. Lynch (CONCUR, 1990)

Are Wait-Free Algorithms Fast? (Extended Abstract) - Hagit Attiya; Nancy A. Lynch; Nir Shavit (FOCS, 1990)

Modelling Shared State in a Shared Action Model - Kenneth J. Goldman; Nancy A. Lynch (LICS, 1990)

A Serialization Graph Construction for Nested Transactions. - Alan D. Fekete; Nancy A. Lynch; William E. Weihl (PODS, 1990)

Commutativity-Based Locking for Nested Transactions. - Alan D. Fekete; Nancy A. Lynch; Michael Merritt; William E. Weihl (J. Comput. Syst. Sci., 1990)

Forward and Backward Simulations for Timing-Based Systems. - Nancy A. Lynch; Frits W. Vaandrager (REX Workshop, 1991)

At-Most-Once Message Delivery. A Case Study in Algorithm Verification. - Butler W. Lampson; Nancy A. Lynch; Jørgen F. Søgaard-Andersen (CONCUR, 1992)

Concurrent Timestamping Made Simple. - Rainer Gawlick; Nancy A. Lynch; Nir Shavit (ISTCS, 1992)

A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. - George Varghese; Nancy A. Lynch (PODC, 1992)

Timing-Based Mutual Exclusion. - Nancy A. Lynch; Nir Shavit (RTSS, 1992)

Using Mappings to Prove Timing Properties. - Nancy A. Lynch; Hagit Attiya (Distributed Comput., 1992)

On the Correctness of Orphan Management Algorithms. - Maurice Herlihy; Nancy A. Lynch; Michael Merritt; William E. Weihl (J. ACM, 1992)

Optimal Placement of Identical Resources in a Tree - Michael J. Fischer; Nancy D. Griffeth; Leonidas J. Guibas; Nancy A. Lynch (Inf. Comput., 1992)

Atomic Transactions - Nancy A. Lynch; Michael Merritt; William E. Weihl; Alan D. Fekete (Morgan Kaufmann, 1993)

Computer-Assisted Simulation Proofs. - Jørgen F. Søgaard-Andersen; Stephen J. Garland; John V. Guttag; Nancy A. Lynch; Anna Pogosyants (CAV, 1993)

A Tight Lower Bound for k-Set Agreement - Soma Chaudhuri; Maurice Herlihy; Nancy A. Lynch; Mark R. Tuttle (FOCS, 1993)

Correctness of At-Most-Once Message Delivery Protocols. - Butler W. Lampson; Nancy A. Lynch; Jørgen F. Søgaard-Andersen (FORTE, 1993)

Designing Algorithms for Distributed Systems with Partially Synchronized Clocks. - Soma Chaudhuri; Rainer Gawlick; Nancy A. Lynch (PODC, 1993)

Simulation Techniques for Proving Properties of Real-Time Systems. - Nancy A. Lynch (REX School/Symposium, 1993)

A Modular Drinking Philosophers Algorithm. - Jennifer L. Welch; Nancy A. Lynch (Distributed Comput., 1993)

The Impossibility of Implementing Reliable Communication in the Face of Crashes. - Alan D. Fekete; Nancy A. Lynch; Yishay Mansour; John Spinelli (J. ACM, 1993)

Bounds on Shared Memory for Mutual Exclusion - James E. Burns; Nancy A. Lynch (Inf. Comput., 1993)

Atomic Transactions for Multiprocessor Programming: A Formal Approach. - Nancy A. Lynch (Specification of Parallel Algorithms, 1994)

Verifying timing properties of concurrent algorithms. - Victor Luchangco; Ekrem Söylemez; Stephen J. Garland; Nancy A. Lynch (FORTE, 1994)

Proving performance propterties (even probabilistic ones). - Nancy A. Lynch (FORTE, 1994)

Proving Time Bounds for Randomized Distributed Algorithms. - Nancy A. Lynch; Isaac Saias; Roberto Segala (PODC, 1994)

The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. - Constance L. Heitmeyer; Nancy A. Lynch (RTSS, 1994)

Number of faults a system can withstand without repairs. - Michel X. Goemans; Nancy A. Lynch; Isaac Saias (CoRR, 1994)

Reliable Communication Over Unreliable Channels. - Yehuda Afek; Hagit Attiya; Alan D. Fekete; Michael J. Fischer; Nancy A. Lynch; Yishay Mansour; Da-Wei Wang 004; Lenore D. Zuck (J. ACM, 1994)

Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty. - Hagit Attiya; Cynthia Dwork; Nancy A. Lynch; Larry J. Stockmeyer (J. ACM, 1994)

Are Wait-Free Algorithms Fast? - Hagit Attiya; Nancy A. Lynch; Nir Shavit (J. ACM, 1994)

Quorum Consensus in Nested Transaction Systems. - Kenneth J. Goldman; Nancy A. Lynch (ACM Trans. Database Syst., 1994)

Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty - Hagit Attiya; Nancy A. Lynch (Inf. Comput., 1994)

A Tight Lower Bound for Processor Coordination. - Soma Chaudhuri; Maurice Herlihy; Nancy A. Lynch; Mark R. Tuttle (Responsive Computer Systems, 1995)

Proving Safety Properties of the Steam Boiler Controller. - Gunter Leeb; Nancy A. Lynch (Formal Methods for Industrial Applications, 1995)

Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. - Nancy A. Lynch (Hybrid Systems, 1995)

Hybrid I/O Automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager; Henri B. Weinberg (Hybrid Systems, 1995)

Verification of Automated Vehicle Protection Systems. - Henri B. Weinberg; Nancy A. Lynch; Norman M. Delisle (Hybrid Systems, 1995)

Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). - Jon M. Kleinberg; Hagit Attiya; Nancy A. Lynch (ISTCS, 1995)

A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. - Nancy A. Lynch; Roberto Segala (Formal Aspects Comput., 1995)

Probabilistic Simulations for Probabilistic Processes. - Roberto Segala; Nancy A. Lynch (Nord. J. Comput., 1995)

Hybrid Atomicity for Nested Transactions. - Alan D. Fekete; Nancy A. Lynch; William E. Weihl (Theor. Comput. Sci., 1995)

Forward and Backward Simulations: I. Untimed Systems - Nancy A. Lynch; Frits W. Vaandrager (Inf. Comput., 1995)

Distributed Algorithms - Nancy A. Lynch (Morgan Kaufmann, 1996)

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. - Tsvetomir P. Petrov; Anna Pogosyants; Stephen J. Garland; Victor Luchangco; Nancy A. Lynch (FORTE, 1996)

A Toolbox for Proving and Maintaining Hybrid Specifications. - Michael S. Branicky; Ekaterina Dolginova; Nancy A. Lynch (Hybrid Systems, 1996)

On the Borowsky-Gafni Simulation Algorithm. - Nancy A. Lynch; Sergio Rajsbaum (ISTCS, 1996)

On the Borowsky-Gafni Simulation Algorithm (Abstract). - Nancy A. Lynch; Sergio Rajsbaum (PODC, 1996)

Counting Networks are Practically Linearizable. - Nancy A. Lynch; Nir Shavit; Alexander A. Shvartsman; Dan Touitou (PODC, 1996)

Correctness of vehicle control systems-a case study. - Henri B. Weinberg; Nancy A. Lynch (RTSS, 1996)

Action Transducers and Timed Automata. - Nancy A. Lynch; Frits W. Vaandrager (Formal Aspects Comput., 1996)

Forward and Backward Simulations, II: Timing-Based Systems. - Nancy A. Lynch; Frits W. Vaandrager (Inf. Comput., 1996)

A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack. - George Varghese; Nancy A. Lynch (Inf. Comput., 1996)

Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts. - Nancy A. Lynch; Alexander A. Shvartsman (FTCS, 1997)

Safety Verification for Automated Platoon Maneuvers: A Case Study. - Ekaterina Dolginova; Nancy A. Lynch (HART, 1997)

In Memory of Anna Pogosyants. - Nancy A. Lynch (WDAG, 1997)

Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. - Anna Pogosyants; Roberto Segala; Nancy A. Lynch (WDAG, 1997)

Proving Correctness of a Controller Algorithm for the RAID Level 5 System. - Mandana Vaziri; Nancy A. Lynch; Jeannette M. Wing (FTCS, 1998)

Formal Verification of Safety-Critical Hybrid Systems. - Carolos Livadas; Nancy A. Lynch (HSCC, 1998)

Strings of Vehicles: Modeling and Safety Conditions. - John Lygeros; Nancy A. Lynch (HSCC, 1998)

A Dynamic View-Oriented Group Communication Service. - Roberto De Prisco; Alan D. Fekete; Nancy A. Lynch; Alexander A. Shvartsman (PODC, 1998)

A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. - Henrik Ejersbo Jensen; Nancy A. Lynch (TACAS, 1998)

Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service. - Roger Khazan; Alan D. Fekete; Nancy A. Lynch (DISC, 1998)

Liveness in Timed and Untimed Systems. - Roberto Segala; Rainer Gawlick; Jørgen F. Søgaard-Andersen; Nancy A. Lynch (Inf. Comput., 1998)

Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. - Alan D. Fekete; M. Frans Kaashoek; Nancy A. Lynch (J. ACM, 1998)

I/O Automaton Models and Proofs for Shared-Key Communication Systems. - Nancy A. Lynch (CSFW, 1999)

High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). - Nancy A. Lynch (HSCC, 1999)

High-Level Modeling and Analysis of TCAS. - Carolos Livadas; John Lygeros; Nancy A. Lynch (RTSS, 1999)

Specifications and Proofs for Ensemble Layers. - Jason Hickey; Nancy A. Lynch; Robbert van Renesse (TACAS, 1999)

A Dynamic Primary Configuration Group Communication Service. - Roberto De Prisco; Alan D. Fekete; Nancy A. Lynch; Alexander A. Shvartsman (DISC, 1999)

NSF workshop on a software research program for the 21st century. - Victor R. Basili; Laszlo A. Belady; Barry W. Boehm; Frederick P. Brooks Jr.; James Browne; Richard A. DeMillo; Stuart I. Feldman; Cordell Green; Butler W. Lampson; Duncan H. Lawrie; Nancy G. Leveson; Nancy A. Lynch; et al. (ACM SIGSOFT Softw. Eng. Notes, 1999)

Eventually-Serializable Data Services. - Alan D. Fekete; David Gupta; Victor Luchangco; Nancy A. Lynch; Alexander A. Shvartsman (Theor. Comput. Sci., 1999)

Timing Conditions for Linearizability in Uniform Counting Networks. - Nancy A. Lynch; Nir Shavit; Alexander A. Shvartsman; Dan Touitou (Theor. Comput. Sci., 1999)

On Formal Modeling of Agent Computations. - Tadashi Araragi; Paul C. Attie; Idit Keidar; Kiyoshi Kogure; Victor Luchangco; Nancy A. Lynch; Ken Mano (FAABS, 2000)

Totally Ordered Multicast with Bounded Delays and Variable Rates. - Ziv Bar-Joseph; Idit Keidar; Tal Anker; Nancy A. Lynch (OPODIS, 2000)

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. - Anna Pogosyants; Roberto Segala; Nancy A. Lynch (Distributed Comput., 2000)

Tight bounds for k-set agreement. - Soma Chaudhuri; Maurice Herlihy; Nancy A. Lynch; Mark R. Tuttle (J. ACM, 2000)

High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS). - Carolos Livadas; John Lygeros; Nancy A. Lynch (Proc. IEEE, 2000)

Revisiting the PAXOS algorithm. - Roberto De Prisco; Butler W. Lampson; Nancy A. Lynch (Theor. Comput. Sci., 2000)

Hybrid I/O Automata Revisited. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (HSCC, 2001)

Dynamic input/output automata, a formal model for dynamic systems. - Paul C. Attie; Nancy A. Lynch (PODC, 2001)

Implementing atomic objects in a dynamic environment. - Nancy A. Lynch (PODC, 2001)

The BG distributed simulation algorithm. - Elizabeth Borowsky; Eli Gafni; Nancy A. Lynch; Sergio Rajsbaum (Distributed Comput., 2001)

Specifying and using a partitionable group communication service. - Alan D. Fekete; Nancy A. Lynch; Alexander A. Shvartsman (ACM Trans. Comput. Syst., 2001)

Mechanical Translation of I/O Automaton Specifications into First-Order Logic. - Andrej Bogdanov; Stephen J. Garland; Nancy A. Lynch (FORTE, 2002)

A Formal Venture into Reliable Multicast Territory. - Carolos Livadas; Nancy A. Lynch (FORTE, 2002)

Atomic Data Access in Distributed Hash Tables. - Nancy A. Lynch; Dahlia Malkhi; David Ratajczak (IPTPS, 2002)

Early-Delivery Dynamic Atomic Broadcast. - Ziv Bar-Joseph; Idit Keidar; Nancy A. Lynch (DISC, 2002)

RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks. - Nancy A. Lynch; Alexander A. Shvartsman (DISC, 2002)

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. - Seth Gilbert; Nancy A. Lynch (SIGACT News, 2002)

An inheritance-based technique for building simulation proofs incrementally. - Idit Keidar; Roger Khazan; Nancy A. Lynch; Alexander A. Shvartsman (ACM Trans. Softw. Eng. Methodol., 2002)

Communication and Data Sharing for Dynamic Distributed Systems. - Nancy A. Lynch; Alexander A. Shvartsman (Future Directions in Distributed Computing, 2003)

Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... - Nancy A. Lynch (CONCUR, 2003)

Compositionality for Probabilistic Automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (CONCUR, 2003)

RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. - Seth Gilbert; Nancy A. Lynch; Alexander A. Shvartsman (DSN, 2003)

Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. - Sayan Mitra; Yong Wang; Nancy A. Lynch; Eric Feron (HSCC, 2003)

Brief announcement: efficient replication of large data objects. - Rui Fan 004; Nancy A. Lynch (PODC, 2003)

Working with mike on distributed computing theory, 1978–1992. - Nancy A. Lynch (PODC, 2003)

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 (RTSS, 2003)

Efficient Replication of Large Data Objects. - Rui Fan 004; Nancy A. Lynch (DISC, 2003)

Some perspectives on PODC. - Nancy A. Lynch (Distributed Comput., 2003)

Hybrid I/O automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Inf. Comput., 2003)

Decomposing Verification of Timed I/O Automata. - Dilsun Kirli Kaynar; Nancy A. Lynch (FORMATS/FTRTFT, 2004)

Switched Probabilistic I/O Automata. - Ling Cheung; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (ICTAC, 2004)

Compiling IOA without Global Synchronization. - Joshua A. Tauber; Nancy A. Lynch; Michael J. Tsai (NCA, 2004)

A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. - Murat Demirbas; Anish Arora; Tina Nolte; Nancy A. Lynch (OPODIS, 2004)

Clock Synchronization for Wireless Networks. - Rui Fan 004; Indraneel Chakraborty; Nancy A. Lynch (OPODIS, 2004)

Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. - Murat Demirbas; Anish Arora; Tina Nolte; Nancy A. Lynch (PODC, 2004)

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 (PODC, 2004)

Virtual Mobile Nodes for Mobile Ad Hoc Networks. - Shlomi Dolev; Seth Gilbert; Nancy A. Lynch; Elad Schiller; Alexander A. Shvartsman; Jennifer L. Welch (DISC, 2004)

Using simulated execution in verifying distributed algorithms. - Toh Ne Win; Michael D. Ernst; Stephen J. Garland; Dilsun Kirli Kaynar; Nancy A. Lynch (Int. J. Softw. Tools Technol. Transf., 2004)

Motion Coordination using Virtual Nodes. - Nancy A. Lynch; Sayan Mitra; Tina Nolte (CDC/ECC, 2005)

Translating Timed I/O Automata Specifications for Theorem Proving in PVS. - Hongping Lim; Dilsun Kirli Kaynar; Nancy A. Lynch; Sayan Mitra (FORMATS, 2005)

Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast. - Gregory V. Chockler; Murat Demirbas; Seth Gilbert; Nancy A. Lynch; Calvin C. Newport; Tina Nolte (ICDCS Workshops, 2005)

Timed Virtual Stationary Automata for Mobile Networks. - Shlomi Dolev; Seth Gilbert; Limor Lahiani; Nancy A. Lynch; Tina Nolte (OPODIS, 2005)

Brief announcement: virtual stationary automata for mobile networks. - Shlomi Dolev; Limor Lahiani; Seth Gilbert; Nancy A. Lynch; Tina Nolte (PODC, 2005)

Self-stabilizing Mobile Node Location Management and Message Routing. - Shlomi Dolev; Limor Lahiani; Nancy A. Lynch; Tina Nolte (Self-Stabilizing Systems, 2005)

Proving Atomicity: An Assertional Approach. - Gregory V. Chockler; Nancy A. Lynch; Sayan Mitra; Joshua A. Tauber (DISC, 2005)

GeoQuorums: implementing atomic memory in mobile ad hoc networks. - Shlomi Dolev; Seth Gilbert; Nancy A. Lynch; Alexander A. Shvartsman; Jennifer L. Welch (Distributed Comput., 2005)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (IACR Cryptol. ePrint Arch., 2005)

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 (FM, 2006)

Verifying Average Dwell Time by Solving Optimization Problems. - Sayan Mitra; Nancy A. Lynch; Daniel Liberzon (HSCC, 2006)

Specifying and proving properties of timed I/O automata in the TIOA toolkit. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (MEMOCODE, 2006)

An Omega (n log n) lower bound on the cost of mutual exclusion. - Rui Fan 004; Nancy A. Lynch (PODC, 2006)

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (DISC, 2006)

Gradient clock synchronization. - Rui Fan 004; Nancy A. Lynch (Distributed Comput., 2006)

Testing Self-Similar Networks. - Constantinos Djouvas; Nancy D. Griffeth; Nancy A. Lynch (MBT, 2006)

Proving Approximate Implementations for Probabilistic I/O Automata. - Sayan Mitra; Nancy A. Lynch (PDPAR/PaUL@FLoC, 2006)

Switched PIOA: Parallel composition via distributed scheduling. - Ling Cheung; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Theor. Comput. Sci., 2006)

The Theory of Timed I/O Automata - Dilsun Kirli Kaynar; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Morgan & Claypool Publishers, 2006)

Compositional Security for Task-PIOAs. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (CSF, 2007)

The DHCP Failover Protocol: A Formal Perspective. - Rui Fan 004; Ralph E. Droms; Nancy D. Griffeth; Nancy A. Lynch (FORTE, 2007)

Trace-Based Semantics for Probabilistic Timed I/O Automata. - Sayan Mitra; Nancy A. Lynch (HSCC, 2007)

Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. - Shinya Umeno; Nancy A. Lynch (HSCC, 2007)

A Virtual Node-Based Tracking Algorithm for Mobile Networks. - Tina Nolte; Nancy A. Lynch (ICDCS, 2007)

Self-stabilization and Virtual Node Layer Emulations. - Tina Nolte; Nancy A. Lynch (SSS, 2007)

Distributed computing theory: algorithms, impossibility results, models, and proofs. - Nancy A. Lynch (STOC, 2007)

DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982. - Nancy A. Lynch (DISC, 2007)

Modeling Computational Security in Long-Lived Systems. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (IACR Cryptol. ePrint Arch., 2007)

On the Role of Scheduling in Simulation-Based Security. - Ran Canetti; Ling Cheung; Nancy A. Lynch; Olivier Pereira (IACR Cryptol. ePrint Arch., 2007)

Observing Branching Structure through Probabilistic Contexts. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (SIAM J. Comput., 2007)

The virtual node layer: a programming abstraction for wireless sensor networks. - Matthew Brown 005; Seth Gilbert; Nancy A. Lynch; Calvin C. Newport; Tina Nolte; Michael Spindel (SIGBED Rev., 2007)

Virtual infrastructure for collision-prone wireless networks. - Gregory V. Chockler; Seth Gilbert; Nancy A. Lynch (PODC, 2008)

Connectivity Service for Mobile Ad-Hoc Networks. - Alejandro Cornejo; Nancy A. Lynch (SASO Workshops, 2008)

Self-stabilizing Mobile Robot Formations with Virtual Nodes. - Seth Gilbert; Nancy A. Lynch; Sayan Mitra; Tina Nolte (SSS, 2008)

Specifying and proving properties of timed I/O automata using Tempo. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (Des. Autom. Embed. Syst., 2008)

Consensus and collision detectors in radio networks. - Gregory V. Chockler; Murat Demirbas; Seth Gilbert; Nancy A. Lynch; Calvin C. Newport; Tina Nolte (Distributed Comput., 2008)

Analyzing Security Protocols Using Time-Bounded Task-PIOAs. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (Discret. Event Dyn. Syst., 2008)

Modeling Computational Security in Long-Lived Systems, Version 2. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (IACR Cryptol. ePrint Arch., 2008)

A general characterization of indulgence. - Rachid Guerraoui; Nancy A. Lynch (ACM Trans. Auton. Adapt. Syst., 2008)

Verifying average dwell time of hybrid systems. - Sayan Mitra; Daniel Liberzon; Nancy A. Lynch (ACM Trans. Embed. Comput. Syst., 2008)

Neighbor discovery in mobile ad hoc networks using an abstract MAC layer. - Alejandro Cornejo; Nancy A. Lynch; Saira Viqar; Jennifer L. Welch (Allerton, 2009)

Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. - Jiang Wu; Nancy D. Griffeth; Nancy A. Lynch; Calvin C. Newport; Ralph E. Droms (NCA, 2009)

Brief announcement: minimum spanning trees and cone-based topology control. - Alejandro Cornejo; Nancy A. Lynch (PODC, 2009)

Brief announcement: hardness of broadcasting in wireless networks with unreliable communication. - Fabian Kuhn; Nancy A. Lynch; Calvin C. Newport (PODC, 2009)

Reliable distributed computing on unreliable radio channels. - Shlomi Dolev; Seth Gilbert; Rachid Guerraoui; Dariusz R. Kowalski; Calvin Newport; Fabian Kuhn; Nancy A. Lynch (S³@MobiHoc, 2009)

Keeping Mobile Robot Swarms Connected. - Alejandro Cornejo; Fabian Kuhn; Ruy Ley-Wild; Nancy A. Lynch (DISC, 2009)

On the weakest failure detector ever. - Rachid Guerraoui; Maurice Herlihy; Petr Kuznetsov; Nancy A. Lynch; Calvin C. Newport (Distributed Comput., 2009)

Automated implementation of complex distributed algorithms specified in the IOA language. - Chryssis Georgiou; Nancy A. Lynch; Panayiotis Mavrommatis; Joshua A. Tauber (Int. J. Softw. Tools Technol. Transf., 2009)

Self-stabilizing robot formations over unreliable networks. - Seth Gilbert; Nancy A. Lynch; Sayan Mitra; Tina Nolte (ACM Trans. Auton. Adapt. Syst., 2009)

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. - Shinya Umeno; Nancy A. Lynch (ICECCS, 2010)

Reliably Detecting Connectivity Using Local Graph Traits. - Alejandro Cornejo; Nancy A. Lynch (OPODIS, 2010)

Broadcasting in unreliable radio networks. - Fabian Kuhn; Nancy A. Lynch; Calvin C. Newport; Rotem Oshman; Andréa W. Richa (PODC, 2010)

Distributed computation in dynamic networks. - Fabian Kuhn; Nancy A. Lynch; Rotem Oshman (STOC, 2010)

Rambo: a robust, reconfigurable atomic memory service for dynamic networks. - Seth Gilbert; Nancy A. Lynch; Alexander A. Shvartsman (Distributed Comput., 2010)

The Theory of Timed I/O Automata, Second Edition - Dilsun Kirli Kaynar; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Morgan & Claypool Publishers, 2010)

MAC design for analog network coding. - Majid Khabbazian; Fabian Kuhn; Nancy A. Lynch; Muriel Médard; Ali ParandehGheibi (FOMC, 2011)

Engineering the Virtual Node Layer for Reactive MANET Routing. - Jiang Wu; Nancy D. Griffeth; Calvin C. Newport; Nancy A. Lynch (NCA, 2011)

Partial reversal acyclicity. - Tsvetomira Radeva; Nancy A. Lynch (PODC, 2011)

Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration. - Mikhail Volkov 002; Alejandro Cornejo; Nancy A. Lynch; Daniela Rus (PRIMA, 2011)

The abstract MAC layer. - Fabian Kuhn; Nancy A. Lynch; Calvin C. Newport (Distributed Comput., 2011)

Modeling radio networks. - Calvin C. Newport; Nancy A. Lynch (Distributed Comput., 2011)

The impossibility of boosting distributed service resilience. - Paul C. Attie; Rachid Guerraoui; Petr Kuznetsov; Nancy A. Lynch; Sergio Rajsbaum (Inf. Comput., 2011)

Asynchronous leader election and MIS using abstract MAC layer. - Nancy A. Lynch; Tsvetomira Radeva; Srikanth Sastry (FOMC, 2012)

Asynchronous failure detectors. - Alejandro Cornejo; Nancy A. Lynch; Srikanth Sastry (PODC, 2012)

Bounded-Contention Coding for Wireless Networks in the High SNR Regime. - Keren Censor-Hillel; Bernhard Haeupler; Nancy A. Lynch; Muriel Médard (DISC, 2012)

Bounds on Contention Management in Radio Networks. - Mohsen Ghaffari 001; Bernhard Haeupler; Nancy A. Lynch; Calvin C. Newport (DISC, 2012)

Perspectives on the CAP Theorem. - Seth Gilbert; Nancy A. Lynch (Computer, 2012)

Leader election using loneliness detection. - Mohsen Ghaffari 001; Nancy A. Lynch; Srikanth Sastry (Distributed Comput., 2012)

Timed and Probabilistic I/O Automata. - Nancy A. Lynch (LICS, 2013)

The cost of radio network broadcast for different models of unreliable links. - Mohsen Ghaffari 001; Nancy A. Lynch; Calvin C. Newport (PODC, 2013)

Athena lecture: distributed computing theory for wireless networks and mobile systems. - Nancy A. Lynch (PODC, 2013)

Special issue on DISC 2010. - Nancy A. Lynch; Alexander A. Shvartsman (Distributed Comput., 2013)

Multi-message broadcast with abstract MAC layers and unreliable links. - Mohsen Ghaffari 001; Erez Kantor; Nancy A. Lynch; Calvin C. Newport (PODC, 2014)

Trade-offs between selection complexity and performance when searching the plane without communication. - Christoph Lenzen 001; Nancy A. Lynch; Calvin C. Newport; Tsvetomira Radeva (PODC, 2014)

Task Allocation in Ant Colonies. - Alejandro Cornejo; Anna R. Dornhaus; Nancy A. Lynch; Radhika Nagpal (DISC, 2014)

Decomposing broadcast algorithms using abstract MAC layers. - Majid Khabbazian; Dariusz R. Kowalski; Fabian Kuhn; Nancy A. Lynch (Ad Hoc Networks, 2014)

Structuring unreliable radio networks. - Keren Censor-Hillel; Seth Gilbert; Fabian Kuhn; Nancy A. Lynch; Calvin C. Newport (Distributed Comput., 2014)

Distributed House-Hunting in Ant Colonies. - Mohsen Ghaffari 001; Cameron Musco; Tsvetomira Radeva; Nancy A. Lynch (PODC, 2015)

A Local Broadcast Layer for the SINR Network Model. - Magnús M. Halldórsson; Stephan Holzer; Nancy A. Lynch (PODC, 2015)

A (Truly) Local Broadcast Layer for Unreliable Radio Networks. - Nancy A. Lynch; Calvin Newport (PODC, 2015)

Computing in Additive Networks with Bounded-Information Codes. - Keren Censor-Hillel; Erez Kantor; Nancy A. Lynch; Merav Parter (DISC, 2015)

Consensus using Asynchronous Failure Detectors. - Nancy A. Lynch; Srikanth Sastry (CoRR, 2015)

Bounded-Contention Coding for the additive network model. - Keren Censor-Hillel; Bernhard Haeupler; Nancy A. Lynch; Muriel Médard (Distributed Comput., 2015)

Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. - Kishori M. Konwar; N. Prakash 001; Erez Kantor; Nancy A. Lynch; Muriel Médard; Alexander A. Schwarzmann (IPDPS, 2016)

RADON: Repairable Atomic Data Object in Networks. - Kishori M. Konwar; N. Prakash 001; Nancy A. Lynch; Muriel Médard (OPODIS, 2016)

Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. - Viveck R. Cadambe; Zhiying Wang 001; Nancy A. Lynch (PODC, 2016)

Ant-Inspired Density Estimation via Random Walks: Extended Abstract. - Cameron Musco; Hsin-Hao Su; Nancy A. Lynch (PODC, 2016)

Dynamic input/output automata: A formal and compositional model for dynamic systems. - Paul C. Attie; Nancy A. Lynch (Inf. Comput., 2016)

Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. - Nancy A. Lynch; Cameron Musco; Merav Parter (ITCS, 2017)

A Layered Architecture for Erasure-Coded Consistent Distributed Storage. - Kishori M. Konwar; N. Prakash 001; Nancy A. Lynch; Muriel Médard (PODC, 2017)

Ant-Inspired Dynamic Task Allocation via Gossiping. - Hsin-Hao Su; Lili Su; Anna R. Dornhaus; Nancy A. Lynch (SSS, 2017)

An Efficient Communication Abstraction for Dense Wireless Networks. - Magnús M. Halldórsson; Fabian Kuhn; Nancy A. Lynch; Calvin Newport (DISC, 2017)

Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. - Nancy A. Lynch; Cameron Musco; Merav Parter (DISC, 2017)

Beeping a Maximal Independent Set Fast. - Stephan Holzer; Nancy A. Lynch (CoRR, 2017)

A coded shared atomic memory algorithm for message passing architectures. - Viveck R. Cadambe; Nancy A. Lynch; Muriel Médard; Peter M. Musial (Distributed Comput., 2017)

Searching without communicating: tradeoffs between performance and selection complexity. - Christoph Lenzen 001; Nancy A. Lynch; Calvin Newport; Tsvetomira Radeva (Distributed Comput., 2017)

Costs of task allocation with local feedback: Effects of colony size and extra workers in social insects and other multi-agent systems. - Tsvetomira Radeva; Anna R. Dornhaus; Nancy A. Lynch; Radhika Nagpal; Hsin-Hao Su (PLoS Comput. Biol., 2017)

Ant-inspired density estimation via random walks. - Cameron Musco; Hsin-Hao Su; Nancy A. Lynch (Proc. Natl. Acad. Sci. USA, 2017)

Brief Announcement: On Simple Back-Off in Unreliable Radio Networks. - Seth Gilbert; Nancy A. Lynch; Calvin Newport; Dominik Pajak (DISC, 2018)

Collaboratively Learning the Best Option, Using Bounded Memory. - Lili Su; Martin Zubeldia; Nancy A. Lynch (CoRR, 2018)

On Simple Back-Off in Complicated Radio Networks. - Seth Gilbert; Nancy A. Lynch; Calvin Newport; Dominik Pajak (CoRR, 2018)

The SNOW Theorem Revisited. - Kishori M. Konwar; Wyatt Lloyd; Haonan Lu; Nancy A. Lynch (CoRR, 2018)

Task-structured probabilistic I/O automata. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (J. Comput. Syst. Sci., 2018)

ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage. - Nicolas C. Nicolaou; Viveck R. Cadambe; N. Prakash 001; Kishori M. Konwar; Muriel Médard; Nancy A. Lynch (ICDCS, 2019)

Fast Lean Erasure-Coded Atomic Memory Object. - Kishori M. Konwar; N. Prakash 001; Muriel Médard; Nancy A. Lynch (OPODIS, 2019)

2019 Principles of Distributed Computing Doctoral Dissertation Award. - Prasad Jayanti; Nancy A. Lynch; Boaz Patt-Shamir; Ulrich Schmid 001 (PODC, 2019)

Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit. - Nancy A. Lynch; Mien Brabeeba Wang (DISC, 2019)

Integrating Temporal Information to Spatial Information in a Neural Circuit. - Mien Brabeeba Wang; Nancy A. Lynch (CoRR, 2019)

Winner-Take-All Computation in Spiking Neural Networks. - Nancy A. Lynch; Cameron Musco; Merav Parter (CoRR, 2019)

How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. - Alberto Ancona; Ayesha Bajwa; Nancy A. Lynch; Frederik Mallmann-Trenn (CoRR, 2019)

Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. - Lili Su; Chia-Jung Chang; Nancy A. Lynch (Neural Comput., 2019)

Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. - Lili Su; Martin Zubeldia; Nancy A. Lynch (Proc. ACM Meas. Anal. Comput. Syst., 2019)

Random Sketching, Clustering, and Short-Term Memory in Spiking Neural Networks. - Yael Hitron; Nancy A. Lynch; Cameron Musco; Merav Parter (ITCS, 2020)

How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. - Bertie Ancona; Ayesha Bajwa; Nancy A. Lynch; Frederik Mallmann-Trenn (LATIN, 2020)

Self-Stabilizing Task Allocation In Spite of Noise. - Anna R. Dornhaus; Nancy A. Lynch; Frederik Mallmann-Trenn; Dominik Pajak; Tsvetomira Radeva (SPAA, 2020)

A superconducting nanowire spiking element for neural networks. - Emily Toomey; Ken Segall; Matteo Castellani; Marco Colangelo; Nancy A. Lynch; Karl K. Berggren (CoRR, 2020)

On simple back-off in unreliable radio networks. - Seth Gilbert; Nancy A. Lynch; Calvin Newport; Dominik Pajak (Theor. Comput. Sci., 2020)

Leader election in SINR model with arbitrary power control. - Magnús M. Halldórsson; Stephan Holzer; Evangelia Anna Markatou; Nancy A. Lynch (Theor. Comput. Sci., 2020)

SNOW Revisited: Understanding When Ideal READ Transactions Are Possible. - Kishori M. Konwar; Wyatt Lloyd; Haonan Lu; Nancy A. Lynch (IPDPS, 2021)

Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration. - Jiajia Zhao; Lili Su; Nancy A. Lynch (SSS, 2021)

A Spatially Dependent Probabilistic Model for House Hunting in Ant Colonies. - Grace Cai; Wendy Wu; Wayne Zhao; Jiajia Zhao; Nancy A. Lynch (CoRR, 2021)

Learning hierarchically-structured concepts. - Nancy A. Lynch; Frederik Mallmann-Trenn (Neural Networks, 2021)

A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. - Grace Cai; Nancy A. Lynch (ANTS Conference, 2022)

A Basic Compositional Model for Spiking Neural Networks. - Nancy A. Lynch; Cameron Musco (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Symbolic Knowledge Structures and Intuitive Knowledge Structures. - Nancy A. Lynch (CoRR, 2022)

Emergence of Direction-Selective Retinal Cell Types in Task-Optimized Deep Learning Models. - Keith T. Murray; Mien Brabeeba Wang; Nancy A. Lynch (J. Comput. Biol., 2022)

An Upper and Lower Bound for the Convergence Time of House-Hunting in Temnothorax Ant Colonies. - Emily Zhang; Jiajia Zhao; Nancy A. Lynch (J. Comput. Biol., 2022)

The Power of Population Effect in Temnothorax Ant House-Hunting: A Computational Modeling Approach. - Jiajia Zhao; Nancy A. Lynch; Stephen C. Pratt (J. Comput. Biol., 2022)

Ares: Adaptive, Reconfigurable, Erasure coded, Atomic Storage. - Nicolas Nicolaou; Viveck R. Cadambe; N. Prakash 001; Andria Trigeorgi; Kishori M. Konwar; Muriel Médard; Nancy A. Lynch (ACM Trans. Storage, 2022)

A superconducting nanowire-based architecture for neuromorphic computing. - Andres E. Lombo; Jesus E. Lares; Matteo Castellani; Chi-Ning Chou; Nancy A. Lynch; Karl K. Berggren (Neuromorph. Comput. Eng., 2022)

ParSwarm: A C++ Framework for Evaluating Distributed Algorithms for Robot Swarms. - Zhi Wei Gan; Grace Cai; Noble C. Harasha; Nancy A. Lynch; Julian Shun (ApPLIED@PODC, 2023)

A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. - Grace Cai; Noble C. Harasha; Nancy A. Lynch (AAMAS, 2023)

Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback. - Nancy A. Lynch; Frederik Mallmann-Trenn (SIROCCO, 2023)

Multi-Neuron Representations of Hierarchical Concepts in Spiking Neural Networks. - Nancy A. Lynch (CoRR, 2024)

Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions. - Sabrina Drammis; Bowen Zheng; Karthik Srinivasan; Robert C. Berwick; Nancy A. Lynch; Robert Ajemian (CoRR, 2024)

Using Single-Neuron Representations for Hierarchical Concepts as Abstractions of Multi-Neuron Representations. - Nancy A. Lynch (CoRR, 2024)

Swarm Algorithms for Dynamic Task Allocation in Unknown Environments. - Adithya Balachandran; Noble C. Harasha; Nancy A. Lynch (CoRR, 2024)

Modeling Feasible Locomotion of Nanobots for Cancer Detection and Treatment. - Noble C. Harasha; Cristina Gava; Nancy A. Lynch; Claudia Contini; Frederik Mallmann-Trenn (CoRR, 2025)