Nancy A. Lynch

393 papers A* 77A 46B 29C 14Journal 165Unranked 55

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Modeling Feasible Locomotion of Nanobots for Cancer Detection and Treatment. CoRR Noble C. Harasha, Cristina Gava, Nancy A. Lynch, Claudia Contini, Frederik Mallmann-Trenn
2025	J	`jnl`	Nanobot Algorithms for Treatment of Diffuse Cancer. CoRR Noble C. Harasha, Nancy A. Lynch
2024	J	`jnl`	Multi-Neuron Representations of Hierarchical Concepts in Spiking Neural Networks. CoRR Nancy A. Lynch
2024	J	`jnl`	Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions. CoRR Sabrina Drammis, Bowen Zheng, Karthik Srinivasan, Robert C. Berwick, Nancy A. Lynch, Robert Ajemian
2024	J	`jnl`	Swarm Algorithms for Dynamic Task Allocation in Unknown Environments. CoRR Adithya Balachandran, Noble C. Harasha, Nancy A. Lynch
2024	J	`jnl`	Using Single-Neuron Representations for Hierarchical Concepts as Abstractions of Multi-Neuron Representations. CoRR Nancy A. Lynch
2023	A	`conf`	A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. AAMAS Grace Cai, Noble C. Harasha, Nancy A. Lynch
2023	J	`jnl`	Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks With Feedback. CoRR Nancy A. Lynch, Frederik Mallmann-Trenn
2023	B	`conf`	Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback. SIROCCO Nancy A. Lynch, Frederik Mallmann-Trenn
2023	—	`conf`	ParSwarm: A C++ Framework for Evaluating Distributed Algorithms for Robot Swarms. ApPLIED@PODC Zhi Wei Gan, Grace Cai, Noble C. Harasha, Nancy A. Lynch, Julian Shun
2022	—	`conf`	A Basic Compositional Model for Spiking Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning Nancy A. Lynch, Cameron Musco
2022	J	`jnl`	A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. CoRR Grace Cai, Noble C. Harasha, Nancy A. Lynch
2022	—	`conf`	A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. ANTS Conference Grace Cai, Nancy A. Lynch
2022	J	`jnl`	A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. CoRR Grace Cai, Nancy A. Lynch
2022	J	`jnl`	A superconducting nanowire-based architecture for neuromorphic computing. Neuromorph. Comput. Eng. Andres E. Lombo, Jesus E. Lares, Matteo Castellani, Chi-Ning Chou, Nancy A. Lynch, Karl K. Berggren
2022	J	`jnl`	An Upper and Lower Bound for the Convergence Time of House-Hunting in J. Comput. Biol. Emily Zhang, Jiajia Zhao, Nancy A. Lynch
2022	J	`jnl`	Ares: Adaptive, Reconfigurable, Erasure coded, Atomic Storage. ACM Trans. Storage Nicolas Nicolaou, Viveck R. Cadambe, N. Prakash, Andria Trigeorgi, Kishori M. Konwar, Muriel Médard, Nancy A. Lynch
2022	J	`jnl`	Emergence of Direction-Selective Retinal Cell Types in Task-Optimized Deep Learning Models. J. Comput. Biol. Keith T. Murray, Mien Brabeeba Wang, Nancy A. Lynch
2022	J	`jnl`	Symbolic Knowledge Structures and Intuitive Knowledge Structures. CoRR Nancy A. Lynch
2022	J	`jnl`	The Power of Population Effect in J. Comput. Biol. Jiajia Zhao, Nancy A. Lynch, Stephen C. Pratt
2021	J	`jnl`	A Spatially Dependent Probabilistic Model for House Hunting in Ant Colonies. CoRR Grace Cai, Wendy Wu, Wayne Zhao, Jiajia Zhao, Nancy A. Lynch
2021	J	`jnl`	A Superconducting Nanowire-based Architecture for Neuromorphic Computing. CoRR Andres E. Lombo, Jesus E. Lares, Matteo Castellani, Chi-Ning Chou, Nancy A. Lynch, Karl K. Berggren
2021	C	`conf`	Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration. SSS Jiajia Zhao, Lili Su, Nancy A. Lynch
2021	J	`jnl`	Learning hierarchically-structured concepts. Neural Networks Nancy A. Lynch, Frederik Mallmann-Trenn
2021	A	`conf`	SNOW Revisited: Understanding When Ideal READ Transactions Are Possible. IPDPS Kishori M. Konwar, Wyatt Lloyd, Haonan Lu, Nancy A. Lynch
2020	J	`jnl`	A superconducting nanowire spiking element for neural networks. CoRR Emily Toomey, Ken Segall, Matteo Castellani, Marco Colangelo, Nancy A. Lynch, Karl K. Berggren
2020	B	`conf`	How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. LATIN Bertie Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn
2020	J	`jnl`	Leader election in SINR model with arbitrary power control. Theor. Comput. Sci. Magnús M. Halldórsson, Stephan Holzer, Evangelia Anna Markatou, Nancy A. Lynch
2020	J	`jnl`	On simple back-off in unreliable radio networks. Theor. Comput. Sci. Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak
2020	A	`conf`	Random Sketching, Clustering, and Short-Term Memory in Spiking Neural Networks. ITCS Yael Hitron, Nancy A. Lynch, Cameron Musco, Merav Parter
2020	B	`conf`	Self-Stabilizing Task Allocation In Spite of Noise. SPAA Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik Pajak, Tsvetomira Radeva
2019	A*	`conf`	2019 Principles of Distributed Computing Doctoral Dissertation Award. PODC Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid
2019	A	`conf`	ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage. ICDCS Nicolas C. Nicolaou, Viveck R. Cadambe, N. Prakash, Kishori M. Konwar, Muriel Médard, Nancy A. Lynch
2019	A	`conf`	Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit. DISC Nancy A. Lynch, Mien Brabeeba Wang
2019	—	`conf`	Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. SIGMETRICS (Abstracts) Lili Su, Martin Zubeldia, Nancy A. Lynch
2019	J	`jnl`	Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. Proc. ACM Meas. Anal. Comput. Syst. Lili Su, Martin Zubeldia, Nancy A. Lynch
2019	B	`conf`	Fast Lean Erasure-Coded Atomic Memory Object. OPODIS Kishori M. Konwar, N. Prakash, Muriel Médard, Nancy A. Lynch
2019	B	`conf`	How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. SIROCCO Bertie Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn
2019	J	`jnl`	How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. CoRR Alberto Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn
2019	J	`jnl`	Integrating Temporal Information to Spatial Information in a Neural Circuit. CoRR Mien Brabeeba Wang, Nancy A. Lynch
2019	J	`jnl`	Learning Hierarchically Structured Concepts. CoRR Nancy A. Lynch, Frederik Mallmann-Trenn
2019	J	`jnl`	Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. CoRR Lili Su, Chia-Jung Chang, Nancy A. Lynch
2019	J	`jnl`	Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. Neural Comput. Lili Su, Chia-Jung Chang, Nancy A. Lynch
2019	J	`jnl`	Winner-Take-All Computation in Spiking Neural Networks. CoRR Nancy A. Lynch, Cameron Musco, Merav Parter
2018	J	`jnl`	A Basic Compositional Model for Spiking Neural Networks. CoRR Nancy A. Lynch, Cameron Musco
2018	J	`jnl`	ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage. CoRR Viveck R. Cadambe, Nicolas C. Nicolaou, Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard
2018	A	`conf`	Brief Announcement: On Simple Back-Off in Unreliable Radio Networks. DISC Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak
2018	J	`jnl`	Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. CoRR Lili Su, Martin Zubeldia, Nancy A. Lynch
2018	J	`jnl`	Collaboratively Learning the Best Option, Using Bounded Memory. CoRR Lili Su, Martin Zubeldia, Nancy A. Lynch
2018	J	`jnl`	On Simple Back-Off in Complicated Radio Networks. CoRR Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak
2018	B	`conf`	On Simple Back-Off in Unreliable Radio Networks. OPODIS Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak
2018	J	`jnl`	Self-Stabilizing Task Allocation In Spite of Noise. CoRR Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik Pajak, Tsvetomira Radeva
2018	J	`jnl`	Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2018	J	`jnl`	The SNOW Theorem Revisited. CoRR Kishori M. Konwar, Wyatt Lloyd, Haonan Lu, Nancy A. Lynch
2017	A*	`conf`	A Layered Architecture for Erasure-Coded Consistent Distributed Storage. PODC Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard
2017	J	`jnl`	A Layered Architecture for Erasure-Coded Consistent Distributed Storage. CoRR Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard
2017	J	`jnl`	A coded shared atomic memory algorithm for message passing architectures. Distributed Comput. Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial
2017	A	`conf`	An Efficient Communication Abstraction for Dense Wireless Networks. DISC Magnús M. Halldórsson, Fabian Kuhn, Nancy A. Lynch, Calvin Newport
2017	C	`conf`	Ant-Inspired Dynamic Task Allocation via Gossiping. SSS Hsin-Hao Su, Lili Su, Anna R. Dornhaus, Nancy A. Lynch
2017	J	`jnl`	Ant-inspired density estimation via random walks. Proc. Natl. Acad. Sci. USA Cameron Musco, Hsin-Hao Su, Nancy A. Lynch
2017	J	`jnl`	Beeping a Maximal Independent Set Fast. CoRR Stephan Holzer, Nancy A. Lynch
2017	A	`conf`	Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. ITCS Nancy A. Lynch, Cameron Musco, Merav Parter
2017	J	`jnl`	Costs of task allocation with local feedback: Effects of colony size and extra workers in social insects and other multi-agent systems. PLoS Comput. Biol. Tsvetomira Radeva, Anna R. Dornhaus, Nancy A. Lynch, Radhika Nagpal, Hsin-Hao Su
2017	A	`conf`	Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. DISC Nancy A. Lynch, Cameron Musco, Merav Parter
2017	J	`jnl`	Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. CoRR Nancy A. Lynch, Cameron Musco, Merav Parter
2017	J	`jnl`	Searching without communicating: tradeoffs between performance and selection complexity. Distributed Comput. Christoph Lenzen, Nancy A. Lynch, Calvin Newport, Tsvetomira Radeva
2016	J	`jnl`	Ant-Inspired Density Estimation via Random Walks. CoRR Cameron Musco, Hsin-Hao Su, Nancy A. Lynch
2016	A*	`conf`	Ant-Inspired Density Estimation via Random Walks: Extended Abstract. PODC Cameron Musco, Hsin-Hao Su, Nancy A. Lynch
2016	J	`jnl`	Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. CoRR Nancy A. Lynch, Cameron Musco, Merav Parter
2016	J	`jnl`	Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. CoRR Paul C. Attie, Nancy A. Lynch
2016	J	`jnl`	Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. Paul C. Attie, Nancy A. Lynch
2016	A*	`conf`	Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. PODC Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch
2016	J	`jnl`	Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. CoRR Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch
2016	B	`conf`	RADON: Repairable Atomic Data Object in Networks. OPODIS Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard
2016	J	`jnl`	RADON: Repairable Atomic Data Object in Networks. CoRR Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard
2016	A	`conf`	Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. IPDPS Kishori M. Konwar, N. Prakash, Erez Kantor, Nancy A. Lynch, Muriel Médard, Alexander A. Schwarzmann
2016	J	`jnl`	Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. CoRR Kishori M. Konwar, N. Prakash, Erez Kantor, Nancy A. Lynch, Muriel Médard, Alexander A. Schwarzmann
2015	A*	`conf`	A (Truly) Local Broadcast Layer for Unreliable Radio Networks. PODC Nancy A. Lynch, Calvin Newport
2015	A*	`conf`	A Local Broadcast Layer for the SINR Network Model. PODC Magnús M. Halldórsson, Stephan Holzer, Nancy A. Lynch
2015	J	`jnl`	A Local Broadcast Layer for the SINR Network Model. CoRR Magnús M. Halldórsson, Stephan Holzer, Nancy A. Lynch
2015	J	`jnl`	Bounded-Contention Coding for the additive network model. Distributed Comput. Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard
2015	A	`conf`	Computing in Additive Networks with Bounded-Information Codes. DISC Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter
2015	J	`jnl`	Computing in Additive Networks with Bounded-Information Codes. CoRR Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter
2015	J	`jnl`	Consensus using Asynchronous Failure Detectors. CoRR Nancy A. Lynch, Srikanth Sastry
2015	A*	`conf`	Distributed House-Hunting in Ant Colonies. PODC Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch
2015	J	`jnl`	Distributed House-Hunting in Ant Colonies. CoRR Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch
2014	B	`conf`	A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. NCA Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial
2014	J	`jnl`	A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. CoRR Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial
2014	J	`jnl`	Decomposing broadcast algorithms using abstract MAC layers. Ad Hoc Networks Majid Khabbazian, Dariusz R. Kowalski, Fabian Kuhn, Nancy A. Lynch
2014	J	`jnl`	Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links. CoRR Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport
2014	A*	`conf`	Multi-message broadcast with abstract MAC layers and unreliable links. PODC Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport
2014	J	`jnl`	Structuring unreliable radio networks. Distributed Comput. Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport
2014	A	`conf`	Task Allocation in Ant Colonies. DISC Alejandro Cornejo, Anna R. Dornhaus, Nancy A. Lynch, Radhika Nagpal
2014	J	`jnl`	Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication. CoRR Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva
2014	A*	`conf`	Trade-offs between selection complexity and performance when searching the plane without communication. PODC Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva
2013	A*	`conf`	Athena lecture: distributed computing theory for wireless networks and mobile systems. PODC Nancy A. Lynch
2013	J	`jnl`	Special issue on DISC 2010. Distributed Comput. Nancy A. Lynch, Alexander A. Shvartsman
2013	A*	`conf`	The cost of radio network broadcast for different models of unreliable links. PODC Mohsen Ghaffari, Nancy A. Lynch, Calvin C. Newport
2013	A*	`conf`	Timed and Probabilistic I/O Automata. LICS Nancy A. Lynch
2012	A*	`conf`	Asynchronous failure detectors. PODC Alejandro Cornejo, Nancy A. Lynch, Srikanth Sastry
2012	—	`conf`	Asynchronous leader election and MIS using abstract MAC layer. FOMC Nancy A. Lynch, Tsvetomira Radeva, Srikanth Sastry
2012	J	`jnl`	Bounded-Contention Coding for Wireless Networks in the High SNR Regime CoRR Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard
2012	A	`conf`	Bounded-Contention Coding for Wireless Networks in the High SNR Regime. DISC Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard
2012	J	`jnl`	Bounds on Contention Management in Radio Networks CoRR Mohsen Ghaffari, Bernhard Haeupler, Nancy A. Lynch, Calvin C. Newport
2012	A	`conf`	Bounds on Contention Management in Radio Networks. DISC Mohsen Ghaffari, Bernhard Haeupler, Nancy A. Lynch, Calvin C. Newport
2012	J	`jnl`	Leader election using loneliness detection. Distributed Comput. Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry
2012	J	`jnl`	Perspectives on the CAP Theorem. Computer Seth Gilbert, Nancy A. Lynch
2011	B	`conf`	Engineering the Virtual Node Layer for Reactive MANET Routing. NCA Jiang Wu, Nancy D. Griffeth, Calvin C. Newport, Nancy A. Lynch
2011	B	`conf`	Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration. PRIMA Mikhail Volkov, Alejandro Cornejo, Nancy A. Lynch, Daniela Rus
2011	A	`conf`	Leader Election Using Loneliness Detection. DISC Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry
2011	—	`conf`	MAC design for analog network coding. FOMC Majid Khabbazian, Fabian Kuhn, Nancy A. Lynch, Muriel Médard, Ali ParandehGheibi
2011	J	`jnl`	Modeling radio networks. Distributed Comput. Calvin C. Newport, Nancy A. Lynch
2011	A*	`conf`	Partial reversal acyclicity. PODC Tsvetomira Radeva, Nancy A. Lynch
2011	A*	`conf`	Structuring unreliable radio networks. PODC Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport
2011	J	`jnl`	The abstract MAC layer. Distributed Comput. Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport
2011	J	`jnl`	The impossibility of boosting distributed service resilience. Inf. Comput. Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum
2010	B	`conf`	Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. ICECCS Shinya Umeno, Nancy A. Lynch
2010	A*	`conf`	Broadcasting in unreliable radio networks. PODC Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport, Rotem Oshman, Andréa W. Richa
2010	—	`conf`	Decomposing broadcast algorithms using abstract MAC layers. DIALM-PODC Majid Khabbazian, Fabian Kuhn, Dariusz R. Kowalski, Nancy A. Lynch
2010	A	`ed.`	Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings DISC Nancy A. Lynch, Alexander A. Shvartsman
2010	A*	`conf`	Distributed computation in dynamic networks. STOC Fabian Kuhn, Nancy A. Lynch, Rotem Oshman
2010	J	`jnl`	Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Distributed Comput. Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman
2010	B	`conf`	Reliably Detecting Connectivity Using Local Graph Traits. OPODIS Alejandro Cornejo, Nancy A. Lynch
2010	—	`book`	The Theory of Timed I/O Automata, Second Edition Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2009	J	`jnl`	Automated implementation of complex distributed algorithms specified in the IOA language. Int. J. Softw. Tools Technol. Transf. Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber
2009	A*	`conf`	Brief announcement: hardness of broadcasting in wireless networks with unreliable communication. PODC Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport
2009	A*	`conf`	Brief announcement: minimum spanning trees and cone-based topology control. PODC Alejandro Cornejo, Nancy A. Lynch
2009	A	`conf`	Keeping Mobile Robot Swarms Connected. DISC Alejandro Cornejo, Fabian Kuhn, Ruy Ley-Wild, Nancy A. Lynch
2009	B	`conf`	Modeling Radio Networks. CONCUR Calvin C. Newport, Nancy A. Lynch
2009	—	`conf`	Neighbor discovery in mobile ad hoc networks using an abstract MAC layer. Allerton Alejandro Cornejo, Nancy A. Lynch, Saira Viqar, Jennifer L. Welch
2009	J	`jnl`	On the weakest failure detector ever. Distributed Comput. Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport
2009	—	`conf`	Reliable distributed computing on unreliable radio channels. S³@MobiHoc Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Dariusz R. Kowalski, Calvin Newport, Fabian Kuhn, Nancy A. Lynch
2009	J	`jnl`	Self-stabilizing robot formations over unreliable networks. ACM Trans. Auton. Adapt. Syst. Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte
2009	B	`conf`	Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. NCA Jiang Wu, Nancy D. Griffeth, Nancy A. Lynch, Calvin C. Newport, Ralph E. Droms
2009	A	`conf`	The Abstract MAC Layer. DISC Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport
2008	J	`jnl`	A general characterization of indulgence. ACM Trans. Auton. Adapt. Syst. Rachid Guerraoui, Nancy A. Lynch
2008	J	`jnl`	Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2008	—	`conf`	Connectivity Service for Mobile Ad-Hoc Networks. SASO Workshops Alejandro Cornejo, Nancy A. Lynch
2008	J	`jnl`	Consensus and collision detectors in radio networks. Distributed Comput. Gregory V. Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte
2008	J	`jnl`	Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptol. ePrint Arch. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2008	B	`conf`	Modeling Computational Security in Long-Lived Systems. CONCUR Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2008	—	`conf`	Modeling Computational Security in Long-Lived Systems. Theoretical Foundations of Practical Information Security Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2008	C	`conf`	Self-stabilizing Mobile Robot Formations with Virtual Nodes. SSS Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte
2008	J	`jnl`	Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
2008	J	`jnl`	Verifying average dwell time of hybrid systems. ACM Trans. Embed. Comput. Syst. Sayan Mitra, Daniel Liberzon, Nancy A. Lynch
2008	A*	`conf`	Virtual infrastructure for collision-prone wireless networks. PODC Gregory V. Chockler, Seth Gilbert, Nancy A. Lynch
2007	A	`conf`	A Virtual Node-Based Tracking Algorithm for Mobile Networks. ICDCS Tina Nolte, Nancy A. Lynch
2007	A	`conf`	Compositional Security for Task-PIOAs. CSF Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2007	A	`conf`	DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982. DISC Nancy A. Lynch
2007	A*	`conf`	Distributed computing theory: algorithms, impossibility results, models, and proofs. STOC Nancy A. Lynch
2007	J	`jnl`	Modeling Computational Security in Long-Lived Systems. IACR Cryptol. ePrint Arch. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2007	J	`jnl`	Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2007	J	`jnl`	On the Role of Scheduling in Simulation-Based Security. IACR Cryptol. ePrint Arch. Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira
2007	A*	`conf`	On the weakest failure detector ever. PODC Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport
2007	—	`conf`	Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. HSCC Shinya Umeno, Nancy A. Lynch
2007	C	`conf`	Self-stabilization and Virtual Node Layer Emulations. SSS Tina Nolte, Nancy A. Lynch
2007	C	`conf`	The DHCP Failover Protocol: A Formal Perspective. FORTE Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch
2007	J	`jnl`	The virtual node layer: a programming abstraction for wireless sensor networks. SIGBED Rev. Matthew Brown, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte, Michael Spindel
2007	—	`conf`	Trace-Based Semantics for Probabilistic Timed I/O Automata. HSCC Sayan Mitra, Nancy A. Lynch
2006	C	`conf`	A General Characterization of Indulgence. SSS Rachid Guerraoui, Nancy A. Lynch
2006	A*	`conf`	An Omega ( PODC Rui Fan, Nancy A. Lynch
2006	J	`jnl`	Gradient clock synchronization. Distributed Comput. Rui Fan, Nancy A. Lynch
2006	—	`conf`	Proving Approximate Implementations for Probabilistic I/O Automata. PDPAR/PaUL@FLoC Sayan Mitra, Nancy A. Lynch
2006	B	`conf`	Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. FM Shinya Umeno, Nancy A. Lynch
2006	C	`conf`	Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
2006	J	`jnl`	Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2006	—	`conf`	Testing Self-Similar Networks. MBT Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch
2006	—	`book`	The Theory of Timed I/O Automata Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2006	A	`conf`	Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2006	—	`conf`	Verifying Average Dwell Time by Solving Optimization Problems. HSCC Sayan Mitra, Nancy A. Lynch, Daniel Liberzon
2005	—	`conf`	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language. PDCS Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber
2005	A*	`conf`	Brief announcement: virtual stationary automata for mobile networks. PODC Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte
2005	J	`jnl`	GeoQuorums: implementing atomic memory in mobile Distributed Comput. Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch
2005	—	`conf`	Motion Coordination using Virtual Nodes. CDC/ECC Nancy A. Lynch, Sayan Mitra, Tina Nolte
2005	A	`conf`	Proving Atomicity: An Assertional Approach. DISC Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber
2005	—	`conf`	Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast. ICDCS Workshops Gregory V. Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte
2005	—	`conf`	Self-stabilizing Mobile Node Location Management and Message Routing. Self-Stabilizing Systems Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte
2005	A	`conf`	The Impossibility of Boosting Distributed Service Resilience. ICDCS Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum
2005	B	`conf`	Timed Virtual Stationary Automata for Mobile Networks. OPODIS Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte
2005	—	`conf`	Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra
2005	J	`jnl`	Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptol. ePrint Arch. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2004	B	`conf`	A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. OPODIS Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch
2004	A*	`conf`	Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. PODC Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch
2004	A*	`conf`	Brief announcement: virtual mobile nodes for mobile ad hoc networks. PODC Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
2004	B	`conf`	Clock Synchronization for Wireless Networks. OPODIS Rui Fan, Indraneel Chakraborty, Nancy A. Lynch
2004	B	`conf`	Compiling IOA without Global Synchronization. NCA Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai
2004	—	`conf`	Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT Dilsun Kirli Kaynar, Nancy A. Lynch
2004	A*	`conf`	Gradient clock synchronization. PODC Rui Fan, Nancy A. Lynch
2004	C	`conf`	Switched Probabilistic I/O Automata. ICTAC Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2004	J	`jnl`	Using simulated execution in verifying distributed algorithms. Int. J. Softw. Tools Technol. Transf. Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2004	A	`conf`	Virtual Mobile Nodes for Mobile Ad Hoc Networks. DISC Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
2003	A*	`conf`	Brief announcement: efficient replication of large data objects. PODC Rui Fan, Nancy A. Lynch
2003	—	`conf`	Communication and Data Sharing for Dynamic Distributed Systems. Future Directions in Distributed Computing Nancy A. Lynch, Alexander A. Shvartsman
2003	B	`conf`	Compositionality for Probabilistic Automata. CONCUR Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003	A	`conf`	Efficient Replication of Large Data Objects. DISC Rui Fan, Nancy A. Lynch
2003	A	`conf`	GeoQuorums: Implementing Atomic Memory in Mobile DISC Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch
2003	J	`jnl`	Hybrid I/O automata. Inf. Comput. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003	B	`conf`	Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... CONCUR Nancy A. Lynch
2003	A	`conf`	RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. DSN Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman
2003	—	`conf`	Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron
2003	J	`jnl`	Some perspectives on PODC. Distributed Comput. Nancy A. Lynch
2003	A	`conf`	Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. RTSS Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003	B	`conf`	Using Simulated Execution in Verifying Distributed Algorithms. VMCAI Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2003	A*	`conf`	Working with mike on distributed computing theory, 1978--1992. PODC Nancy A. Lynch
2002	C	`conf`	A Formal Venture into Reliable Multicast Territory. FORTE Carolos Livadas, Nancy A. Lynch
2002	J	`jnl`	An inheritance-based technique for building simulation proofs incrementally. ACM Trans. Softw. Eng. Methodol. Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
2002	—	`conf`	Atomic Data Access in Distributed Hash Tables. IPTPS Nancy A. Lynch, Dahlia Malkhi, David Ratajczak
2002	J	`jnl`	Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News Seth Gilbert, Nancy A. Lynch
2002	A	`conf`	Early-Delivery Dynamic Atomic Broadcast. DISC Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch
2002	C	`conf`	Mechanical Translation of I/O Automaton Specifications into First-Order Logic. FORTE Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch
2002	A	`conf`	RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks. DISC Nancy A. Lynch, Alexander A. Shvartsman
2001	B	`conf`	Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. CONCUR Paul C. Attie, Nancy A. Lynch
2001	A*	`conf`	Dynamic input/output automata, a formal model for dynamic systems. PODC Paul C. Attie, Nancy A. Lynch
2001	—	`conf`	Hybrid I/O Automata Revisited. HSCC Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2001	A*	`conf`	Implementing atomic objects in a dynamic environment. PODC Nancy A. Lynch
2001	J	`jnl`	Specifying and using a partitionable group communication service. ACM Trans. Comput. Syst. Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman
2001	J	`jnl`	The BG distributed simulation algorithm. Distributed Comput. Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum
2000	A*	`conf`	An inheritance-based technique for building simulation proofs incrementally. ICSE Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
2000	J	`jnl`	High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS). Proc. IEEE Carolos Livadas, John Lygeros, Nancy A. Lynch
2000	—	`ed.`	Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings HSCC Nancy A. Lynch, Bruce H. Krogh
2000	—	`conf`	On Formal Modeling of Agent Computations. FAABS Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
2000	J	`jnl`	Revisiting the PAXOS algorithm. Theor. Comput. Sci. Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch
2000	J	`jnl`	Tight bounds for J. ACM Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
2000	B	`conf`	Totally Ordered Multicast with Bounded Delays and Variable Rates. OPODIS Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch
2000	J	`jnl`	Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Distributed Comput. Anna Pogosyants, Roberto Segala, Nancy A. Lynch
1999	A	`conf`	A Dynamic Primary Configuration Group Communication Service. DISC Roberto De Prisco, Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman
1999	J	`jnl`	Eventually-Serializable Data Services. Theor. Comput. Sci. Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
1999	A	`conf`	High-Level Modeling and Analysis of TCAS. RTSS Carolos Livadas, John Lygeros, Nancy A. Lynch
1999	—	`conf`	High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). HSCC Nancy A. Lynch
1999	—	`conf`	I/O Automaton Models and Proofs for Shared-Key Communication Systems. CSFW Nancy A. Lynch
1999	J	`jnl`	NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 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, Mark D. Weiser, Jeannette M. Wing
1999	A	`conf`	Specifications and Proofs for Ensemble Layers. TACAS Jason Hickey, Nancy A. Lynch, Robbert van Renesse
1999	J	`jnl`	Timing Conditions for Linearizability in Uniform Counting Networks. Theor. Comput. Sci. Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou
1998	A*	`conf`	A Dynamic View-Oriented Group Communication Service. PODC Roberto De Prisco, Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman
1998	A	`conf`	A Proof of Burns TACAS Henrik Ejersbo Jensen, Nancy A. Lynch
1998	—	`conf`	Formal Verification of Safety-Critical Hybrid Systems. HSCC Carolos Livadas, Nancy A. Lynch
1998	J	`jnl`	Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. J. ACM Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch
1998	J	`jnl`	Liveness in Timed and Untimed Systems. Inf. Comput. Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
1998	A	`conf`	Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service. DISC Roger Khazan, Alan D. Fekete, Nancy A. Lynch
1998	—	`conf`	Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
1998	—	`conf`	Strings of Vehicles: Modeling and Safety Conditions. HSCC John Lygeros, Nancy A. Lynch
1997	—	`conf`	In Memory of Anna Pogosyants. WDAG Nancy A. Lynch
1997	—	`conf`	Revisiting the Paxos Algorithm. WDAG Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch
1997	—	`conf`	Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts. FTCS Nancy A. Lynch, Alexander A. Shvartsman
1997	—	`conf`	Safety Verification for Automated Platoon Maneuvers: A Case Study. HART Ekaterina Dolginova, Nancy A. Lynch
1997	A*	`conf`	Specifying and Using a Partitionable Group Communication Service. PODC Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman
1997	—	`conf`	Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. WDAG Anna Pogosyants, Roberto Segala, Nancy A. Lynch
1996	—	`conf`	A Toolbox for Proving and Maintaining Hybrid Specifications. Hybrid Systems Michael S. Branicky, Ekaterina Dolginova, Nancy A. Lynch
1996	J	`jnl`	A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack. Inf. Comput. George Varghese, Nancy A. Lynch
1996	J	`jnl`	Action Transducers and Timed Automata. Formal Aspects Comput. Nancy A. Lynch, Frits W. Vaandrager
1996	C	`conf`	Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
1996	A	`conf`	Correctness of vehicle control systems-a case study. RTSS Henri B. Weinberg, Nancy A. Lynch
1996	A*	`conf`	Counting Networks are Practically Linearizable. PODC Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou
1996	—	`book`	Distributed Algorithms Nancy A. Lynch
1996	A*	`conf`	Eventually-Serializable Data Services. PODC Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
1996	J	`jnl`	Forward and Backward Simulations, II: Timing-Based Systems. Inf. Comput. Nancy A. Lynch, Frits W. Vaandrager
1996	A*	`conf`	On the Borowsky-Gafni Simulation Algorithm (Abstract). PODC Nancy A. Lynch, Sergio Rajsbaum
1996	—	`conf`	On the Borowsky-Gafni Simulation Algorithm. ISTCS Nancy A. Lynch, Sergio Rajsbaum
1995	J	`jnl`	A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. Formal Aspects Comput. Nancy A. Lynch, Roberto Segala
1995	—	`ch.`	A Tight Lower Bound for Processor Coordination. Responsive Computer Systems Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
1995	J	`jnl`	Forward and Backward Simulations: I. Untimed Systems Inf. Comput. Nancy A. Lynch, Frits W. Vaandrager
1995	J	`jnl`	Hybrid Atomicity for Nested Transactions. Theor. Comput. Sci. Alan D. Fekete, Nancy A. Lynch, William E. Weihl
1995	—	`conf`	Hybrid I/O Automata. Hybrid Systems Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
1995	A	`conf`	Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. ICDCS Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch
1995	—	`conf`	Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. Hybrid Systems Nancy A. Lynch
1995	J	`jnl`	Probabilistic Simulations for Probabilistic Processes. Nord. J. Comput. Roberto Segala, Nancy A. Lynch
1995	—	`conf`	Proving Safety Properties of the Steam Boiler Controller. Formal Methods for Industrial Applications Gunter Leeb, Nancy A. Lynch
1995	—	`conf`	Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). ISTCS Jon M. Kleinberg, Hagit Attiya, Nancy A. Lynch
1995	—	`conf`	Verification of Automated Vehicle Protection Systems. Hybrid Systems Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle
1994	J	`jnl`	Are Wait-Free Algorithms Fast? J. ACM Hagit Attiya, Nancy A. Lynch, Nir Shavit
1994	—	`conf`	Atomic Transactions for Multiprocessor Programming: A Formal Approach. Specification of Parallel Algorithms Nancy A. Lynch
1994	J	`jnl`	Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty. J. ACM Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
1994	A*	`conf`	Liveness in Timed and Untimed Systems. ICALP Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
1994	J	`jnl`	Number of faults a system can withstand without repairs. CoRR Michel X. Goemans, Nancy A. Lynch, Isaac Saias
1994	B	`conf`	Probabilistic Simulations for Probabilistic Processes. CONCUR Roberto Segala, Nancy A. Lynch
1994	A*	`conf`	Proving Time Bounds for Randomized Distributed Algorithms. PODC Nancy A. Lynch, Isaac Saias, Roberto Segala
1994	C	`conf`	Proving performance propterties (even probabilistic ones). FORTE Nancy A. Lynch
1994	J	`jnl`	Proving time bounds for randomized distributed algorithms. CoRR Nancy A. Lynch, Isaac Saias, Roberto Segala
1994	J	`jnl`	Quorum Consensus in Nested Transaction Systems. ACM Trans. Database Syst. Kenneth J. Goldman, Nancy A. Lynch
1994	J	`jnl`	Reliable Communication Over Unreliable Channels. J. ACM Yehuda Afek, Hagit Attiya, Alan D. Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Da-Wei Wang, Lenore D. Zuck
1994	A	`conf`	The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. RTSS Constance L. Heitmeyer, Nancy A. Lynch
1994	J	`jnl`	Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty Inf. Comput. Hagit Attiya, Nancy A. Lynch
1994	C	`conf`	Verifying timing properties of concurrent algorithms. FORTE Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch
1993	J	`jnl`	A Modular Drinking Philosophers Algorithm. Distributed Comput. Jennifer L. Welch, Nancy A. Lynch
1993	A*	`conf`	A Tight Lower Bound for k-Set Agreement FOCS Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
1993	—	`book`	Atomic Transactions Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete
1993	J	`jnl`	Bounds on Shared Memory for Mutual Exclusion Inf. Comput. James E. Burns, Nancy A. Lynch
1993	A*	`conf`	Computer-Assisted Simulation Proofs. CAV Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
1993	C	`conf`	Correctness of At-Most-Once Message Delivery Protocols. FORTE Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
1993	A*	`conf`	Designing Algorithms for Distributed Systems with Partially Synchronized Clocks. PODC Soma Chaudhuri, Rainer Gawlick, Nancy A. Lynch
1993	—	`conf`	Simulation Techniques for Proving Properties of Real-Time Systems. REX School/Symposium Nancy A. Lynch
1993	J	`jnl`	The Impossibility of Implementing Reliable Communication in the Face of Crashes. J. ACM Alan D. Fekete, Nancy A. Lynch, Yishay Mansour, John Spinelli
1992	A*	`conf`	A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. PODC George Varghese, Nancy A. Lynch
1992	B	`conf`	Action Transducers and Timed Automata. CONCUR Frits W. Vaandrager, Nancy A. Lynch
1992	B	`conf`	At-Most-Once Message Delivery. A Case Study in Algorithm Verification. CONCUR Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
1992	—	`conf`	Concurrent Timestamping Made Simple. ISTCS Rainer Gawlick, Nancy A. Lynch, Nir Shavit
1992	A	`conf`	Hybrid Atomicity for Nested Transactions. ICDT Alan D. Fekete, Nancy A. Lynch, William E. Weihl
1992	J	`jnl`	On the Correctness of Orphan Management Algorithms. J. ACM Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl
1992	J	`jnl`	Optimal Placement of Identical Resources in a Tree Inf. Comput. Michael J. Fischer, Nancy D. Griffeth, Leonidas J. Guibas, Nancy A. Lynch
1992	A	`conf`	Timing-Based Mutual Exclusion. RTSS Nancy A. Lynch, Nir Shavit
1992	J	`jnl`	Using Mappings to Prove Timing Properties. Distributed Comput. Nancy A. Lynch, Hagit Attiya
1991	A*	`conf`	Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty STOC Hagit Attiya, Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
1991	—	`conf`	Forward and Backward Simulations for Timing-Based Systems. REX Workshop Nancy A. Lynch, Frits W. Vaandrager
1990	A*	`conf`	A Serialization Graph Construction for Nested Transactions. PODS Alan D. Fekete, Nancy A. Lynch, William E. Weihl
1990	A*	`conf`	Are Wait-Free Algorithms Fast? (Extended Abstract) FOCS Hagit Attiya, Nancy A. Lynch, Nir Shavit
1990	J	`jnl`	Commutativity-Based Locking for Nested Transactions. J. Comput. Syst. Sci. Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1990	—	`ch.`	Distributed Computing: Models and Methods. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Leslie Lamport, Nancy A. Lynch
1990	A*	`conf`	Modelling Shared State in a Shared Action Model LICS Kenneth J. Goldman, Nancy A. Lynch
1990	B	`conf`	The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. CONCUR Alan D. Fekete, Nancy A. Lynch
1990	A*	`conf`	Using Mappings to Prove Timing Properties. PODC Nancy A. Lynch, Hagit Attiya
1989	A*	`conf`	A Hundred Impossibility Proofs for Distributed Computing. PODC Nancy A. Lynch
1989	J	`jnl`	A Proof of the Kahn Principle for Input/Output Automata Inf. Comput. Nancy A. Lynch, Eugene W. Stark
1989	—	`conf`	Commutativity-Based Locking for Nested Transactions. POS Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1989	J	`jnl`	Distributed FIFO Allocation of Identical Resources Using Small Shared Space. ACM Trans. Program. Lang. Syst. Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin
1989	—	`conf`	Multivalued Possibilities Mappings. REX Workshop Nancy A. Lynch
1989	A	`conf`	Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty. RTSS Hagit Attiya, Nancy A. Lynch
1988	A*	`conf`	A Lattice-Structured Proof of a Minimum Spanning. PODC Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch
1988	J	`jnl`	A New Fault-Tolerance Algorithm for Clock Synchronization Inf. Comput. Jennifer L. Welch, Nancy A. Lynch
1988	A	`conf`	A Theory of Atomic Transactions. ICDT Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete
1988	A*	`conf`	A Theory of Timestamp-Based Concurrency Control for Nested Transactions. VLDB James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1988	J	`jnl`	Consensus in the presence of partial synchrony. J. ACM Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
1988	A*	`conf`	Data Link Layer: Two Impossibility Results. PODC Nancy A. Lynch, Yishay Mansour, Alan D. Fekete
1988	J	`jnl`	Introduction to the Theory of Nested Transactions. Theor. Comput. Sci. Nancy A. Lynch, Michael Merritt
1988	A	`conf`	Reliable Broadcast in Networks with Nonprogrammable Servers. ICDCS Hector Garcia-Molina, Boris Kogan, Nancy A. Lynch
1987	—	`conf`	A Modular Proof of Correctness for a Network Synchronizer (Research Summary). WDAG Alan D. Fekete, Nancy A. Lynch, Liuba Shrira
1987	J	`jnl`	Discarding Obsolete Information in a Replicated Database System. IEEE Trans. Software Eng. Sunil K. Sarin, Nancy A. Lynch
1987	J	`jnl`	Electing a leader in a synchronous ring. J. ACM Greg N. Frederickson, Nancy A. Lynch
1987	A*	`conf`	Hierarchical Correctness Proofs for Distributed Algorithms. PODC Nancy A. Lynch, Mark R. Tuttle
1987	A*	`conf`	Nested Transactions and Read/Write Locking. PODS Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1987	A*	`conf`	Quorum Consensus in Nested Transaction Systems. PODC Kenneth J. Goldman, Nancy A. Lynch
1986	—	`conf`	An Overview of Clock Synchronization. Fault-Tolerant Distributed Computing Barbara Simons, Jennifer L. Welch, Nancy A. Lynch
1986	J	`jnl`	Concurrency Control for Resilient Nested Transactions. Adv. Comput. Res. Nancy A. Lynch
1986	A*	`conf`	Correctness Conditions for Highly Available Replicated Databases. PODC Nancy A. Lynch, Barbara T. Blaustein, Michael D. Siegel
1986	—	`conf`	Easy Impossibility Proofs for Distributed Consensus Problems. Fault-Tolerant Distributed Computing Michael J. Fischer, Nancy A. Lynch, Michael Merritt
1986	J	`jnl`	Easy Impossibility Proofs for Distributed Consensus Problems. Distributed Comput. Michael J. Fischer, Nancy A. Lynch, Michael Merritt
1986	A	`conf`	Introduction to the Theory of Nested Transactions. ICDT Nancy A. Lynch, Michael Merritt
1986	J	`jnl`	Probabilistic Analysis of a Network Resource Allocation Algorithm Inf. Control. Nancy A. Lynch, Nancy D. Griffeth, Michael J. Fischer, Leonidas J. Guibas
1986	J	`jnl`	Reaching approximate agreement in the presence of faults. J. ACM Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
1985	A*	`conf`	Easy Impossibility Proofs for Distributed Consensus Problems. PODC Michael J. Fischer, Nancy A. Lynch, Michael Merritt
1985	J	`jnl`	Impossibility of Distributed Consensus with One Faulty Process J. ACM Michael J. Fischer, Nancy A. Lynch, Mike Paterson
1984	A*	`conf`	A New Fault-Tolerant Algorithm for Clock Synchronization. PODC Jennifer Lundelius, Nancy A. Lynch
1984	J	`jnl`	An Upper and Lower Bound for Clock Synchronization Inf. Control. Jennifer Lundelius, Nancy A. Lynch
1984	A*	`conf`	Consensus in the Presence of Partial Synchrony (Preliminary Version). PODC Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
1984	A*	`conf`	The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring STOC Greg N. Frederickson, Nancy A. Lynch
1983	J	`jnl`	A Technique for Decomposing Algorithms Which Use a Single Shared Variable. J. Comput. Syst. Sci. Nancy A. Lynch, Michael J. Fischer
1983	A*	`conf`	Concurrency Control for Resilient Nested Transactions. PODS Nancy A. Lynch
1983	J	`jnl`	Efficiency of Synchronous Versus Asynchronous Distributed Systems J. ACM Eshrat Arjomandi, Michael J. Fischer, Nancy A. Lynch
1983	A*	`conf`	Impossibility of Distributed Consensus with One Faulty Process. PODS Michael J. Fischer, Nancy A. Lynch, Mike Paterson
1983	J	`jnl`	Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. Nancy A. Lynch
1983	A*	`ed.`	Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA STOC David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy A. Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel I. Seiferas
1983	A*	`ed.`	Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 PODC Robert L. Probert, Nancy A. Lynch, Nicola Santoro
1983	—	`conf`	Reaching Approximate Agreement in the Presence of Faults. Symposium on Reliability in Distributed Software and Database Systems Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
1982	J	`jnl`	A Lower Bound for the Time to Assure Interactive Consistency. Inf. Process. Lett. Michael J. Fischer, Nancy A. Lynch
1982	J	`jnl`	Accessibility of Values as a Determinant of Relative Complexity in Algebras. J. Comput. Syst. Sci. Nancy A. Lynch
1982	J	`jnl`	An Efficient Algorithm for Byzantine Agreement without Authentication Inf. Control. Danny Dolev, Michael J. Fischer, Robert J. Fowler, Nancy A. Lynch, H. Raymond Strong
1982	A*	`conf`	Cryptographic Protocols STOC Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
1982	J	`jnl`	Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable. J. ACM James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson
1982	J	`jnl`	Global States of a Distributed System. IEEE Trans. Software Eng. Michael J. Fischer, Nancy D. Griffeth, Nancy A. Lynch
1982	A*	`conf`	Multilevel Atomicity. PODS Nancy A. Lynch
1981	A*	`conf`	A Difference in Efficiency between Synchronous and Asynchronous Systems STOC Eshrat Arjomandi, Michael J. Fischer, Nancy A. Lynch
1981	J	`jnl`	A Time-Space Tradeoff for Sorting on Non-Oblivious Machines. J. Comput. Syst. Sci. Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa
1981	J	`jnl`	Efficient Searching Using Partial Ordering. Inf. Process. Lett. Allan Borodin, Leonidas J. Guibas, Nancy A. Lynch, Andrew Chi-Chih Yao
1981	J	`jnl`	On Describing the Behavior and Implementation of Distributed Systems. Theor. Comput. Sci. Nancy A. Lynch, Michael J. Fischer
1981	A	`conf`	Optimal Placement of Identical Resources in a Distributed Network. ICDCS Michael J. Fischer, Leonidas J. Guibas, Nancy D. Griffeth, Nancy A. Lynch
1981	J	`jnl`	Relative Complexity of Algebras. Math. Syst. Theory Nancy A. Lynch, Edward K. Blum
1981	A*	`conf`	The Design and Analysis of Cryptographic Protocols. CRYPTO Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
1981	J	`jnl`	Upper Bounds for Static Resource Allocation in a Distributed System. J. Comput. Syst. Sci. Nancy A. Lynch
1980	A*	`conf`	Fast Allocation of Nearby Resources in a Distributed System STOC Nancy A. Lynch
1980	J	`jnl`	Relative Complexity of Operations on Numeric and Bit-String Algebras. Math. Syst. Theory Nancy A. Lynch, Edward K. Blum
1980	J	`jnl`	Straight-Line Program Length as a Parameter for Complexity Analysis. J. Comput. Syst. Sci. Nancy A. Lynch
1979	J	`jnl`	A Difference in Expressive Power Between Flowcharts and Recursion Schemes. Math. Syst. Theory Nancy A. Lynch, Edward K. Blum
1979	A*	`conf`	A Time-Space Tradeoff for Sorting on Non-Oblivious Machines FOCS Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa
1979	J	`jnl`	A time-space tradeoff for sorting and related non-oblivious computations. SIGACT News Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa
1979	—	`conf`	On Describing the Behavior and Implementation of Distributed Systems. Semantics of Concurrent Computation Nancy A. Lynch, Michael J. Fischer
1979	A*	`ed.`	Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA STOC Michael J. Fischer, Richard A. DeMillo, Nancy A. Lynch, Walter A. Burkhard, Alfred V. Aho
1979	A*	`conf`	Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) FOCS Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin
1978	J	`jnl`	Log Space Machines with Multiple Oracle Tapes. Theor. Comput. Sci. Nancy A. Lynch
1978	J	`jnl`	On Structure Preserving Reductions. SIAM J. Comput. Nancy A. Lynch, Richard J. Lipton
1978	A*	`conf`	Straight-Line Program Length as a Parameter for Complexity Measures STOC Nancy A. Lynch
1977	J	`jnl`	Derivation Complexity in Context-Free Grammar Forms. SIAM J. Comput. Seymour Ginsburg, Nancy A. Lynch
1977	A*	`conf`	Efficient Reducibility Between Programming Systems: Preliminary Report STOC Nancy A. Lynch, Edward K. Blum
1977	J	`jnl`	Log Space Recognition and Translation of Parenthesis Languages. J. ACM Nancy A. Lynch
1976	J	`jnl`	Complexity-Class-Encoding Sets. J. Comput. Syst. Sci. Nancy A. Lynch
1976	J	`jnl`	Relativization of Questions About Log Space Computability. Math. Syst. Theory Richard E. Ladner, Nancy A. Lynch
1976	J	`jnl`	Size complexity in context-free grammars forms. J. ACM Seymour Ginsburg, Nancy A. Lynch
1975	J	`jnl`	"Helping": Several Formalizations. J. Symb. Log. Nancy A. Lynch
1975	J	`jnl`	A Comparison of Polynomial Time Reducibilities. Theor. Comput. Sci. Richard E. Ladner, Nancy A. Lynch, Alan L. Selman
1975	J	`jnl`	A quantifier characterization for nondeterministic log space. SIGACT News Richard J. Lipton, Nancy A. Lynch
1975	A*	`conf`	Comparative Complexity of Grammar Forms STOC Seymour Ginsburg, Nancy A. Lynch
1975	J	`jnl`	On Reducibility to Complex or Sparse Sets. J. ACM Nancy A. Lynch
1974	J	`jnl`	Approximations to the Halting Problem. J. Comput. Syst. Sci. Nancy A. Lynch
1974	A*	`conf`	Comparisons of Polynomial-Time Reducibilities STOC Richard E. Ladner, Nancy A. Lynch, Alan L. Selman
1973	A*	`conf`	Sets that Don't Help STOC Nancy A. Lynch, Albert R. Meyer, Michael J. Fischer