Seif Haridi
Identifiers
- name variant Seif Haridi 0.60 · backfill
Papers (8)
- KompicsTesting - Unit Testing Event Streams cs.SE · 2017 · author #4
- A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof cs.DC · 2016 · author #2
- High-Level Programming Abstractions for Distributed Graph Processing cs.DC · 2016 · author #3
- Lightweight Asynchronous Snapshots for Distributed Dataflows cs.DC · 2015 · author #4
- Comparing Maintenance Strategies for Overlays cs.NI · 2007 · author #4
- An Analytical Study of a Structured Overlay in the presence of Dynamic Membership cs.NI · 2007 · author #4
- A Statistical Theory of Chord under Churn cs.NI · 2005 · author #4
- Logic programming in the context of multiparadigm programming: the Oz experience cs.PL · 2002 · author #4
Mentions
Frequent Coauthors
- Erik Aurell 3 shared papers
- Sameh El-Ansary 3 shared papers
- Supriya Krishnamurthy 3 shared papers
- Alexandru A. Ormenisan 1 shared papers
- Christian Schulte 1 shared papers
- Denys Duchier 1 shared papers
- Gyula F\'ora 1 shared papers
- Ifeanyi W. Ubah 1 shared papers
- Kostas Tzoumas 1 shared papers
- Lars Kroll 1 shared papers
- Martin Henz 1 shared papers
- Niklas Ekstr\"om 1 shared papers
- Paris Carbone 1 shared papers
- Per Brand 1 shared papers
- Peter Van Roy 1 shared papers
- Stephan Ewen 1 shared papers
- Vasiliki Kalavri 1 shared papers
- Vladimir Vlassov 1 shared papers