Michael Merritt

86 papers A* 23A 9B 5Journal 35Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Framework for Variational Inference of Lightweight Bayesian Neural Networks with Heteroscedastic Uncertainties. CoRR David J. Schodt, Ryan C. Brown, Michael Merritt, Samuel Park, Delsin Menolascino, Mark A. Peot
2024	J	`jnl`	On-manifold projected gradient descent. Frontiers Comput. Sci. Aaron Mahler, Tyrus Berry, Tom Stephens, Harbir Antil, Michael Merritt, Jeanie Schreiber, Ioannis G. Kevrekidis
2023	J	`jnl`	On-Manifold Projected Gradient Descent. CoRR Aaron Mahler, Tyrus Berry, Tom Stephens, Harbir Antil, Michael Merritt, Jeanie Schreiber, Ioannis G. Kevrekidis
2021	J	`jnl`	Global sensitivity analysis of rare event probabilities. CoRR Michael Merritt, Alen Alexanderian, Pierre-Alain Gremaud
2021	J	`jnl`	Multiscale Global Sensitivity Analysis for Stochastic Chemical Systems. Multiscale Model. Simul. Michael Merritt, Alen Alexanderian, Pierre-Alain Gremaud
2020	J	`jnl`	Multiscale global sensitivity analysis for stochastic chemical systems. CoRR Michael Merritt, Alen Alexanderian, Pierre-Alain Gremaud
2016	—	`conf`	A reconfigurable architecture to support dynamic communications, radar, and sensing. MILCOM Michael Merritt, Timothy Brothers, Andrew Stark, Jeffrey Rada, Debbie Nielsen, Kyle Davis, Benjamin B. Yang, Chris Ward, Margaret Quiggle
2013	J	`jnl`	Computing with infinitely many processes. Inf. Comput. Michael Merritt, Gadi Taubenfeld
2013	A*	`conf`	Plenary talk. PODC Michael Merritt
2008	B	`conf`	Group Renaming. OPODIS Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld
2008	J	`jnl`	Sequentially consistent versus linearizable counting networks. Distributed Comput. Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld
2005	J	`jnl`	Tight bounds for shared memory systems accessed by Byzantine processes. Distributed Comput. Noga Alon, Michael Merritt, Omer Reingold, Gadi Taubenfeld, Rebecca N. Wright
2003	J	`jnl`	Appraising two decades of distributed computing theory research. Distributed Comput. Michael J. Fischer, Michael Merritt
2003	J	`jnl`	Objects shared by Byzantine processes. Distributed Comput. Dahlia Malkhi, Michael Merritt, Michael K. Reiter, Gadi Taubenfeld
2003	A	`conf`	Resilient Consensus for Infinitely Many Processes. DISC Michael Merritt, Gadi Taubenfeld
2002	J	`jnl`	Restoration by path concatenation: fast recovery of MPLS paths. Distributed Comput. Yehuda Afek, Anat Bremler-Barr, Haim Kaplan, Edith Cohen, Michael Merritt
2002	A	`conf`	Tight Bounds for Shared Memory Systems Accessed by Byzantine Processes. DISC Michael Merritt, Omer Reingold, Gadi Taubenfeld, Rebecca N. Wright
2001	A*	`conf`	Restoration by path concatenation: fast recovery of MPLS paths. PODC Anat Bremler-Barr, Yehuda Afek, Haim Kaplan, Edith Cohen, Michael Merritt
2001	—	`conf`	Restoration path concatenation: fast recovery of MPLS paths. SIGMETRICS/Performance Anat Bremler-Barr, Yehuda Afek, Haim Kaplan, Edith Cohen, Michael Merritt
2001	A*	`conf`	The concurrency hierarchy, and algorithms for unbounded concurrency. PODC Eli Gafni, Michael Merritt, Gadi Taubenfeld
2000	A	`conf`	Computing with Infinitely Many Processes. DISC Michael Merritt, Gadi Taubenfeld
2000	A	`conf`	Objects Shared by Byzantine Processes. DISC Dahlia Malkhi, Michael Merritt, Michael K. Reiter, Gadi Taubenfeld
2000	J	`jnl`	Secure Reliable Multicast Protocols in a WAN. Distributed Comput. Dahlia Malkhi, Michael Merritt, Ohad Rodeh
1999	A*	`conf`	Fast, Wait-Free (2 PODC Yehuda Afek, Michael Merritt
1999	J	`jnl`	Introduction. Distributed Comput. Michael Merritt
1999	J	`jnl`	Modelling Asynchrony with a Synchronous Model. Formal Methods Syst. Des. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1999	—	`ed.`	Networks in Distributed Computing, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 27-29, 1997 Networks in Distributed Computing Marios Mavronicolas, Michael Merritt, Nir Shavit
1999	J	`jnl`	Secure Multicast in a WAN CoRR Dahlia Malkhi, Michael Merritt, Ohad Rodeh
1999	A*	`conf`	Sequentially Consistent versus Linearizable Counting Networks. PODC Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld
1999	J	`jnl`	The Power of Multiobjects. Inf. Comput. Yehuda Afek, Michael Merritt, Gadi Taubenfeld
1998	A	`conf`	Fairness of Shared Objects. DISC Michael Merritt, Gadi Taubenfeld
1997	A*	`conf`	Disentangling Multi-Object Operations (Extended Abstract). PODC Yehuda Afek, Michael Merritt, Gadi Taubenfeld, Dan Touitou
1997	J	`jnl`	Efficient Test & Set Constructions for Faulty Shared Memory. Inf. Process. Lett. Ariel Orda, Michael Merritt
1997	J	`jnl`	Formal Verification of a Distributed Computer System. Formal Methods Syst. Des. Michael Merritt, Ariel Orda, Sonia R. Sachs
1997	A	`conf`	Secure Reliable Multicast Protocols in a WAN. ICDCS Dahlia Malkhi, Michael Merritt, Ohad Rodeh
1996	A*	`conf`	The Power of Multi-objects (Extended Abstract). PODC Yehuda Afek, Michael Merritt, Gadi Taubenfeld
1995	J	`jnl`	Computing With Faulty Shared Objects. J. ACM Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld
1995	A*	`conf`	Modelling Asynchrony with a Synchronous Model. CAV Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1994	J	`jnl`	A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem. ACM Trans. Program. Lang. Syst. Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit
1994	J	`jnl`	A Structural Linearization Principle for Processes. Formal Methods Syst. Des. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1994	J	`jnl`	An attack on the Interlock Protocol when used for authentication. IEEE Trans. Inf. Theory Steven M. Bellovin, Michael Merritt
1994	J	`jnl`	Atomic m-Register Operations. Distributed Comput. Michael Merritt, Gadi Taubenfeld
1994	A	`conf`	Composing system integrity using I/O automata. ACSAC Edward Amoroso, Michael Merritt
1993	A*	`conf`	A Structural Linearization Principle for Processes. CAV Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1993	J	`jnl`	Atomic Snapshots of Shared Memory. J. ACM Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit
1993	—	`book`	Atomic Transactions Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete
1993	A*	`conf`	Augmented Encrypted Key Exchange: A Password-Based Protocol Secure against Dictionary Attacks and Password File Compromise. CCS Steven M. Bellovin, Michael Merritt
1993	—	`conf`	Benign Failure Models for Shared Memory (Preliminary Version). WDAG Yehuda Afek, Michael Merritt, Gadi Taubenfeld
1993	J	`jnl`	Knowledge in Shared Memory Systems. Distributed Comput. Michael Merritt, Gadi Taubenfeld
1993	J	`jnl`	Lazy Caching. ACM Trans. Program. Lang. Syst. Yehuda Afek, Geoffrey M. Brown, Michael Merritt
1993	J	`jnl`	Speeding Lamport's Fast Mutual Exclusion Algorithm. Inf. Process. Lett. Michael Merritt, Gadi Taubenfeld
1992	A*	`conf`	Computing with Faulty Shared Memory (Extended Abstract). PODC Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld
1992	—	`conf`	Encrypted key exchange: password-based protocols secure against dictionary attacks. S&P Steven M. Bellovin, Michael Merritt
1992	J	`jnl`	On the Correctness of Orphan Management Algorithms. J. ACM Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl
1992	B	`conf`	Specifying Non-Blocking Shared Memories (Extended Abstract). SPAA Phillip B. Gibbons, Michael Merritt
1991	—	`conf`	Atomic m-Register Operations (Extended Abstract). WDAG Michael Merritt, Gadi Taubenfeld
1991	—	`ed.`	Distributed Computing And Cryptography, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, October 4-6, 1989 Distributed Computing And Cryptography Joan Feigenbaum, Michael Merritt
1991	A*	`conf`	Knowledge in Shared Memory Systems (Preliminary Version). PODC Michael Merritt, Gadi Taubenfeld
1991	—	`conf`	Limitations of the Kerberos Authentication System. USENIX Winter Steven M. Bellovin, Michael Merritt
1991	B	`conf`	Proving Sequential Consistency of High-Performance Shared Memories (Extended Abstract). SPAA Phillip B. Gibbons, Michael Merritt, Kourosh Gharachorloo
1991	B	`conf`	Time-Constrained Automata (Extended Abstract) CONCUR Michael Merritt, Francesmary Modugno, Marc R. Tuttle
1990	A*	`conf`	Atomic Snapshots of Shared Memory. PODC Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, 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	J	`jnl`	Limitations of the Kerberos authentication system. Comput. Commun. Rev. Steven M. Bellovin, Michael Merritt
1989	B	`conf`	A Lazy Cache Algorithm. SPAA Yehuda Afek, Geoffrey M. Brown, Michael Merritt
1989	—	`conf`	Commutativity-Based Locking for Nested Transactions. POS Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1989	—	`conf`	Completeness Theorems for Automata. REX Workshop Michael Merritt
1989	—	`conf`	Open Questions, Talk Abstracts, and Summary of Discussions. Distributed Computing And Cryptography Joan Feigenbaum, Michael Merritt
1989	J	`jnl`	Simple constant-time consensus protocols in realistic failure models. J. ACM Benny Chor, Michael Merritt, David B. Shmoys
1989	—	`conf`	Towards a Theory of Cryptographic Systems: A Critique of Crypto-Complexity. Distributed Computing And Cryptography Michael Merritt
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`	Introduction to the Theory of Nested Transactions. Theor. Comput. Sci. Nancy A. Lynch, Michael Merritt
1987	A*	`conf`	Nested Transactions and Read/Write Locking. PODS Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
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
1985	A*	`conf`	Easy Impossibility Proofs for Distributed Consensus Problems. PODC Michael J. Fischer, Nancy A. Lynch, Michael Merritt
1985	A*	`conf`	Simple Constant-Time Consensus Protocols in Realistic Failure Models (Extended Abstract). PODC Benny Chor, Michael Merritt, David B. Shmoys
1984	A*	`conf`	A Distributed Algorithm for Deadlock Detection and Resolution. PODC Don P. Mitchell, Michael Merritt
1984	A*	`conf`	Elections in the Presence of Faults. PODC Michael Merritt
1984	A*	`conf`	Poker Protocols. CRYPTO Steven Fortune, Michael Merritt
1983	J	`jnl`	Protocols for Data Security. Computer Richard A. DeMillo, Michael Merritt
1982	A*	`conf`	Cryptographic Protocols STOC Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
1982	A*	`conf`	Key Reconstruction. CRYPTO Michael Merritt
1981	A*	`conf`	The Design and Analysis of Cryptographic Protocols. CRYPTO Richard A. DeMillo, Nancy A. Lynch, Michael Merritt