| 2008 |
|---|
| 73 | EE | 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 |
| 72 | EE | Tallat M. Shafaat,
Ali Ghodsi,
Seif Haridi:
A Practical Approach to Network Size Estimation for Structured Overlays.
IWSOS 2008: 71-83 |
| 71 | EE | Supriya Krishnamurthy,
Sameh El-Ansary,
Erik Aurell,
Seif Haridi:
Comparing Maintenance Strategies for Overlays.
PDP 2008: 473-482 |
| 70 | EE | 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) |
| 2007 |
|---|
| 69 | EE | Monika Moser,
Seif Haridi:
Atomic Commitment in Transactional DHTs.
CoreGRID 2007: 151-161 |
| 68 | EE | 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 |
| 67 | EE | Tallat M. Shafaat,
Ali Ghodsi,
Seif Haridi:
Handling Network Partitions and Mergers in Structured Overlay Networks.
Peer-to-Peer Computing 2007: 132-139 |
| 66 | EE | Jim Dowling,
Jan Sacha,
Seif Haridi:
Improving ICE Service Selection in a P2P System using the Gradient Topology.
SASO 2007: 285-288 |
| 65 | EE | 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) |
| 64 | EE | Supriya Krishnamurthy,
Sameh El-Ansary,
Erik Aurell,
Seif Haridi:
Comparing Maintenance Strategies for Overlays
CoRR abs/0710.0386: (2007) |
| 63 | EE | Paolo Trunfio,
Domenico Talia,
H. Papadakis,
P. 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) |
| 62 | EE | Ali Ghodsi,
Seif Haridi,
Hakim Weatherspoon:
Exploiting the synergy between gossiping and structured overlays.
Operating Systems Review 41(5): 61-66 (2007) |
| 2006 |
|---|
| 61 | EE | Jimmy Jernberg,
Vladimir Vlassov,
Ali Ghodsi,
Seif Haridi:
DOH: A Content Delivery Peer-to-Peer Network.
Euro-Par 2006: 1026-1039 |
| 60 | EE | Vladimir Vlassov,
Dong Li,
Konstantin Popov,
Seif Haridi:
A Scalable Autonomous Replica Management Framework for Grids.
John Vincent Atanasoff Symposium 2006: 33-40 |
| 2005 |
|---|
| 59 | EE | Ali Ghodsi,
Luc Onana Alima,
Seif Haridi:
Symmetric Replication for Structured Peer-to-Peer Systems.
DBISP2P 2005: 74-85 |
| 58 | EE | Ali Ghodsi,
Luc Onana Alima,
Seif Haridi:
Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks.
HICSS 2005 |
| 57 | EE | Supriya Krishnamurthy,
Sameh El-Ansary,
Erik Aurell,
Seif Haridi:
A Statistical Theory of Chord Under Churn.
IPTPS 2005: 93-103 |
| 56 | | 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 |
| 55 | EE | 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 |
| 54 | EE | Supriya Krishnamurthy,
Sameh El-Ansary,
Erik Aurell,
Seif Haridi:
A Statistical Theory of Chord under Churn
CoRR abs/cs/0501069: (2005) |
| 53 | EE | 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) |
| 2004 |
|---|
| 52 | | Peter Van Roy,
Seif Haridi:
Concepts, Techniques, and Models of Computer Programming
MIT Press 2004 |
| 51 | EE | Seif Haridi,
Karl Aberer,
Peter Van Roy,
Michele Colajanni:
Topic 18: Peer-to-Peer and Web Computing.
Euro-Par 2004: 1013 |
| 50 | EE | Luc Onana Alima,
Ali Ghodsi,
Seif Haridi:
A Framework for Structured Peer-to-Peer Overlay Networks.
Global Computing 2004: 223-249 |
| 49 | EE | 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 |
| 48 | EE | Dragan Havelka,
Christian Schulte,
Per Brand,
Seif Haridi:
Thread-Based Mobility in Oz.
MOZ 2004: 137-148 |
| 47 | EE | Petros Kavassalis,
Stelios Lelis,
Mahmoud Rafea,
Seif Haridi:
What makes a Web site popular?
Commun. ACM 47(2): 50-55 (2004) |
| 2003 |
|---|
| 46 | EE | 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 |
| 45 | EE | 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 |
| 44 | EE | 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 |
| 43 | EE | 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 |
| 42 | EE | Frej Drejhammar,
Christian Schulte,
Per Brand,
Seif Haridi:
Flow Java: Declarative Concurrency for Java.
ICLP 2003: 346-360 |
| 41 | EE | Sameh El-Ansary,
Luc Onana Alima,
Per Brand,
Seif Haridi:
Efficient Broadcast in Structured P2P Networks.
IPTPS 2003: 304-314 |
| 40 | EE | Erik Klintskog,
Valentin Mesaros,
Zacharias El Banna,
Per Brand,
Seif Haridi:
A Peer-to-Peer Approach to Enhance Middleware Connectivity.
OPODIS 2003: 71-82 |
| 39 | EE | Luc Onana Alima,
Ali Ghodsi,
Per Brand,
Seif Haridi:
Multicast in DKS(N, k, f) Overlay Networks.
OPODIS 2003: 83-95 |
| 38 | EE | Konstantin Popov,
Vladimir Vlassov,
Per Brand,
Seif Haridi:
An Efficient Marshaling Framework for Distributed Systems.
PaCT 2003: 324-331 |
| 37 | EE | 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 |
| 36 | EE | 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) |
| 35 | | 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) |
| 2002 |
|---|
| 34 | | Peter Van Roy,
Seif Haridi:
Teaching Programming Broadly and Deeply: The Kernel Language Approach.
Informatics Curricula and Teaching Methods 2002: 53-62 |
| 33 | EE | 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 |
| 32 | EE | 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) |
| 2001 |
|---|
| 31 | EE | 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 |
| 30 | EE | Erik Klintskog,
Anna Neiderud,
Per Brand,
Seif Haridi:
Fractional Weighted Reference Counting.
Euro-Par 2001: 486-490 |
| 1999 |
|---|
| 29 | EE | 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) |
| 1998 |
|---|
| 28 | EE | Peter Van Roy,
Per Brand,
Seif Haridi,
Raphaël Collet:
A Lightweight Object Migration Protocol.
ICCL Workshop: Internet Programming Languages 1998: 32-46 |
| 27 | | Seif Haridi,
Peter Van Roy,
Per Brand,
Christian Schulte:
Programming Languages for Distributed Applications.
New Generation Comput. 16(3): 223-261 (1998) |
| 1997 |
|---|
| 26 | EE | 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) |
| 1996 |
|---|
| 25 | | Tomas Axling,
Seif Haridi:
A Tool for Developing Interactive Configuration Applications.
J. Log. Program. 26(2): 147-168 (1996) |
| 1995 |
|---|
| 24 | | Seif Haridi,
Khayri A. M. Ali,
Peter Magnusson:
Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings
Springer 1995 |
| 1994 |
|---|
| 23 | | Björn Carlson,
Seif Haridi,
Sverker Janson:
AKL(FD) - A Concurrent Language for FD Programming.
SLP 1994: 521-535 |
| 1993 |
|---|
| 22 | | Erik Hagersten,
Mats Grindal,
Anders Landin,
Ashley Saulsbury,
Bengt Werner,
Seif Haridi:
Simulating the Data Diffusion Machine.
PARLE 1993: 24-41 |
| 21 | | 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 |
| 1992 |
|---|
| 20 | | Erik Hagersten,
Anders Landin,
Seif Haridi:
DDM - A Cache-Only Memory Architecture.
IEEE Computer 25(9): 44-54 (1992) |
| 19 | | Dan Sahlin,
Torkel Franzén,
Seif Haridi:
An Intuitionistic Predicate Logic Theorem Prover.
J. Log. Comput. 2(5): 619-656 (1992) |
| 1991 |
|---|
| 18 | | Torkel Franzén,
Seif Haridi,
Sverker Janson:
An Overview of the Andorra Kernel Language.
ELP 1991: 163-179 |
| 17 | | Seif Haridi:
Parallel Logic Programming based on the Andorra Principle.
ICLP 1991: 943 |
| 16 | EE | Anders Landin,
Erik Hagersten,
Seif Haridi:
Race-Free Interconnection Networks and Multiprocessor Consistency.
ISCA 1991: 106-115 |
| 15 | | Sverker Janson,
Seif Haridi:
Programming Paradigms of the Andorra Kernel Language.
ISLP 1991: 167-183 |
| 14 | | Seif Haridi,
Catuscia Palamidessi:
Structural Operational Semantics for Kernel Andorra Prolog.
PARLE (2) 1991: 238-253 |
| 1990 |
|---|
| 13 | | Seif Haridi,
Sverker Janson:
Kernel Andorra Prolog and its Computation Model.
ICLP 1990: 31-46 |
| 1989 |
|---|
| 12 | | Seif Haridi,
Erik Hagersten:
The Cache Coherence Protocol of the Data Diffusion Machine.
PARLE (1) 1989: 1-18 |
| 11 | | 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) |
| 10 | | Andrzej Ciepielewski,
Seif Haridi,
Bogumil Hausman:
Or-Parallel Prolog on Shared Memory Multiprocessors.
J. Log. Program. 7(2): 125-148 (1989) |
| 1988 |
|---|
| 9 | | Seif Haridi,
Per Brand:
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.
FGCS 1988: 745-754 |
| 8 | | 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 |
| 7 | | David H. D. Warren,
Seif Haridi:
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor.
FGCS 1988: 943-952 |
| 6 | | Karen Appleby,
Mats Carlsson,
Seif Haridi,
Dan Sahlin:
Garbage Collection for Prolog Based on WAM.
Commun. ACM 31(6): 719-741 (1988) |
| 1987 |
|---|
| 5 | | Bogumil Hausman,
Andrzej Ciepielewski,
Seif Haridi:
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.
SLP 1987: 69-79 |
| 1984 |
|---|
| 4 | | Andrzej Ciepielewski,
Seif Haridi:
Execution of Bagof on the Or-Parallel Token Machine.
FGCS 1984: 551-560 |
| 3 | | Andrzej Ciepielewski,
Seif Haridi:
Control of Activities in the Or-Parallel Token Machine.
SLP 1984: 49-57 |
| 2 | | Seif Haridi,
Dan Sahlin:
Efficient Implementation of Unification of Cyclic Structures.
Implementations of Prolog 1984: 234-249 |
| 1983 |
|---|
| 1 | | Andrzej Ciepielewski,
Seif Haridi:
A Formal Model for Or-Parallel Execution of Logic Programs.
IFIP Congress 1983: 299-305 |
