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

Seif Haridi Home Page Coauthor index pubzone.org

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

DBLP keys2012
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Reale, Roberto Roverso, Sameh El-Ansary, Seif Haridi: DTL: Dynamic Transport Library for Peer-to-Peer Applications. ICDCN 2012: 428-442
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Roverso, Sameh El-Ansary, Seif Haridi: SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer. Networking (2) 2012: 29-43
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnwitaman Datta, Marios D. Dikaiakos, Seif Haridi, Liviu Iftode: Infrastructures for Online Social Networking Services [Guest editorial]. IEEE Internet Computing 16(3): 10-12 (2012)
2011
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir H. Payberah, Jim Dowling, Seif Haridi: Gozar: NAT-Friendly Peer Sampling with One-Hop Distributed NAT Traversal. DAIS 2011: 1-14
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFatemeh 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir H. Payberah, Jim Dowling, Seif Haridi: GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming. ISPDC 2011: 153-162
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
2010
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt: Enhanced Paxos Commit for Transactions on DHTs. CCGRID 2010: 448-454
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir H. Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi: gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay. DAIS 2010: 212-225
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir H. Payberah, Fatemeh Rahimian, Seif Haridi, Jim Dowling: Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network. ISM 2010: 1-8
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin Arad, Tallat M. Shafaat, Seif Haridi: Self-Distributing Software Updates through Epidemic Dissemination. SASO Workshops 2010: 243-246
2009
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin Arad, Jim Dowling, Seif Haridi: Developing, simulating, and deploying peer-to-peer systems using the Kompics component model. COMSWARE 2009: 16
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmad Al-Shishtawy, Vladimir Vlassov, Per Brand, Seif Haridi: A Design Methodology for Self-Management in Distributed Environments. CSE (1) 2009: 430-436
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Reinefeld, Florian Schintke, Thorsten Schütt, Seif Haridi: A Scalable, Transactional Data Store for Future Internet Services. Future Internet Assembly 2009: 148-159
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Roverso, Sameh El-Ansary, Seif Haridi: NATCracker: NAT Combinations Matter. ICCCN 2009: 1-7
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin Arad, Jim Dowling, Seif Haridi: Building and Evaluating P2P Systems using the Kompics Component Framework. Peer-to-Peer Computing 2009: 93-94
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTallat 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)
2008
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTallat 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTallat M. Shafaat, Ali Ghodsi, Seif Haridi: A Practical Approach to Network Size Estimation for Structured Overlays. IWSOS 2008: 71-83
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays. PDP 2008: 473-482
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael Högqvist, Seif Haridi, Nico Kruber, Alexander Reinefeld, Thorsten Schütt: Using Global Information for Load Balancing in DHTs. SASO Workshops 2008: 236-241
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin Arad, Seif Haridi: Practical Protocol Composition, Encapsulation and Sharing in Kompics. SASO Workshops 2008: 266-271
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Dowling, Seif Haridi: Developing a Distributed Electronic Health-Record Store for India. ERCIM News 2008(75): (2008)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupriya 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonika Moser, Seif Haridi: Atomic Commitment in Transactional DHTs. CoreGRID 2007: 151-161
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTallat M. Shafaat, Ali Ghodsi, Seif Haridi: Handling Network Partitions and Mergers in Structured Overlay Networks. Peer-to-Peer Computing 2007: 132-139
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Dowling, Jan Sacha, Seif Haridi: Improving ICE Service Selection in a P2P System using the Gradient Topology. SASO 2007: 285-288
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupriya 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)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays CoRR abs/0710.0386: (2007)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Ghodsi, Seif Haridi, Hakim Weatherspoon: Exploiting the synergy between gossiping and structured overlays. Operating Systems Review 41(5): 61-66 (2007)
2006
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJimmy Jernberg, Vladimir Vlassov, Ali Ghodsi, Seif Haridi: DOH: A Content Delivery Peer-to-Peer Network. Euro-Par 2006: 1026-1039
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi: A Scalable Autonomous Replica Management Framework for Grids. John Vincent Atanasoff Symposium 2006: 33-40
2005
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Ghodsi, Luc Onana Alima, Seif Haridi: Symmetric Replication for Structured Peer-to-Peer Systems. DBISP2P 2005: 74-85
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Ghodsi, Luc Onana Alima, Seif Haridi: Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks. HICSS 2005
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: A Statistical Theory of Chord Under Churn. IPTPS 2005: 93-103
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSameh 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: A Statistical Theory of Chord under Churn CoRR abs/cs/0501069: (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin 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
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Van Roy, Seif Haridi: Concepts, Techniques, and Models of Computer Programming MIT Press 2004
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni: Topic 18: Peer-to-Peer and Web Computing. Euro-Par 2004: 1013
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Onana Alima, Ali Ghodsi, Seif Haridi: A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing 2004: 223-249
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi: The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities. HICSS 2004
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. MOZ 2004: 137-148
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetros Kavassalis, Stelios Lelis, Mahmoud Rafea, Seif Haridi: What makes a Web site popular? Commun. ACM 47(2): 50-55 (2004)
2003
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahmoud 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrej Drejhammar, Christian Schulte, Per Brand, Seif Haridi: Flow Java: Declarative Concurrency for Java. ICLP 2003: 346-360
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi: Efficient Broadcast in Structured P2P Networks. IPTPS 2003: 304-314
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi: A Peer-to-Peer Approach to Enhance Middleware Connectivity. OPODIS 2003: 71-82
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi: Multicast in DKS(N, k, f) Overlay Networks. OPODIS 2003: 83-95
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi: An Efficient Marshaling Framework for Distributed Systems. PaCT 2003: 324-331
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantin 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Van Roy, Seif Haridi: Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods 2002: 53-62
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStelios 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Klintskog, Anna Neiderud, Per Brand, Seif Haridi: Fractional Weighted Reference Counting. Euro-Par 2001: 486-490
1999
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Van Roy, Per Brand, Seif Haridi, Raphaël Collet: A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages 1998: 32-46
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Peter Van Roy, Per Brand, Christian Schulte: Programming Languages for Distributed Applications. New Generation Comput. 16(3): 223-261 (1998)
1997
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Peter Van Roy, Gert Smolka: An overview of the design of Distributed Oz. PASCO 1997: 176-187
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Montelius, Seif Haridi: An evaluation of Penny: a system for fine grain implicit parallelism. PASCO 1997: 46-57
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Axling, Seif Haridi: A Tool for Developing Interactive Configuration Applications. J. Log. Program. 26(2): 147-168 (1996)
1995
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Carlson, Seif Haridi, Sverker Janson: AKL(FD) - A Concurrent Language for FD Programming. SLP 1994: 521-535
1993
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi: Simulating the Data Diffusion Machine. PARLE 1993: 24-41
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Hagersten, Anders Landin, Seif Haridi: DDM - A Cache-Only Memory Architecture. IEEE Computer 25(9): 44-54 (1992)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Sahlin, Torkel Franzén, Seif Haridi: An Intuitionistic Predicate Logic Theorem Prover. J. Log. Comput. 2(5): 619-656 (1992)
1991
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorkel Franzén, Seif Haridi, Sverker Janson: An Overview of the Andorra Kernel Language. ELP 1991: 163-179
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi: Parallel Logic Programming based on the Andorra Principle. ICLP 1991: 943
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Landin, Erik Hagersten, Seif Haridi: Race-Free Interconnection Networks and Multiprocessor Consistency. ISCA 1991: 106-115
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSverker Janson, Seif Haridi: Programming Paradigms of the Andorra Kernel Language. ISLP 1991: 167-183
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Catuscia Palamidessi: Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) 1991: 238-253
1990
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Sverker Janson: Kernel Andorra Prolog and its Computation Model. ICLP 1990: 31-46
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi: A logic programming language based on the Andorra model. New Generation Comput. 7(2-3): 109-125 (1990)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing 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)
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Erik Hagersten: The Cache Coherence Protocol of the Data Diffusion Machine. PARLE (1) 1989: 1-18
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ciepielewski, Seif Haridi, Bogumil Hausman: Or-Parallel Prolog on Shared Memory Multiprocessors. J. Log. Program. 7(2): 125-148 (1989)
1988
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Per Brand: ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. FGCS 1988: 745-754
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid H. D. Warren, Seif Haridi: Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. FGCS 1988: 943-952
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin: Garbage Collection for Prolog Based on WAM. Commun. ACM 31(6): 719-741 (1988)
1987
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBogumil Hausman, Andrzej Ciepielewski, Seif Haridi: OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP 1987: 69-79
1986
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhayri A. M. Ali, Seif Haridi: Global garbage collection for distributed heap storage systems. International Journal of Parallel Programming 15(5): 339-387 (1986)
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ciepielewski, Seif Haridi: Execution of Bagof on the Or-Parallel Token Machine. FGCS 1984: 551-560
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ciepielewski, Seif Haridi: Control of Activities in the Or-Parallel Token Machine. SLP 1984: 49-57
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif Haridi, Dan Sahlin: Efficient Implementation of Unification of Cyclic Structures. Implementations of Prolog 1984: 234-249
1983
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ciepielewski, Seif Haridi: A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress 1983: 299-305

Coauthor Index

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page