Seif Haridi

Amir H. Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi: Distributed optimization of P2P live streaming overlays. Computing 94(8-10): 621-647 (2012)

Anwitaman Datta, Marios D. Dikaiakos, Seif Haridi, Liviu Iftode: Infrastructures for Online Social Networking Services [Guest editorial]. IEEE Internet Computing 16(3): 10-12 (2012)

Tallat M. Shafaat, Bilal Ahmad, Seif Haridi: ID-Replication for Structured Peer-to-Peer Systems. Euro-Par 2012: 364-376

Riccardo Reale, Roberto Roverso, Sameh El-Ansary, Seif Haridi: DTL: Dynamic Transport Library for Peer-to-Peer Applications. ICDCN 2012: 428-442

Cosmin Arad, Jim Dowling, Seif Haridi: Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware. Middleware 2012: 208-228

Roberto Roverso, Sameh El-Ansary, Seif Haridi: SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer. Networking (2) 2012: 29-43

Roberto Roverso, Sameh El-Ansary, Seif Haridi: Peer2View: A peer-to-peer HTTP-live streaming platform. P2P 2012: 65-66

Amir H. Payberah, Hanna Kavalionak, Vimalkumar Kumaresan, Alberto Montresor, Seif Haridi: CLive: Cloud-assisted P2P live streaming. P2P 2012: 79-90

Tallat M. Shafaat, Ali Ghodsi, Seif Haridi: Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks. SASO 2012: 149-158

Cosmin Arad, Tallat M. Shafaat, Seif Haridi: Brief Announcement: Atomic Consistency and Partition Tolerance in Scalable Key-Value Stores. DISC 2012: 445-446

Frej Drejhammar, Seif Haridi: Efficient simulation of view synchrony. Winter Simulation Conference 2012: 380

Karl M. Göschka, Seif Haridi (Eds.): Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7272, Springer 2012, isbn 978-3-642-30822-2

Amir H. Payberah, Jim Dowling, Seif Haridi: Gozar: NAT-Friendly Peer Sampling with One-Hop Distributed NAT Traversal. DAIS 2011: 1-14

Fatemeh Rahimian, Sarunas Girdzijauskas, Amir H. Payberah, Seif Haridi: Vitis: A Gossip-based Hybrid Overlay for Internet-scale Publish/Subscribe Enabling Rendezvous Routing in Unstructured Overlay Networks. IPDPS 2011: 746-757

Amir H. Payberah, Jim Dowling, Seif Haridi: GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming. ISPDC 2011: 153-162

Roberto Roverso, Sameh El-Ansary, Alexandros Gkogkas, Seif Haridi: Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle. SimuTools 2011: 506-515

Florian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt: Enhanced Paxos Commit for Transactions on DHTs. CCGRID 2010: 448-454

Amir H. Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi: gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay. DAIS 2010: 212-225

Amir H. Payberah, Fatemeh Rahimian, Seif Haridi, Jim Dowling: Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network. ISM 2010: 1-8

Cosmin Arad, Tallat M. Shafaat, Seif Haridi: Self-Distributing Software Updates through Epidemic Dissemination. SASO Workshops 2010: 243-246

Tallat M. Shafaat, Ali Ghodsi, Seif Haridi: Dealing with network partitions in structured overlay networks. Peer-to-Peer Networking and Applications 2(4): 334-347 (2009)

Cosmin Arad, Jim Dowling, Seif Haridi: Developing, simulating, and deploying peer-to-peer systems using the Kompics component model. COMSWARE 2009: 16

Ahmad Al-Shishtawy, Vladimir Vlassov, Per Brand, Seif Haridi: A Design Methodology for Self-Management in Distributed Environments. CSE (1) 2009: 430-436

Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Seif Haridi: A Scalable, Transactional Data Store for Future Internet Services. Future Internet Assembly 2009: 148-159

Roberto Roverso, Sameh El-Ansary, Seif Haridi: NATCracker: NAT Combinations Matter. ICCCN 2009: 1-7

Cosmin Arad, Jim Dowling, Seif Haridi: Building and Evaluating P2P Systems using the Kompics Component Framework. Peer-to-Peer Computing 2009: 93-94

Jim Dowling, Seif Haridi: Developing a Distributed Electronic Health-Record Store for India. ERCIM News 2008(75) (2008)

Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: An analytical study of a structured overlay in the presence of dynamic membership. IEEE/ACM Trans. Netw. 16(4): 814-825 (2008)

Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi, Alexander Reinefeld: Key-based consistency and availability in structured overlay networks. HPDC 2008: 235-236

Tallat M. Shafaat, Ali Ghodsi, Seif Haridi: A Practical Approach to Network Size Estimation for Structured Overlays. IWSOS 2008: 71-83

Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays. PDP 2008: 473-482

Mikael Högqvist, Seif Haridi, Nico Kruber, Alexander Reinefeld, Thorsten Schütt: Using Global Information for Load Balancing in DHTs. SASO Workshops 2008: 236-241

Cosmin Arad, Seif Haridi: Practical Protocol Composition, Encapsulation and Sharing in Kompics. SASO Workshops 2008: 266-271

Roberto Roverso, Mohammed Al-Aggan, Amgad Naiem, Andreas Dahlstrom, Sameh El-Ansary, Mohammed El-Beltagy, Seif Haridi: MyP2PWorld: Highly Reproducible Application-Level Emulation of P2P Systems. SASO Workshops 2008: 272-277

Paolo Trunfio, Domenico Talia, Harris Papadakis, Paraskevi Fragopoulou, Matteo Mordacchini, M. Pennanen, Konstantin Popov, Vladimir Vlassov, Seif Haridi: Peer-to-Peer resource discovery in Grids: Models and systems. Future Generation Comp. Syst. 23(7): 864-878 (2007)

Ali Ghodsi, Seif Haridi, Hakim Weatherspoon: Exploiting the synergy between gossiping and structured overlays. Operating Systems Review 41(5): 61-66 (2007)

Monika Moser, Seif Haridi: Atomic Commitment in Transactional DHTs. CoreGRID 2007: 151-161

Roberto Roverso, Cosmin Arad, Ali Ghodsi, Seif Haridi: DKS: Distributed K-Ary System. A Middleware for Building Large Scale Dynamic Distributed Applications. CoreGRID Workshop - Making Grids Work 2007: 323-335

Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye: Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO 2007: 153-178

Tallat M. Shafaat, Ali Ghodsi, Seif Haridi: Handling Network Partitions and Mergers in Structured Overlay Networks. Peer-to-Peer Computing 2007: 132-139

Jim Dowling, Jan Sacha, Seif Haridi: Improving ICE Service Selection in a P2P System using the Gradient Topology. SASO 2007: 285-288

Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: An Analytical Study of a Structured Overlay in the presence of Dynamic Membership. CoRR abs/0710.0270 (2007)

Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays. CoRR abs/0710.0386 (2007)

Jimmy Jernberg, Vladimir Vlassov, Ali Ghodsi, Seif Haridi: DOH: A Content Delivery Peer-to-Peer Network. Euro-Par 2006: 1026-1039

Vladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi: A Scalable Autonomous Replica Management Framework for Grids. John Vincent Atanasoff Symposium 2006: 33-40

Konstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi: An efficient incremental marshaling framework for distributed systems. Future Generation Comp. Syst. 21(4): 717-724 (2005)

Ali Ghodsi, Luc Onana Alima, Seif Haridi: Symmetric Replication for Structured Peer-to-Peer Systems. DBISP2P 2005: 74-85

Ali Ghodsi, Luc Onana Alima, Seif Haridi: Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks. HICSS 2005

Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: A Statistical Theory of Chord Under Churn. IPTPS 2005: 93-103

Karl Aberer, Luc Onana Alima, Ali Ghodsi, Sarunas Girdzijauskas, Seif Haridi, Manfred Hauswirth: The Essence of P2P: A Reference Architecture for Overlay Networks. Peer-to-Peer Computing 2005: 11-20

Sameh El-Ansary, Erik Aurell, Seif Haridi: A Physics-Inspired Performance Evaluation of a Structured Peer-to-Peer Overlay Network. Parallel and Distributed Computing and Networks 2005: 116-122

Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: A Statistical Theory of Chord under Churn. CoRR abs/cs/0501069 (2005)

Peter Van Roy, Seif Haridi: Concepts, Techniques, and Models of Computer Programming. MIT Press 2004, isbn 0-262-22069-5

Petros Kavassalis, Stelios Lelis, Mahmoud Rafea, Seif Haridi: What makes a Web site popular? Commun. ACM 47(2): 50-55 (2004)

Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni: Topic 18: Peer-to-Peer and Web Computing. Euro-Par 2004: 1013

Luc Onana Alima, Ali Ghodsi, Seif Haridi: A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing 2004: 223-249

Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi: The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities. HICSS 2004

Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. MOZ 2004: 137-148

Konstantin Popov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Vladimir Vlassov, Seif Haridi: Parallel Agent-Based Simulation On A Cluster Of Workstations. Parallel Processing Letters 13(4): 629-641 (2003)

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. TPLP 3(6): 715-763 (2003)

Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi: The Design and Evaluation of a Middleware Library for Distribution of Language Entities. ASIAN 2003: 243-259

Luc Onana Alima, Sameh El-Ansary, Per Brand, Seif Haridi: DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications. CCGRID 2003: 344-350

Konstantin Popov, Vladimir Vlassov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Seif Haridi: Parallel Agent-Based Simulation on a Cluster of Workstations. Euro-Par 2003: 470-480

Mahmoud Rafea, Konstantin Popov, Per Brand, Fredrik Holmgren, Seif Haridi: Parallel Distributed Algorithms of the beta-Model of the Small World Graphs. Euro-Par 2003: 675-680

Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi: Flow Java: Declarative Concurrency for Java. ICLP 2003: 346-360

Sameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi: Efficient Broadcast in Structured P2P Networks. IPTPS 2003: 304-314

Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi: A Peer-to-Peer Approach to Enhance Middleware Connectivity. OPODIS 2003: 71-82

Luc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi: Multicast in DKS(N, k, f) Overlay Networks. OPODIS 2003: 83-95

Luc Onana Alima, Ali Ghodsi, Sameh El-Ansary, Per Brand, Seif Haridi: Multicast in DKS(N, k, f) Overlay Networks. Peer-to-Peer Computing 2003: 196-197

Konstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi: An Efficient Marshaling Framework for Distributed Systems. PaCT 2003: 324-331

Peter Van Roy, Seif Haridi: Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods 2002: 53-62

Luc Onana Alima, Valentin Mesaros, Peter Van Roy, Seif Haridi: NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems. Peer-to-Peer Computing 2002: 25-32

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. CoRR cs.PL/0208029 (2002)

Stelios Lelis, Petros Kavassalis, Jakka Sairamesh, Seif Haridi, Fredrik Holmgren, Mahmoud Rafea, Antonis Hatzistamatiou: Regularities in the Formation and Evolution of Information Cities. Digital Cities 2001: 41-55

Erik Klintskog, Anna Neiderud, Per Brand, Seif Haridi: Fractional Weighted Reference Counting. Euro-Par 2001: 486-490

Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka: Efficient logic variables for distributed computing. ACM Trans. Program. Lang. Syst. 21(3): 569-626 (1999)

Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte: Programming Languages for Distributed Applications. New Generation Comput. 16(3): 223-261 (1998)

Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet: A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages 1998: 32-46

Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer: Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. 19(5): 804-851 (1997)

Johan Montelius, Seif Haridi: An evaluation of Penny: a system for fine grain implicit parallelism. PASCO 1997: 46-57

Seif Haridi, Peter Van Roy, Gert Smolka: An overview of the design of Distributed Oz. PASCO 1997: 176-187

Tomas Axling, Seif Haridi: A Tool for Developing Interactive Configuration Applications. J. Log. Program. 26(2): 147-168 (1996)

Seif Haridi, Khayri A. M. Ali, Peter Magnusson (Eds.): Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings. Lecture Notes in Computer Science 966, Springer 1995, isbn 3-540-60247-X

Björn Carlson, Seif Haridi, Sverker Janson: AKL(FD) - A Concurrent Language for FD Programming. SLP 1994: 521-535

Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi: Simulating the Data Diffusion Machine. PARLE 1993: 24-41

Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per Brand, Kent Boortz, Björn Danielsson, Björn Carlson, Torbjörn Keisu, Dan Sahlin, Thomas Sjöland: Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). PPCP 1993: 107-116

Erik Hagersten, Anders Landin, Seif Haridi: DDM - A Cache-Only Memory Architecture. IEEE Computer 25(9): 44-54 (1992)

Dan Sahlin, Torkel Franzén, Seif Haridi: An Intuitionistic Predicate Logic Theorem Prover. J. Log. Comput. 2(5): 619-656 (1992)

Torkel Franzén, Seif Haridi, Sverker Janson: An Overview of the Andorra Kernel Language. ELP 1991: 163-179

Seif Haridi: Parallel Logic Programming based on the Andorra Principle. ICLP 1991: 943

Anders Landin, Erik Hagersten, Seif Haridi: Race-Free Interconnection Networks and Multiprocessor Consistency. ISCA 1991: 106-115

Seif Haridi, Catuscia Palamidessi: Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) 1991: 238-253

Sverker Janson, Seif Haridi: Programming Paradigms of the Andorra Kernel Language. ISLP 1991: 167-183

Seif Haridi: A logic programming language based on the Andorra model. New Generation Comput. 7(2-3): 109-125 (1990)

Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi: The Aurora or-parallel Prolog system. New Generation Comput. 7(2-3): 243-271 (1990)

Seif Haridi, Sverker Janson: Kernel Andorra Prolog and its Computation Model. ICLP 1990: 31-46

Seif Haridi, Robert Keller: Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming. J. Log. Program. 6(1&2): 1-2 (1989)

Andrzej Ciepielewski, Seif Haridi, Bogumil Hausman: Or-Parallel Prolog on Shared Memory Multiprocessors. J. Log. Program. 7(2): 125-148 (1989)

Seif Haridi, Erik Hagersten: The Cache Coherence Protocol of the Data Diffusion Machine. PARLE (1) 1989: 1-18

Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin: Garbage Collection for Prolog Based on WAM. Commun. ACM 31(6): 719-741 (1988)

Seif Haridi, Per Brand: ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. FGCS 1988: 745-754

Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman: The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830

David H. D. Warren, Seif Haridi: Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. FGCS 1988: 943-952

Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi: OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP 1987: 69-79

Khayri A. M. Ali, Seif Haridi: Global garbage collection for distributed heap storage systems. International Journal of Parallel Programming 15(5): 339-387 (1986)

Seif Haridi, Dan Sahlin: Efficient Implementation of Unification of Cyclic Structures. Implementations of Prolog 1984: 234-249

Andrzej Ciepielewski, Seif Haridi: Execution of Bagof on the Or-Parallel Token Machine. FGCS 1984: 551-560

Andrzej Ciepielewski, Seif Haridi: Control of Activities in the Or-Parallel Token Machine. SLP 1984: 49-57

Andrzej Ciepielewski, Seif Haridi: A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress 1983: 299-305