S. M. Haridi

S. M. Haridi's AcademicInfluence.com Rankings

S. M. Haridi

Computer Science

#6434

World Rank

#6784

Historical Rank

Database

#3522

World Rank

#3669

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is S. M. Haridi Influential?

(Suggest an Edit or Addition)

(See a Problem?)

S. M. Haridi's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Distributed Algorithms (1992) (3628)
Apache Flink™: Stream and Batch Processing in a Single Engine (2015) (1286)
Concepts, Techniques, and Models of Computer Programming (2004) (458)
DDM - A Cache-Only Memory Architecture (1992) (306)
Efficient Broadcast in Structured P2P Networks (2003) (252)
Peer-to-Peer resource discovery in Grids: Models and systems (2007) (220)
Programming Paradigms of the Andorra Kernel Language (1991) (191)
State Management in Apache Flink®: Consistent Stateful Distributed Stream Processing (2017) (178)
DKS(N, k, f): a family of low communication, scalable and fault-tolerant infrastructures for P2P applications (2003) (159)
The essence of P2P: a reference architecture for overlay networks (2005) (142)
Kernel Andorra Prolog and its Computation Model (1990) (142)
Symmetric Replication for Structured Peer-to-Peer Systems (2005) (130)
Mobile objects in distributed Oz (1997) (117)
A Statistical Theory of Chord Under Churn (2005) (110)
Lightweight Asynchronous Snapshots for Distributed Dataflows (2015) (99)
JA-BE-JA: A Distributed Algorithm for Balanced Graph Partitioning (2013) (99)
CLive: Cloud-assisted P2P live streaming (2012) (95)
Race-free interconnection networks and multiprocessor consistency (1991) (77)
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases (2016) (73)
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor (1988) (72)
The Aurora or-parallel Prolog system (1990) (67)
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages (1988) (66)
The Cache Coherence Protocol of the Data Diffusion Machine (1989) (64)
Vitis: A Gossip-based Hybrid Overlay for Internet-scale Publish/Subscribe Enabling Rendezvous Routing in Unstructured Overlay Networks (2011) (62)
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors (1987) (62)
A Formal Model for Or-Parallel Execution of Logic Programs (1983) (61)
Cutty: Aggregate Sharing for User-Defined Windows (2016) (61)
Garbarge collection for Prolog based on WAM (1988) (59)
High-Level Programming Abstractions for Distributed Graph Processing (2016) (59)
Efficient logic variables for distributed computing (1999) (58)
Logic programming in the context of multiparadigm programming: the Oz experience (2002) (55)
An overview of the design of Distributed Oz (1997) (54)
Distributed Vertex-Cut Partitioning (2014) (52)
An Intuitionistic Predicate Logic Theorem Prover (1989) (51)
A Framework for Structured Peer-to-Peer Overlay Networks (2004) (48)
Self-Correcting Broadcast in Distributed Hash Tables (2003) (43)
NATCracker: NAT Combinations Matter (2009) (40)
Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network (2010) (37)
gradienTv: market-based P2P live media streaming on the gradient overlay (2010) (36)
A Practical Approach to Network Size Estimation for Structured Overlays (2008) (36)
An Overview of Structured P2P Overlay Networks (2005) (35)
A Distributed Algorithm for Large-Scale Graph Partitioning (2015) (33)
Developing, simulating, and deploying peer-to-peer systems using the Kompics component model (2009) (31)
Ports for objects in concurrent logic programs (1993) (31)
An Analytical Study of a Structured Overlay in the Presence of Dynamic Membership (2007) (30)
Mozart: a programming system for agent applications (1999) (30)
Atomic Commitment in Transactional DHTs (2007) (29)
GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming (2011) (28)
Enhanced Paxos Commit for Transactions on DHTs (2010) (28)
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project (2008) (28)
Multicast in DKS (N,k,f )overlay networks (2003) (27)
Boosting Vertex-Cut Partitioning for Streaming Graphs (2016) (26)
Handling Network Partitions and Mergers in Structured Overlay Networks (2007) (26)
Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks (2005) (26)
Key-based consistency and availability in structured overlay networks (2008) (26)
Gozar: NAT-friendly peer sampling with one-hop distributed NAT traversal (2011) (24)
Control of Activities in the Or-Parallel Token Machine (Abstract) (1983) (24)
Parallel Agent-Based Simulation on a Cluster of Workstations (2003) (23)
A Tool for Developing Interactive Configuration Applications (1996) (23)
Dealing with network partitions in structured overlay networks (2009) (23)
Virtual reality programming in Oz (1996) (22)
T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications (2017) (22)
A Framework for Peer-To-Peer Lookup Services based on k-ary search (2002) (21)
AKL(FD) - A Concurrent Language for FD Programming (1994) (21)
An Introduction to AKL A Multi-Paradigm Programming Language (1993) (20)
Comparing Maintenance Strategies for Overlays (2007) (19)
ID-Replication for Structured Peer-to-Peer Systems (2012) (19)
SmoothCache 2.0: CDN-quality adaptive HTTP live streaming on peer-to-peer overlays (2015) (19)
Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware (2012) (19)
Decentralized Reinforcement Learning for the Online Optimization of Distributed Systems (2008) (18)
A Design Methodology for Self-Management in Distributed Environments (2009) (18)
Structural operational semantics for AKL (1992) (18)
SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer (2012) (18)
Distributed optimization of P2P live streaming overlays (2012) (18)
EURO-PAR '95 Parallel Processing (1995) (18)
DOH: A Content Delivery Peer-to-Peer Network (2006) (18)
Teaching Programming Broadly and Deeply: The Kernel Language Approach (2002) (17)
Garbage Collection for Prolog Based on WAM (Revised version) (1986) (17)
Size Matters: Improving the Performance of Small Files in Hadoop (2018) (17)
Next Generation Grid(s) (2003) (17)
Parallel Community Detection for Cross-Document Coreference (2014) (16)
Programming languages for distributed applications (2009) (16)
Efficient Implementation of Unification of Cyclic Structures (1984) (16)
The Design and Evaluation of a Middleware Library for Distribution of Language Entities (2003) (15)
Execution of Bagof on the Or-Parallel Token Machine (1984) (15)
On Consistency Of Data In Structured Overlay Networks (2008) (14)
Large-Scale Data Stream Processing Systems (2017) (14)
Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid (2017) (14)
A GPU-enabled solver for time-constrained linear sum assignment problems (2010) (14)
CATS: Linearizability and Partition Tolerance in Scalable and Self-Organizing Key-Value Stores (2012) (14)
Building and evaluating P2P systems using the Kompics component framework (2009) (13)
SICStus Prolog Library Manual (1993) (13)
On the feasibility of centrally-coordinated Peer-to-Peer live streaming (2011) (13)
Or-Parallel Prolog on Shared Memory Multiprocessors (1989) (13)
Regularities in the Formation and Evolution of Information Cities (2001) (12)
A Lightweight Object Migration Protocol (1998) (12)
An Overview of the Andorra Kernel Language (1991) (12)
What makes a Web site popular? (2004) (12)
An Or-Parallel Token Machine (1983) (11)
Asymmetry in Large-Scale Graph Analysis, Explained (2014) (11)
MyP2PWorld: Highly Reproducible Application-Level Emulation of P2P Systems (2008) (11)
From Copernicus Big Data to Extreme Earth Analytics (2019) (10)
Flow Java: Declarative Concurrency for Java (2003) (10)
The DSS, a middleware library for efficient and transparent distribution of language entities (2004) (10)
Scaling HDFS to More Than 1 Million Operations Per Second with HopsFS (2017) (10)
Initial evaluation of a virtual machine for Or-parallel execution of logic programs (1986) (10)
Implementing Dynamic Querying Search in k-ary DHT-based Overlays (2008) (10)
Self Management of Large-Scale Distributed Systems by Combining Peer-to-Peer Networks and Components (2005) (9)
Designing Robust and Adaptive Distributed Systems with Weakly Interacting Feedback Structures (2011) (9)
A Peer-to-Peer Approach to Enhance Middleware Connectivity (2003) (9)
Infrastructures for Online Social Networking Services [Guest editorial] (2012) (8)
Practical Protocol Composition, Encapsulation and Sharing in Kompics (2008) (8)
A Physics-Inspired Performance Evaluation of a Structured Peer-to-Peer Overlay Network (2005) (8)
An evaluation of Penny: a system for fine grain implicit parallelism (1997) (8)
Stream Window Aggregation Semantics and Optimization (2019) (8)
TruApp: A TrustZone-based authenticity detection service for mobile apps (2017) (8)
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract) (1993) (7)
Lightweight gossip-based distribution estimation (2013) (7)
Peer2View: A peer-to-peer HTTP-live streaming platform (2012) (7)
Improving ICE Service Selection in a P2P System using the Gradient Topology (2007) (7)
Exploiting the synergy between gossiping and structured overlays (2007) (7)
Integrating Smartphones in Spotify's Peer-Assisted Music Streaming Service (2013) (7)
A Scalable Autonomous Replica Management Framework for Grids (2006) (7)
Kompics: a message-passing component model for building distributed systems (2010) (7)
Tutorial of Oz 2 (2000) (7)
DTL: Dynamic Transport Library for Peer-to-Peer Applications (2012) (7)
Thread-Based Mobility in Oz (2004) (7)
Experience with a physics-style approach for the study of self properties in structured overlay networks (2004) (6)
A performance study of the DDM - a cache-only memory architecture (1991) (6)
Position Paper : “ Self-” properties in Distributed Kary Structured Overlay Networks ∗ (2004) (6)
A Scalable, Transactional Data Store for Future Internet Services (2009) (6)
Structural Operational Semantics for Kernel Andorra Prolog (1991) (6)
Self Management for Large-Scale Distributed Systems (2008) (5)
Three moves are not as bad as a fire (1998) (5)
Accurate and efficient simulation of bandwidth dynamics for peer-to-peer overlay networks (2011) (5)
An Analytical Study of Consistency and Performance of DHTs under Churn (2004) (5)
Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper) (2017) (5)
The Future(s) of Transactional Memory (2016) (5)
Developing a Distributed Electronic Health-Record Store for India (2008) (5)
Moving the shared memory closer to the processors DDM (1990) (4)
Arc: an IR for batch and stream programming (2019) (4)
Teaching Programming with the Kernel Language Approach (4)
An Efficient Marshaling Framework for Distributed Systems (2003) (4)
A history of the Oz multiparadigm language (2020) (4)
Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks (2012) (4)
A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof (2016) (4)
Programming paradigms of the Andorra Kernel Language Programming (1991) (4)
Fractional Weighted Reference Counting (2001) (4)
Using Global Information for Load Balancing in DHTs (2008) (4)
Subscription awareness meets rendezvous routing (2012) (4)
A Self-stabilizing Network Size Estimation Gossip Algorithm for Peer-to-Peer Systems (2005) (4)
DroidPosture: A trusted posture assessment service for mobile devices (2017) (4)
An Overview of Structured P 2 P Overlay Networks (2004) (4)
Multiprocessor consistency and synchronization thru transient cache states (1992) (4)
Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle (2011) (4)
Brief Announcement: Atomic Consistency and Partition Tolerance in Scalable Key-Value Stores (2012) (4)
A platform for constructing virtual spaces (1998) (3)
Managing Network Partitions in Structured P2P Networks (2010) (3)
NetProber: a component for enhancing efficiency of overlay networks in P2P systems (2002) (3)
Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory (2018) (3)
Proceedings of the First International Euro-Par Conference on Parallel Processing (1995) (3)
Tribler Mobile : P2P Video Streaming from and to Mobile Devices (2013) (3)
ePipe: Near Real-Time Polyglot Persistence of HopsFS Metadata (2019) (3)
Using Logic Variables in Distributed Computing (1998) (3)
Programmation: Concepts, techniques et modèles (2007) (3)
DKS: Distributed K-Ary System. A Middleware for Building Large Scale Dynamic Distributed Applications (2008) (3)
CATS: a linearizable and self-organizing key-value store (2013) (3)
Simulating the Data Diffusion Machine (1993) (3)
Self Management of Large-Scale DistributedSystems by Combining Structured OverlayNetworks and Components (2005) (3)
Investigating the semantics of futures in transactional memory systems (2021) (2)
MeteorShower: Minimizing Request Latency for Majority Quorum-Based Data Consistency Algorithms in Multiple Data Centers (2017) (2)
Using Mozart for modelling and simulation of tccp (2000) (2)
Topic 18: Peer-to-Peer and Web Computing (2004) (2)
Evaluation of Logic Programs Based on Natural Deduction (DRAFT) (1983) (2)
GODS: Global Observatory for Distributed Systems (2007) (2)
Basic Data Types (2004) (2)
Global garbage collection for distributed heap storage systems (1986) (2)
Invited paper for New Generation Computing 1 Programming Languages for Distributed Applications (1998) (2)
The Clouds of Revolution (2010) (1)
Distributed optimization of P2P live streaming overlays (2012) (1)
Efficient Linearizable Write Operations Using Bounded Global Time Uncertainty (2013) (1)
Arcon: Continuous and Deep Data Stream Analytics (2019) (1)
Multiprocessor Consistency and Synchronization Through 'Ifansient Cache States (1)
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming (1989) (1)
Living In The Information Era (2012) (1)
In Search of Semantic Models for Reconciling Futures and Transactional Memory (2015) (1)
Parallel Logic Programming based on the Andorra Principle (1991) (1)
6 Discussion and conclusions (2009) (1)
Scalable Block Reporting for HopsFS (2019) (1)
Big Data in Vehicular Cloud Computing: Review, Taxonomy, and Security Challenges (2022) (1)
Tribler Mobile : P 2 P Video Streaming from and to Mobile Devices (2013) (1)
A logic programming language based on the Andorra model (1990) (1)
A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems (2023) (1)
SmoothCache 2.0 : the HTTP-Live peer-to-peerCDN (2013) (1)
Atomic Ring Maintenance for Distributed Hash Tables (2007) (1)
Self-Distributing Software Updates through Epidemic Dissemination (2010) (1)
ACC_TEST: Hybrid Testing Approach for OpenACC-Based Programs (2020) (1)
A Symmetric Replication Scheme for Increased Security and Performance in Structured Overlay Networks (2004) (1)
Evaluation of the Simula Research Laboratory (2004) (1)
KompicsTesting - Unit Testing Event Streams (2017) (1)
An implementation and empirical evaluation of the tasking facilities in ADA (1981) (1)
Declarative Computation Model (2004) (1)
Static Type Checking for the Kompics Component Model: Kola -- The Kompics Language (2016) (1)
Mozart System Development Environment (2004) (0)
Declarative Programming Techniques (2004) (0)
Efficient simulation of view synchrony (2012) (0)
An efficient incremental marshaling framework for distributed systems (2005) (0)
Ideas for the future of Prolog inspired by Oz (2023) (0)
Broad ast in Stru tured P 2 (2007) (0)
A Lightweight ReliableObject Migration (1999) (0)
DDM-A Cache-Onlv Memory Architecture (0)
N I ] 2 4 Ja n 20 05 A Statistical Theory of Chord under Churn ∗ (2021) (0)
References And911 P. Andersson. Performance Evaluation of Diierent T Opologies for the Data Diiusion Machine. Final Work for Undergraduate Studies, Kth, November (1993) (0)
Shared-State Concurrency (2004) (0)
Biochemical changes in the organic acids and carbohydrate contents in roselle plants during fruiting. (1980) (0)
Parallel Community Detection (2014) (0)
Design and use of a simple monitor for small computers (1978) (0)
Parallel Distributed Algorithms of the �-model of the Small World Graphs (2003) (0)
Network Explanations to the Web Economy’s Patterns of Growth (2005) (0)
Size Matters : Improving the Performance of Small Files in HDFS ∗ (0)
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract) (1993) (0)
The Need for Network-Centric Programming Models Position Paper for the Workshop on Network Centric Operating Systems (2005) (0)
Specialized Computation Models (2004) (0)
General Computation Models (2004) (0)
EURO-PAR '95 Parallel Processing : First International EURO-PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings (1995) (0)
Peer-to-peer Implementation and Theory Report on Mobile Computation Design Project Funded by the European Community under the 'in- Formation Society Technologies' Programme (1998–2002) Title: Peer-to-peer Implementation and Theory Deliverable No: D3.1 Report on Mobile Computation Design Due Date: Pr (2004) (0)
Systeme multiprocesseur pourvu d'un systeme d'antememoire hierarchique (1989) (0)
Uses the SMART protocol to reconfigure state machines We developed a distributed algorithm to automate the reconfiguration Can be used to implement robust services such as Robust Management Elements Self-Management for Large Scale Distributed Systems (2010) (0)
Distributed Applications and Interoperable Systems (2012) (0)
SICStus Prolog library manual, version 2.1 #8 (1993) (0)
3 Related Work 12 an Akl Example (1992) (0)
Parallel Distributed Algorithms of the beta-Model of the Small World Graphs (2003) (0)
ForestCast: a central solution to heuristically constructing trees (2007) (0)
Message-Passing Concurrency (2004) (0)
Vinifera: A Gossip-based Hybrid Overlay for Content-based Publish/Subscribe (2011) (0)
Graphical User Interface Programming (2004) (0)
Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems (2012) (0)
Network Explanations to Web Economy ’ s Patterns of Growth 1 (2003) (0)
Home Migration Using a Structured Peer-To-PeerOverlay Network (2010) (0)
Awareness Meets Rendezvous Routing (2011) (0)
Logic Programming in Oz and Its Relation to Multiparadigm Programming (draft) (2000) (0)
Transactional DHT Algorithms (2009) (0)
for Scalable, Stateful, Reconfigurable Middleware (2012) (0)
Towards Streamlined Big Data Analytics (2016) (0)
Introduction to Programming Concepts (2004) (0)
Physics-inspired performance evaluation of DHTs (2010) (0)
Giving Future(s) to Transactional Memory (2020) (0)
Mem Proc Cache Mem Proc Cache . . . NETWORK AM Proc Cache AM Proc Cache (2007) (0)
A simulator for tccp in Mozart (2001) (0)
MyriadStore: Technical Report (2006) (0)

This paper list is powered by the following services:

S. M. Haridi's Academic­Influence.com Rankings

Why Is S. M. Haridi Influential?

S. M. Haridi's Published Works

Published Works

S. M. Haridi's AcademicInfluence.com Rankings