Nancy A. Lynch
Orcid: 0000-0003-3045-265XAffiliations:
- Massachusetts Institute of Technology (MIT), Computer Science and Artificial Intelligence Laboratory (CSAIL)
According to our database1,
Nancy A. Lynch
authored at least 318 papers
between 1973 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1997, "For contributions to the theory of distributed computing, including mathematical models and proof techniques, algorithms and impossiblity results.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Using Single-Neuron Representations for Hierarchical Concepts as Abstractions of Multi-Neuron Representations.
CoRR, 2024
CoRR, 2024
CoRR, 2024
2023
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback.
Proceedings of the Structural Information and Communication Complexity, 2023
A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the 5th workshop on Advanced tools, 2023
2022
Neuromorph. Comput. Eng., June, 2022
ACM Trans. Storage, 2022
The Power of Population Effect in <i>Temnothorax</i> Ant House-Hunting: A Computational Modeling Approach.
J. Comput. Biol., 2022
An Upper and Lower Bound for the Convergence Time of House-Hunting in <i>Temnothorax</i> Ant Colonies.
J. Comput. Biol., 2022
Emergence of Direction-Selective Retinal Cell Types in Task-Optimized Deep Learning Models.
J. Comput. Biol., 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem.
Proceedings of the Swarm Intelligence - 13th International Conference, 2022
2021
CoRR, 2021
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021
2020
Theor. Comput. Sci., 2020
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020
How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning.
Proceedings of the LATIN 2020: Theoretical Informatics, 2020
Proceedings of the 11th Innovations in Theoretical Computer Science Conference, 2020
2019
Proc. ACM Meas. Anal. Comput. Syst., 2019
Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits.
Neural Comput., 2019
How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning.
CoRR, 2019
CoRR, 2019
Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit.
Proceedings of the 33rd International Symposium on Distributed Computing, 2019
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019
2018
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
2017
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., 2017
Searching without communicating: tradeoffs between performance and selection complexity.
Distributed Comput., 2017
Distributed Comput., 2017
Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks.
Proceedings of the 31st International Symposium on Distributed Computing, 2017
Proceedings of the 31st International Symposium on Distributed Computing, 2017
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017
Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks.
Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017
2016
Inf. Comput., 2016
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016
Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016
2015
Proceedings of the Distributed Computing - 29th International Symposium, 2015
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015
2014
Proceedings of the Distributed Computing - 28th International Symposium, 2014
Trade-offs between selection complexity and performance when searching the plane without communication.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014
2013
Athena lecture: distributed computing theory for wireless networks and mobile systems.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
2012
Proceedings of the Distributed Computing - 26th International Symposium, 2012
Proceedings of the Distributed Computing - 26th International Symposium, 2012
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
Proceedings of the FOMC'12, 2012
2011
Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011
Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011
2010
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02003-2, 2010
Distributed Comput., 2010
Proceedings of the 42nd ACM Symposium on Theory of Computing, 2010
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
2009
ACM Trans. Auton. Adapt. Syst., 2009
Automated implementation of complex distributed algorithms specified in the IOA language.
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the Distributed Computing, 23rd International Symposium, 2009
Proceedings of the 2009 MobiHoc S³ workshop on MobiHoc S³, 2009
Brief announcement: hardness of broadcasting in wireless networks with unreliable communication.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009
Proceedings of the 47th Annual Allerton Conference on Communication, 2009
2008
ACM Trans. Embed. Comput. Syst., 2008
IACR Cryptol. ePrint Arch., 2008
Discret. Event Dyn. Syst., 2008
Des. Autom. Embed. Syst., 2008
Proceedings of the Stabilization, 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008
2007
SIGBED Rev., 2007
IACR Cryptol. ePrint Arch., 2007
IACR Cryptol. ePrint Arch., 2007
DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982.
Proceedings of the Distributed Computing, 21st International Symposium, 2007
Proceedings of the 39th Annual ACM Symposium on Theory of Computing, 2007
Proceedings of the Stabilization, 2007
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007
2006
Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2006
Theor. Comput. Sci., 2006
Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006
Proceedings of the Second Workshop on Model Based Testing, 2006
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.
Proceedings of the FM 2006: Formal Methods, 2006
2005
IACR Cryptol. ePrint Arch., 2005
Distributed Comput., 2005
Proceedings of the Distributed Computing, 19th International Conference, 2005
Proceedings of the Self-Stabilizing Systems, 2005
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Proceedings of the Distributed Computing, 18th International Conference, 2004
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004
Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004
Proceedings of the Theoretical Aspects of Computing, 2004
Proceedings of the Formal Techniques, 2004
2003
Proceedings of the Distributed Computing, 17th International Conference, 2003
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
Proceedings of the CONCUR 2003, 2003
Proceedings of the Future Directions in Distributed Computing, 2003
2002
ACM Trans. Softw. Eng. Methodol., 2002
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services.
SIGACT News, 2002
Proceedings of the Distributed Computing, 16th International Conference, 2002
Proceedings of the Distributed Computing, 16th International Conference, 2002
Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
2001
ACM Trans. Comput. Syst., 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
2000
High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS).
Proc. IEEE, 2000
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.
Distributed Comput., 2000
Totally Ordered Multicast with Bounded Delays and Variable Rates.
Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000
1999
Theor. Comput. Sci., 1999
ACM SIGSOFT Softw. Eng. Notes, 1999
Proceedings of the Distributed Computing, 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999
1998
Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication.
J. ACM, 1998
Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service.
Proceedings of the Distributed Computing, 12th International Symposium, 1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998
Proceedings of the Digest of Papers: FTCS-28, 1998
1997
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997
Proceedings of the Hybrid and Real-Time Systems, 1997
Proceedings of the Digest of Papers: FTCS-27, 1997
1996
Inf. Comput., 1996
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
On the Borowsky-Gafni Simulation Algorithm.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996
Proceedings of the Hybrid Systems IV, 1996
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.
Proceedings of the Formal Description Techniques IX: Theory, 1996
Distributed Algorithms
Morgan Kaufmann, ISBN: 1-55860-348-4, 1996
1995
Probabilistic Simulations for Probabilistic Processes.
Nord. J. Comput., 1995
A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems.
Formal Aspects Comput., 1995
Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report).
Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations.
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the Formal Methods for Industrial Applications, 1995
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995
1994
Inf. Comput., April, 1994
J. ACM, 1994
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
Proving performance propterties (even probabilistic ones).
Proceedings of the Formal Description Techniques VII, 1994
Verifying timing properties of concurrent algorithms.
Proceedings of the Formal Description Techniques VII, 1994
Proceedings of the Specification of Parallel Algorithms, 1994
1993
J. ACM, 1993
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993
Correctness of At-Most-Once Message Delivery Protocols.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
Atomic Transactions
Morgan Kaufmann series in data management systems, Morgan Kaufmann, ISBN: 1-55860-104-X, 1993
1992
Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992
Proceedings of the Theory of Computing and Systems, 1992
Proceedings of the CONCUR '92, 1992
1991
Proceedings of the Real-Time: Theory in Practice, 1991
1990
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
The Need for Headers: An Impossibility Result for Communication over Unreliable Channels.
Proceedings of the CONCUR '90, 1990
Proceedings of the Handbook of Theoretical Computer Science, 1990
1989
ACM Trans. Program. Lang. Syst., 1989
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989
1988
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988
1987
IEEE Trans. Software Eng., 1987
Proceedings of the Distributed Algorithms, 1987
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987
1986
Inf. Control., 1986
Distributed Comput., 1986
Concurrency Control for Resilient Nested Transactions.
Adv. Comput. Res., 1986
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986
Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986
1985
1984
The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
1983
ACM Trans. Database Syst., 1983
J. Comput. Syst. Sci., 1983
1982
Inf. Control., March, 1982
J. Comput. Syst. Sci., 1982
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.
J. ACM, 1982
Inf. Process. Lett., 1982
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982
Proceedings of the ACM Symposium on Principles of Database Systems, 1982
1981
Theor. Comput. Sci., 1981
J. Comput. Syst. Sci., 1981
J. Comput. Syst. Sci., 1981
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981
Optimal Placement of Identical Resources in a Distributed Network.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
The Design and Analysis of Cryptographic Protocols.
Proceedings of the Advances in Cryptology: A Report on CRYPTO 81, 1981
1980
Math. Syst. Theory, 1980
J. Comput. Syst. Sci., 1980
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
1979
SIGACT News, 1979
Math. Syst. Theory, 1979
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979
1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978
1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977
1976
1975
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975
1974
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974
1973
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973