S. M. Haridi
#137,908
Most Influential Person Now
S. M. Haridi's AcademicInfluence.com Rankings
S. M. Haridicomputer-science Degrees
Computer Science
#6434
World Rank
#6784
Historical Rank
Database
#3522
World Rank
#3669
Historical Rank

Download Badge
Computer Science
Why Is S. M. Haridi Influential?
(Suggest an Edit or Addition)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: