dblp.uni-trier.dewww.uni-trier.de

Seif Haridi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
73EETallat 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
72EETallat M. Shafaat, Ali Ghodsi, Seif Haridi: A Practical Approach to Network Size Estimation for Structured Overlays. IWSOS 2008: 71-83
71EESupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays. PDP 2008: 473-482
70EESupriya 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
69EEMonika Moser, Seif Haridi: Atomic Commitment in Transactional DHTs. CoreGRID 2007: 151-161
68EEPeter 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
67EETallat M. Shafaat, Ali Ghodsi, Seif Haridi: Handling Network Partitions and Mergers in Structured Overlay Networks. Peer-to-Peer Computing 2007: 132-139
66EEJim Dowling, Jan Sacha, Seif Haridi: Improving ICE Service Selection in a P2P System using the Gradient Topology. SASO 2007: 285-288
65EESupriya 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)
64EESupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays CoRR abs/0710.0386: (2007)
63EEPaolo 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)
62EEAli Ghodsi, Seif Haridi, Hakim Weatherspoon: Exploiting the synergy between gossiping and structured overlays. Operating Systems Review 41(5): 61-66 (2007)
2006
61EEJimmy Jernberg, Vladimir Vlassov, Ali Ghodsi, Seif Haridi: DOH: A Content Delivery Peer-to-Peer Network. Euro-Par 2006: 1026-1039
60EEVladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi: A Scalable Autonomous Replica Management Framework for Grids. John Vincent Atanasoff Symposium 2006: 33-40
2005
59EEAli Ghodsi, Luc Onana Alima, Seif Haridi: Symmetric Replication for Structured Peer-to-Peer Systems. DBISP2P 2005: 74-85
58EEAli Ghodsi, Luc Onana Alima, Seif Haridi: Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks. HICSS 2005
57EESupriya 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
55EEKarl 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
54EESupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: A Statistical Theory of Chord under Churn CoRR abs/cs/0501069: (2005)
53EEKonstantin 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
51EESeif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni: Topic 18: Peer-to-Peer and Web Computing. Euro-Par 2004: 1013
50EELuc Onana Alima, Ali Ghodsi, Seif Haridi: A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing 2004: 223-249
49EEErik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi: The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities. HICSS 2004
48EEDragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. MOZ 2004: 137-148
47EEPetros Kavassalis, Stelios Lelis, Mahmoud Rafea, Seif Haridi: What makes a Web site popular? Commun. ACM 47(2): 50-55 (2004)
2003
46EEErik 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
45EELuc 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
44EEKonstantin 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
43EEMahmoud 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
42EEFrej Drejhammar, Christian Schulte, Per Brand, Seif Haridi: Flow Java: Declarative Concurrency for Java. ICLP 2003: 346-360
41EESameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi: Efficient Broadcast in Structured P2P Networks. IPTPS 2003: 304-314
40EEErik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi: A Peer-to-Peer Approach to Enhance Middleware Connectivity. OPODIS 2003: 71-82
39EELuc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi: Multicast in DKS(N, k, f) Overlay Networks. OPODIS 2003: 83-95
38EEKonstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi: An Efficient Marshaling Framework for Distributed Systems. PaCT 2003: 324-331
37EELuc 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
36EEKonstantin 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
33EELuc 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
32EEPeter 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
31EEStelios 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
30EEErik Klintskog, Anna Neiderud, Per Brand, Seif Haridi: Fractional Weighted Reference Counting. Euro-Par 2001: 486-490
1999
29EESeif 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
28EEPeter 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
26EEPeter 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
22EEErik 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
18EETorkel 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
16EEAnders 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
14EESeif 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
12EESeif 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

Coauthor Index

1Karl Aberer [51] [55]
2Khayri A. M. Ali [24]
3Luc Onana Alima [33] [37] [39] [41] [45] [50] [55] [58] [59]
4Karen Appleby [6]
5Erik Aurell [54] [56] [57] [64] [65] [70] [71]
6Tomas Axling [25]
7Zacharias El Banna [40] [46] [49]
8Kent Boortz [21]
9Per Brand [8] [9] [21] [26] [27] [28] [29] [30] [32] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [48] [49] [53]
10Ralph M. Butler (Ralph Butler) [8]
11Alan Calderwood [8]
12Björn Carlson [21] [23]
13Mats Carlsson [6] [8]
14Andrzej Ciepielewski [1] [3] [4] [5] [8] [10]
15Michele Colajanni [51]
16Raphaël Collet [28]
17Thierry Coupaye [68]
18Björn Danielsson [21]
19Terry Disz [8]
20Jim Dowling [66]
21Frej Drejhammar [42]
22Denys Duchier [32] [35]
23Sameh El-Ansary [37] [41] [45] [54] [56] [57] [64] [65] [70] [71]
24Paraskevi Fragopoulou [63]
25Torkel Franzén [18] [19] [21]
26Ali Ghodsi [37] [39] [50] [55] [58] [59] [61] [62] [67] [72] [73]
27Sarunas Girdzijauskas [55]
28Mats Grindal [22]
29Erik Hagersten [12] [16] [20] [22]
30Antonis Hatzistamatiou [31]
31Bogumil Hausman [5] [8] [10]
32Manfred Hauswirth [55]
33Dragan Havelka [48]
34Martin Henz [32] [35]
35Fredrik Holmgren [31] [36] [43] [44]
36Sverker Janson [13] [15] [18] [21] [23]
37Jimmy Jernberg [61]
38Petros Kavassalis [31] [47]
39Torbjörn Keisu [21]
40Robert Keller [11]
41Erik Klintskog [30] [40] [46] [49]
42Supriya Krishnamurthy [54] [57] [64] [65] [70] [71]
43Anders Landin [16] [20] [22]
44Stelios Lelis [31] [47]
45Dong Li [60]
46Ewing L. Lusk [8]
47Peter Magnusson [24]
48Michael Mehl [26] [29]
49Valentin Mesaros [33] [40]
50Johan Montelius [21]
51Matteo Mordacchini [63]
52Monika Moser [69] [73]
53Anna Neiderud [30]
54Robert Olson [8]
55Ross A. Overbeek [8]
56Catuscia Palamidessi [14]
57Harris Papadakis [63]
58M. Pennanen [63]
59Konstantin Popov [36] [38] [43] [44] [53] [60] [63]
60Mahmoud Rafea [31] [36] [43] [44] [47]
61Alexander Reinefeld [68] [73]
62Peter Van Roy [26] [27] [28] [29] [32] [33] [34] [35] [51] [52] [68]
63Jan Sacha [66]
64Dan Sahlin [2] [6] [19] [21]
65Jakka Sairamesh [31]
66Ashley Saulsbury [22]
67Ralf Scheidhauer [26] [29]
68Christian Schulte [27] [32] [35] [42] [48]
69Thorsten Schütt [73]
70Tallat M. Shafaat [67] [72] [73]
71Thomas Sjöland [21]
72Gert Smolka [26] [29]
73Jean-Bernard Stefani [68]
74Rick L. Stevens (Rick Stevens) [8]
75Péter Szeredi [8]
76Domenico Talia [63]
77Paolo Trunfio [63]
78Vladimir Vlassov [36] [38] [44] [53] [60] [61] [63]
79David H. D. Warren [7] [8]
80Hakim Weatherspoon [62]
81Bengt Werner [22]
82Roland H. C. Yap [68]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)