Maurice Herlihy - Publications, H-index & Citations

Maurice Herlihy

brown university

61H指数

466论文数

2.4W被引数

收录论文 10

发表时间

Brief Announcement: Cross-Chain Consensus 跨链共识简报

STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2025

IF0

2026-01-01

PREAI

Jayanti, Sucharita; Herlihy, Maurice

Distributed runtime verification of metric temporal properties

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2024-03-01

PREAI

Ganguly, Ritam; Xue, Yingjie; Jonckheere, Aaron; Ljung, Parker; Schornstein, Benjamin; Bonakdarpour, Borzoo; Herlihy, Maurice

Blockchains from a Distributed Computing Perspective

COMMUNICATIONS OF THE ACM

IF12.2

2019-01-28

PREAI

Herlihy, Maurice

Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2015-05-21

PREAI

Papagiannopoulou, Dimitra; Capodanno, Giuseppe; Moreshet, Tali; Herlihy, Maurice; Bahar, R. Iris

Embedded-TM: Energy and complexity-effective hardware transactional memory for embedded multicore systems

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2010-10-01

PREAI

Ferri, Cesare; Wood, Samantha; Moreshet, Tali; Bahar, R. Iris; Herlihy, Maurice

Highly Concurrent Data Structures

COMMUNICATIONS OF THE ACM

IF12.2

2009-05-01

PREAI

Herlihy, Maurice

Composable memory transactions

COMMUNICATIONS OF THE ACM

IF12.2

2008-08-01

PREAI

Harris, Tim; Marlow, Simon; Jones, Simon Peyton; Herlihy, Maurice

Virtual leashing: Creating a computational foundation for software protection 虚拟控制: 为软件保护创建计算基础

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2006-09-01

PREAI

Dvir, Ori; Herlihy, Maurice; Shavit, Nir N.

Self-stabilizing distributed queuing

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

2006-07-01

OAAI

Tirthapura, Srikanta; Herlihy, Maurice

Randomized smoothing networks

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2006-05-01

OAAI

Herlihy, M; Tirthapura, S

研究方向