pith. sign in

Seif Haridi

Identifiers

  • name variant Seif Haridi 0.60 · backfill

Papers (8)

  1. KompicsTesting - Unit Testing Event Streams cs.SE · 2017 · author #4
  2. A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof cs.DC · 2016 · author #2
  3. High-Level Programming Abstractions for Distributed Graph Processing cs.DC · 2016 · author #3
  4. Lightweight Asynchronous Snapshots for Distributed Dataflows cs.DC · 2015 · author #4
  5. Comparing Maintenance Strategies for Overlays cs.NI · 2007 · author #4
  6. An Analytical Study of a Structured Overlay in the presence of Dynamic Membership cs.NI · 2007 · author #4
  7. A Statistical Theory of Chord under Churn cs.NI · 2005 · author #4
  8. Logic programming in the context of multiparadigm programming: the Oz experience cs.PL · 2002 · author #4

Mentions

  • 0710.0386 #4 · backfill · confidence 0.70 Seif Haridi
  • 0710.0270 #4 · backfill · confidence 0.70 Seif Haridi

Frequent Coauthors