Theses

• An Implementation of the Extended Andorra Model
  Ricardo Lopes.  PhD Thesis. Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto, December 2001.
   

• Execução de Prolog com Alto Desempenho
  Ricardo Lopes. Dissertação de Mestrado, Departamento de Informática na Universidade do Minho, October 1996.

Publications in journals, book series and books

• IMPACT: Innovative Models for Prolog with Advanced Control and Tabling
  Ricardo Rocha, Ricardo Lopes, Fernando Silva and Vítor Santos Costa. 21th International Conference on Logic Programming (ICLP 2005). Lecture Notes in Computer Science, pages 416-417, volume 3668. Springer-Verlag, October 2005.
   
• Improving Memory Usage in the BEAM (communication)
  Ricardo Lopes and Vítor Santos Costa. In Pratical Aspects of Declarative Languages volume 3350,  Lecture Notes in Computer Science, pages 143--157. Springer-Verlag, January 2005.
   
• Prunning in the Extended Andorra Model
  Ricardo Lopes, Vítor Santos Costa and Fernando Silva. In Pratical Aspects of Declarative Languages,  volume 1990 of  Lecture Notes in Computer Science, pages 199--213. Springer-Verlag, June 2004.

• Exploiting Parallelism in the Extended Andorra Model
  Ricardo Lopes, Vítor Santos Costa and Fernando Silva. Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2004), pages 483--489. ACTA Press, February 2004.

• On the BEAM Implementation (full_version)
  Ricardo Lopes, Vítor Santos Costa and Fernando Silva. In Fernando Moura Pires and Salvador Abreu, editors, 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, volume 2902 of  Lecture Notes in Artificial Intelligence, pages 131--135. Springer-Verlag, December 2003.
   
• On Deterministic Computations in the Extended Andorra Model
  Ricardo Lopes, Vítor Santos Costa, and Fernando Silva. In Catuscia Palamidessi, editor, Ninettenth International Conference on Logic Programming, ICLP03, volume 2916 of Lecture Notes in Computer Science, pages 407--421. Springer-Verlag, December 2003.

• From Simulation to Pratice: Cache Performance Study of a Prolog Systems
  Ricardo Lopes, Luís F. Castro and Vítor Santos Costa. ACM SIGPLAN Notices, 38(2):56--64, February 2003.
  Also in Proceedinds of the ACM SIGPLAN Workshop on Memory System Performance (MSP 2002), Berlin, Germany. ACM, June 2002.
   
• A Novel Implementation of the Extended Andorra Model
  Ricardo Lopes, Vítor Santos Costa, and Fernando Silva. In I. V. Ramakrishnan, editor, Pratical Aspects of Declarative Languages, volume 1990 of Lecture Notes in Computer Science, pages 199--213. Springer-Verlag, March 2001.
   
• The BEAM: Towards a First EAM Implementation
  Ricardo Lopes and Vítor Santos Costa. Chapter in book: Parallelism and Implementation of Logic and Constraint Logic Programming, pages 87--106. Nova Science, Inc., 1999.
   
• The YAIL: An Intermediate Language for Native Compilation of Prolog Programs
  Ricardo Lopes and Vítor Santos Costa. Chapter in book: Parallelism and Implementation of Logic and Constraint Logic Programming, pages 313--328. Nova Science, Inc., 1999.

Publications in proceedings with independent reviewing system

• On the Cache Performance of Prolog Systems
  Luís F. Castro, Vítor Santos Costa and Ricardo Lopes.
  In CICLOPS 2002: Colloquium on Implementation of Constraint and LOgic Programming Systems, Copenhagen, Denmark, June 2002.
   
• A Performance Analysis of the BEAM Memory Manager
  Ricardo Lopes and Vítor Santos Costa.
  In Proceedings of AGP00: The 2000 Joint Conference on Declarative Programming, December 2000.
   
• The RAINBOW: Towards a Parallel Beam
  Ricardo Lopes, Fernando Silva, Vítor Santos Costa, and Salvador Abreu.
  In Workshop on Parallelism and Implementation Technology for (Constraint) Logic Languages, July 2000.
   
• Memory Management for the BEAM
  Ricardo Lopes and Vítor Santos Costa.
  In Proceedings of the First Workshop on Memory Management in Logic Programming Implementations, CL2000 London,  Technical Report of Dept. Comp. Science, K.U.Leuven, July 2000.
   
• The BEAM: a First EAM Implementation
  Ricardo Lopes and Vítor Santos Costa.
  In Proceedings of AGP99: The 1999 Joint Conference on Declarative Programming, pages 425--439, September 1999.
   
• The BEAM: Towards a first EAM Implementation
  Ricardo Lopes and Vítor Santos Costa.
  In ILPS97 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Port Jefferson, October 1997.
   
• The YAIL: An Intermediate Language for Native Compilation of Prolog Programs
  Ricardo Lopes and Vítor Santos Costa.
  In 3rd COMPULOG NET Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Bonn, September 1996.

Internal reports and other publications

• Proceedings of CICLOPS'2003: Colloquium on Implementation of Constraint and LOgic Programming Systems.
  Ricardo Lopes and Michel Ferreira (ed.)
  Technical Report DCC-2003-05, DCC - FC & LIACC, Universidade do Porto, December, 2003.
   
• Design and Implementation of the BEAM, an Extended Andorra Model System
  Ricardo Lopes and Vítor Santos Costa.
  Technical Report DCC-2000-2, DCC - FC and LIACC - University of  Porto, May 2000.
   
• The BEAM: A First EAM Implementation
  Ricardo Lopes and Vítor Santos Costa.
  Technical Report DCC-98-13, DCC - FC and LIACC - University of Porto, December 1998.