Citation Impact
Citing Papers
Cooperative caching: using remote client memory to improve file system performance
1994
Searchable symmetric encryption: Improved definitions and efficient constructions
2011 Standout
Analysis of the Security and Privacy Requirements of Cloud-Based Electronic Health Records Systems
2013 Standout
OceanStore
2000 Standout
A privacy threat analysis framework: supporting the elicitation and fulfillment of privacy requirements
2010 Standout
Provable data possession at untrusted stores
2007 Standout
A survey of recoverable distributed shared virtual memory systems
1997
Petri nets: Properties, analysis and applications
1989 Standout
A predicate-transition net model for parallel interpretation of logic programs
1988
The integration of functions into logic programming: From theory to practice
1994
From system goals to intruder anti-goals: attack generation and resolution for security requirements engineering
2003
Serverless network file systems
1995
Collaboration Processes: Inside the Black Box
2006 Standout
Constructing Induction Rules for Deductive Synthesis Proofs
2006 Standout
An efficient and scalable approach for implementing fault-tolerant DSM architectures
2000
The Google file system
2003 Standout
Reasoning about confidentiality at requirements engineering time
2005
Summary cache: a scalable wide-area Web cache sharing protocol
2000 Standout
BOAT: A Block-Streaming App Execution Scheme for Lightweight IoT Devices
2018 Standout
A survey of rollback-recovery protocols in message-passing systems
2002 Standout
Serving at the Edge: A Scalable IoT Architecture Based on Transparent Computing
2017 Standout
Security Requirements Engineering: A Framework for Representation and Analysis
2008 Standout
A General Scalable and Elastic Content-Based Publish/Subscribe Service
2014
Special section: Federated resource management in grid and cloud computing systems
2010
A bibliography on garbage collection and related topics
1994
A survey on security issues in service delivery models of cloud computing
2010 Standout
Chord: a scalable peer-to-peer lookup protocol for internet applications
2003 Standout
A Survey on Network Methodologies for Real-Time Analytics of Massive IoT Data and Open Research Issues
2017
Big Data and cloud computing: innovation opportunities and challenges
2016 Standout
Network Applications of Bloom Filters: A Survey
2004 Standout
Works of Seif Haridi being referenced
DDM—a cache-only memory architecture
1995
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.
1988
Apache flink : Stream and batch processing in a single engine
2015
A Formal Model for Or-Parallel Execution of Logic Programs.
1983
Concepts, Techniques, and Models of Computer Programming
2004
Global garbage collection for distributed heap storage systems
1986
Peer-to-Peer resource discovery in Grids: Models and systems
2006
DDM-a cache-only memory architecture
1992
CLive: Cloud-assisted P2P live streaming
2012
Efficient logic variables for distributed computing
1999