Peter Van Roy and Seif Haridi, Concepts, Techniques and Models of Computer Programming, under publication
see (http://www.info.ucl.ac.be/people/PVR/book.html)
1.2.Scientific Journals and Book Chapters
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, and Gert Smolka. Efficient logic variables for distributed computing. ACM Transactions on Programming Languages and Systems, May 1999
Peter Van Roy, Per Brand, Seif Haridi, and Raphael Collet. A lightweight reliable object migration protocol. In Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, editors, Internet Programming Languages, Lecture Notes in Computer Science, vol. 1686. Springer Verlag, October 1999
Seif Haridi, Peter Van Roy, Per Brand, and Christian Schulte. Programming languages for distributed applications. New Generation Computing, 16(3):223-261, May 1998
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf Scheidhauer. Mobile objects in Distributed Oz. ACM Transactions on Programming Languages and Systems, 19(5):804-851, September 1997..
Tomas Axling and Seif Haridi. OBLICS, a Tool for Building Interactive Configuration Applications. Journal of Logic Programming, Dec 1995.
Sverker Janson and Seif Haridi. An Introduction to AKL a Multi-paradigm Programming Language. In Constraint Programming, NATO-ASI Series, Springer-Verlag Computer and System Sciences Vol. 131, 1994.
Sverker Janson, Johan Montelius and Seif Haridi. Ports for Objects in Concurrent Logic Programs. In Research Directions in Concurrent Object Oriented Programming, eds. P. Wagner, G. Agha, MIT press, 1993.
Dan Sahlin, Torkel Franzen and Seif Haridi. An Intuitionistic Predicate Logic Theorem Prover. Journal of Logic and Computation, Vol. 2, No. 5, Oxford University Press, 1992.
Seif Haridi, Sverker Janson and Catuscia Palamidessi. Structural Operational Semantics for AKL. Future Generation Computer Systems 8, North Holland, 1992.
Torkel Franzen, Seif Haridi and Sverker Janson. An Overview of AKL. ELP’91, Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 596, Springer-Verlag, 1991.
Erik Hagersten, Anders Landin and Seif Haridi. DDM — A Cache-Only Memory Architecture. IEEE Computer September 1992.
Seif Haridi. A Logic Programming Language Based on the Andorra Model. New Generation Computing, 1990.
Erik Hagersten, Seif Haridi and David H.D. Warren. The Data Diffusion Machine and its Data Coherency Protocol. In Declarative Systems, North Holland, ed. B.D. Shriver, 1990.
Ewing Lusk, David D.H.D. Warren, Seif Haridi, et al. The Aurora Or-parallel Prolog Systems. New Generation Computing, 1990.
Andrzej Ciepielewski, Seif Haridi and Bogumil Hausman. Or-parallel Prolog on Shared Memory Multiprocessors. Journal of Logic Programming 1989.
Karin Appleby, Mats Carlsson, Seif Haridi and Dan Sahlin. Garbage Collection for Prolog Based on WAM. Communication of the ACM June 1988.
Khayri Ali and Seif Haridi. Global Garbage Collection for Distributed Heap Storage Systems. International Journal of Parallel Programming, October 1986.
Andrzej Ciepielewski, Bogumil Hausman and Seif Haridi. Initial Evaluation of Or-parallel Execution of Logic Programs. In Fifth Generation Computer Architectures, IFIP, north-Holland, , edited by J.V. Woods, 1986
Seif Haridi and Dan Sahlin. Efficient Implementation of Unification of Cyclic Structures. In Implementation Issues of Prolog, edited by J. Campell, Illis Horwood series on Artificial Intelligence, 1984.
Åke Hansson, Seif Haridi and Sten-Åke Tärnlund. Properties of a Logic Programming Language. In Logic Programming edited by K. Clark and S-Å. Tärnlund, academic press, 1982.
1.3.Conferences
Luc Onana Alima, Valentin Mesaros, Peter Van Roy and Seif Haridi. NetProber: a Component for Enhancing Efficiency of Overlay Networks in P2P Systems. The 2nd IEEE International Conference on Peer-to-Peer Computing Systems, Linköping, Sweden, September 5-7, 2002.
Mahmoud Rafea, Fredrik Holmgren, Konstantin Popov, seif Haridi, et al, Application Architecture of the Internet Simulation Model: Web Word of Mouth (WoM), IASTED International Conference on Modeling and Simulation MS2002, Marina del Rey, USA, May 2002.
Stelios Lelis, Petros Kavassalis, Jakka Sairamesh, Seif Haridi, et. Al. Regularities in the formation and evolution of information cities. In the second meeting on Digital Cities, Kyoto Research Park, Japan, 2001.
Per Brand, Nils Franzen, Erik Klintskog and Seif Haridi. A Platform for Constructing Virtual Spaces, Virtual Worlds and Simulation Conference (VWSIM 98), San Diego 1998
Peter Van Roy, Seif Haridi, Per Brand, and Gert Smolka. Three moves are not as bad as a fire. In the Workshop on Internet Programming Languages, International Conference on Computer Languages (ICCL 98), May 1998
Peter Van Roy, Seif Haridi, and Per Brand. Distributed programming in Mozart A tutorial introduction. Technical report, Mozart Consortium and Universite catholique de Louvain, 1999. In Mozart documentation, available at http://www.mozart-oz.org
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf Scheidhauer. Using mobility to make transparent distribution practical. In the Workshop on Mobile Object Systems (MOS), ECOOP 97, June 1997
Seif Haridi, Peter Van Roy and Gert Smolka. An Overview of the Design of Distributed Oz. ACM International Symposium on Parallel Symbolic Computation, PASCO’97, Hawaii, 1997.
Johan Montelius and Seif Haridi. An Evaluation of Penny: a System for Fine-grain Implicit Parallelism. ACM International Symposium on Parallel Symbolic Computation, PASCO’97, Hawaii, 1997.
Tomas Axling, Seif Haridi and Lennart Fahlen. Concurrent Constraint Programming Virtual Application. The second international conference on the Military Applications of Synthetic Environments and Virtual Reality MASEVR’95, Dec 1995.
Björn Carlson, Seif Haridi, Sverker Janson. AKL(FD) — AConcurrent Language for FD Programming. International Symposium of Logic Programming, MIT press, 1994.
Tomas Axling and Seif Haridi. A Tool for Developing Interactive Configuration Application. The International Conference on Practical Applications of Prolog 1994.
Erik Hagersten, Anders Landin, Mats Grindal and Seif Haridi. Simulating the Data Diffusion Machine. PARLE '93 Parallel Architecture and Languages Europe, June 1993.
Sverker Janson and Seif Haridi. Programming Paradigms of Andorra Kernel Language. Logic Programming: Proceedings of the 1991 International Symposium MIT Press, 1991.
Seif Haridi and Catuscia Palamedissi. Structural Operational Semantics for Kernel Andorra Prolog. PARLE '91 Parallel Architecture and Languages Europe, June 1991.
Anders Landin, Erik Hagersten and Seif Haridi. Race-free Networks and Multiprocessor Consistency. Joint ACM and IEEE International Symposium on Computer Architecture, ISCA’91, Toronto 1991.
Seif Haridi and Sverker Janson. Kernel Andorra Prolog and its Computational Model. International Conference of Logic Programming, MIT Press, 1990.
Seif Haridi and Erik Hagersten. The Cache Coherence Protocol of the Data Diffusion Machine, invited paper. PARLE '89 Parallel Architecture and Languages Europe, June 1989.
David H.D. Warren and Seif Haridi. Data Diffusion Machine — A scalable shared virtual memory multiprocessor, invited paper. International Conference on Fifth Generation Computer systems 1988.
Seif Haridi and Per Brand. ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. International Conference on Fifth Generation Computer systems 1988.
Ewing Lusk, David D.H.D. Warren, Seif Haridi, et al. The Aurora Or-parallel Prolog Systems. International Conference on Fifth Generation Computer systems 1988.
Bogumil Hausman, Andrzej Ciepielewski and Seif Haridi. Or-Parallel Prolog Made efficient on Shared Memory Multiprocessors. IEEE Symposium on Logic Programming, USA, 1987.
Andrzej Ciepielewski and Seif Haridi. Execution of Bagof on the Or-parallel Token Machine. International Conference on Fifth Generation Computer Systems, Japan, 1984.
Andrzej Ciepielewski and Seif Haridi. Control of Activities in the Or-parallel Token Machine. IEEE Symposium on Logic Programming, USA, 1984.
Andrzej Ciepielewski and Seif Haridi . A Formal Model for Or-parallel Execution of Logic Programs. Information processing 83, Elsevier Science Publishers, north-Holland IFIP, France, 1984.
Andrzej Ciepielewski, Seif Haridi and Lars-Erik Thorelli. CS a Real Time Language. Euromicro Conference, Sweden, 1979.
