The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nancy A. Lynch" ( http://dblp.L3S.de/Authors/Nancy_A._Lynch )

URL (Homepage):  http://theory.lcs.mit.edu/~lynch/  Author page on DBLP  Author page in RDF  Community of Nancy A. Lynch in ASPL-2

Publication years (Num. hits)
1973-1978 (16) 1979-1981 (16) 1982-1983 (15) 1984-1987 (20) 1988-1990 (21) 1991-1993 (20) 1994-1995 (24) 1996-1997 (17) 1998-1999 (16) 2000-2002 (20) 2003-2004 (23) 2005-2006 (20) 2007-2008 (25) 2009-2010 (17) 2011-2012 (17) 2013-2015 (22) 2016-2017 (22) 2018-2019 (12)
Publication types (Num. hits)
article(137) book(4) incollection(1) inproceedings(196) proceedings(5)
Venues (Conferences, Journals, ...)
PODC(46) CoRR(28) DISC(21) Distributed Computing(19) J. ACM(16) STOC(14) Inf. Comput.(12) CONCUR(9) HSCC(9) J. Comput. Syst. Sci.(9) Theor. Comput. Sci.(9) FORTE(7) OPODIS(7) RTSS(6) ICDCS(5) PODS(5) More (+10 of total 91)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 156 occurrences of 102 keywords

Results
Found 344 publication records. Showing 343 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mien Brabeeba Wang, Nancy A. Lynch Integrating Temporal Information to Spatial Information in a Neural Circuit. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Lili Su, Martin Zubeldia, Nancy A. Lynch Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. Search on Bibsonomy POMACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala Task-structured probabilistic I/O automata. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Cameron Musco A Basic Compositional Model for Spiking Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik Pajak, Tsvetomira Radeva Self-Stabilizing Task Allocation In Spite of Noise. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lili Su, Martin Zubeldia, Nancy A. Lynch Collaboratively Learning the Best Option, Using Bounded Memory. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lili Su, Martin Zubeldia, Nancy A. Lynch Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kishori M. Konwar, Wyatt Lloyd, Haonan Lu, Nancy A. Lynch The SNOW Theorem Revisited. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak On Simple Back-Off in Complicated Radio Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Viveck R. Cadambe, Nicolas C. Nicolaou, Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak On Simple Back-Off in Unreliable Radio Networks. Search on Bibsonomy OPODIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak Brief Announcement: On Simple Back-Off in Unreliable Radio Networks. Search on Bibsonomy DISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tsvetomira Radeva, Anna R. Dornhaus, Nancy A. Lynch, Radhika Nagpal, Hsin-Hao Su Costs of task allocation with local feedback: Effects of colony size and extra workers in social insects and other multi-agent systems. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard A Layered Architecture for Erasure-Coded Consistent Distributed Storage. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nancy A. Lynch, Cameron Musco, Merav Parter Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephan Holzer, Nancy A. Lynch Beeping a Maximal Independent Set Fast. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial A coded shared atomic memory algorithm for message passing architectures. Search on Bibsonomy Distributed Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Lenzen, Nancy A. Lynch, Calvin Newport, Tsvetomira Radeva Searching without communicating: tradeoffs between performance and selection complexity. Search on Bibsonomy Distributed Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard A Layered Architecture for Erasure-Coded Consistent Distributed Storage. Search on Bibsonomy PODC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hsin-Hao Su, Lili Su, Anna R. Dornhaus, Nancy A. Lynch Ant-Inspired Dynamic Task Allocation via Gossiping. Search on Bibsonomy SSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Magnús M. Halldórsson, Fabian Kuhn, Nancy A. Lynch, Calvin Newport An Efficient Communication Abstraction for Dense Wireless Networks. Search on Bibsonomy DISC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Cameron Musco, Merav Parter Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. Search on Bibsonomy DISC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Cameron Musco, Merav Parter Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. Search on Bibsonomy ITCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Nancy A. Lynch Dynamic input/output automata: A formal and compositional model for dynamic systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cameron Musco, Hsin-Hao Su, Nancy A. Lynch Ant-Inspired Density Estimation via Random Walks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nancy A. Lynch, Cameron Musco, Merav Parter Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kishori M. Konwar, N. Prakash, Erez Kantor, Nancy A. Lynch, Muriel Médard, Alexander A. Schwarzmann Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard RADON: Repairable Atomic Data Object in Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Paul C. Attie, Nancy A. Lynch Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard RADON: Repairable Atomic Data Object in Networks. Search on Bibsonomy OPODIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cameron Musco, Hsin-Hao Su, Nancy A. Lynch Ant-Inspired Density Estimation via Random Walks: Extended Abstract. Search on Bibsonomy PODC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. Search on Bibsonomy PODC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kishori M. Konwar, N. Prakash, Erez Kantor, Nancy A. Lynch, Muriel Médard, Alexander A. Schwarzmann Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. Search on Bibsonomy IPDPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Srikanth Sastry Consensus using Asynchronous Failure Detectors. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch Distributed House-Hunting in Ant Colonies. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Magnús M. Halldórsson, Stephan Holzer, Nancy A. Lynch A Local Broadcast Layer for the SINR Network Model. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter Computing in Additive Networks with Bounded-Information Codes. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard Bounded-Contention Coding for the additive network model. Search on Bibsonomy Distributed Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Calvin Newport A (Truly) Local Broadcast Layer for Unreliable Radio Networks. Search on Bibsonomy PODC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch Distributed House-Hunting in Ant Colonies. Search on Bibsonomy PODC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Magnús M. Halldórsson, Stephan Holzer, Nancy A. Lynch A Local Broadcast Layer for the SINR Network Model. Search on Bibsonomy PODC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter Computing in Additive Networks with Bounded-Information Codes. Search on Bibsonomy DISC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Majid Khabbazian, Dariusz R. Kowalski, Fabian Kuhn, Nancy A. Lynch Decomposing broadcast algorithms using abstract MAC layers. Search on Bibsonomy Ad Hoc Networks The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport Structuring unreliable radio networks. Search on Bibsonomy Distributed Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva Trade-offs between selection complexity and performance when searching the plane without communication. Search on Bibsonomy PODC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport Multi-message broadcast with abstract MAC layers and unreliable links. Search on Bibsonomy PODC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. Search on Bibsonomy NCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alejandro Cornejo, Anna R. Dornhaus, Nancy A. Lynch, Radhika Nagpal Task Allocation in Ant Colonies. Search on Bibsonomy DISC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Alexander A. Shvartsman Special issue on DISC 2010. Search on Bibsonomy Distributed Computing The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Nancy A. Lynch, Calvin C. Newport The cost of radio network broadcast for different models of unreliable links. Search on Bibsonomy PODC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch Athena lecture: distributed computing theory for wireless networks and mobile systems. Search on Bibsonomy PODC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch Timed and Probabilistic I/O Automata. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Bernhard Haeupler, Nancy A. Lynch, Calvin C. Newport Bounds on Contention Management in Radio Networks Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard Bounded-Contention Coding for Wireless Networks in the High SNR Regime Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Seth Gilbert, Nancy A. Lynch Perspectives on the CAP Theorem. Search on Bibsonomy IEEE Computer The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry Leader election using loneliness detection. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alejandro Cornejo, Nancy A. Lynch, Srikanth Sastry Asynchronous failure detectors. Search on Bibsonomy PODC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard Bounded-Contention Coding for Wireless Networks in the High SNR Regime. Search on Bibsonomy DISC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Bernhard Haeupler, Nancy A. Lynch, Calvin C. Newport Bounds on Contention Management in Radio Networks. Search on Bibsonomy DISC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Tsvetomira Radeva, Srikanth Sastry Asynchronous leader election and MIS using abstract MAC layer. Search on Bibsonomy FOMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum The impossibility of boosting distributed service resilience. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Calvin C. Newport, Nancy A. Lynch Modeling radio networks. Search on Bibsonomy Distributed Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport The abstract MAC layer. Search on Bibsonomy Distributed Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport Structuring unreliable radio networks. Search on Bibsonomy PODC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tsvetomira Radeva, Nancy A. Lynch Partial reversal acyclicity. Search on Bibsonomy PODC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jiang Wu, Nancy D. Griffeth, Calvin C. Newport, Nancy A. Lynch Engineering the Virtual Node Layer for Reactive MANET Routing. Search on Bibsonomy NCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry Leader Election Using Loneliness Detection. Search on Bibsonomy DISC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Majid Khabbazian, Fabian Kuhn, Nancy A. Lynch, Muriel Médard, Ali ParandehGheibi MAC design for analog network coding. Search on Bibsonomy FOMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikhail Volkov, Alejandro Cornejo, Nancy A. Lynch, Daniela Rus Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration. Search on Bibsonomy PRIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Search on Bibsonomy Distributed Computing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alejandro Cornejo, Nancy A. Lynch Reliably Detecting Connectivity Using Local Graph Traits. Search on Bibsonomy OPODIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport, Rotem Oshman, Andréa W. Richa Broadcasting in unreliable radio networks. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shinya Umeno, Nancy A. Lynch Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. Search on Bibsonomy ICECCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nancy A. Lynch, Alexander A. Shvartsman (eds.) Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings Search on Bibsonomy DISC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Majid Khabbazian, Fabian Kuhn, Dariusz R. Kowalski, Nancy A. Lynch Decomposing broadcast algorithms using abstract MAC layers. Search on Bibsonomy DIALM-PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabian Kuhn, Nancy A. Lynch, Rotem Oshman Distributed computation in dynamic networks. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF distributed algorithms, dynamic networks
1Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager The Theory of Timed I/O Automata, Second Edition Search on Bibsonomy 2010   DOI  RDF
1Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber Automated implementation of complex distributed algorithms specified in the IOA language. Search on Bibsonomy STTT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Input/Output automata, Verifiable distributed code, IOA Toolkit, Formal methods, Automated code generator
1Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte Self-stabilizing robot formations over unreliable networks. Search on Bibsonomy TAAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cooperative mobile robotics, replicated state machines, Formal methods, distributed algorithms, self-stabilization, pattern formation
1Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport On the weakest failure detector ever. Search on Bibsonomy Distributed Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alejandro Cornejo, Nancy A. Lynch Brief announcement: minimum spanning trees and cone-based topology control. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF topology control, minimum spanning trees
1Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport Brief announcement: hardness of broadcasting in wireless networks with unreliable communication. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lower bounds, broadcast
1Jiang Wu, Nancy D. Griffeth, Nancy A. Lynch, Calvin C. Newport, Ralph E. Droms Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. Search on Bibsonomy NCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF virtual node, MANET, address allocation
1Calvin C. Newport, Nancy A. Lynch Modeling Radio Networks. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alejandro Cornejo, Fabian Kuhn, Ruy Ley-Wild, Nancy A. Lynch Keeping Mobile Robot Swarms Connected. Search on Bibsonomy DISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport The Abstract MAC Layer. Search on Bibsonomy DISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer
1Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira Modeling Computational Security in Long-Lived Systems, Version 2. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2008 DBLP  BibTeX  RDF
1Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno Specifying and proving properties of timed I/O automata using Tempo. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sayan Mitra, Daniel Liberzon, Nancy A. Lynch Verifying average dwell time of hybrid systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization-based verification, Hybrid systems, simulation relation
1Rachid Guerraoui, Nancy A. Lynch A general characterization of indulgence. Search on Bibsonomy TAAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Process failures, scheduling failures, agreement
1Gregory V. Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte Consensus and collision detectors in radio networks. Search on Bibsonomy Distributed Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Collision detectors, Fault-tolerance, Wireless ad hoc networks, Consensus
1Alejandro Cornejo, Nancy A. Lynch Connectivity Service for Mobile Ad-Hoc Networks. Search on Bibsonomy SASO Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gregory V. Chockler, Seth Gilbert, Nancy A. Lynch Virtual infrastructure for collision-prone wireless networks. Search on Bibsonomy PODC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira Modeling Computational Security in Long-Lived Systems. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte Self-stabilizing Mobile Robot Formations with Virtual Nodes. Search on Bibsonomy SSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 343 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license