| 2013 | FDG | Gameplay semantics for authoring adaptivity in mobile games. | Ricardo Lopes, Ken Hilf, Luke Jayapalan, Rafael Bidarra |
| 2012 | FDG | Using gameplay semantics to procedurally generate player-matching game worlds. | Ricardo Lopes, Tim Tutenel, Rafael Bidarra |
| 2010 | FDG | Scenario adaptivity in serious games. | Ricardo Lopes |
| 2007 | ICLP | Demand-Driven Indexing of Prolog Clauses. | Vtor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
| 2007 | ICLP | On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. | Ricardo Rocha, Cludio Silva, Ricardo Lopes |
| 2007 | ICLP | Spatial-Yap: A Logic-Based Geographic Information System. | David Vaz, Michel Ferreira, Ricardo Lopes |
| 2006 | ICLP | An External Module for Implementing Linear Tabling in Prolog. | Cludio Silva, Ricardo Rocha, Ricardo Lopes |
| 2005 | ICLP | IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. | Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vtor Santos Costa |
| 2005 | PADL | Improving Memory Usage in the BEAM. | Ricardo Lopes, Vtor Santos Costa |
| 2004 | PADL | Pruning in the Extended Andorra Model. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |
| 2003 | EPIA | On the BEAM Implementation. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |
| 2003 | ICLP | On Deterministic Computations in the Extended Andorra Model. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |
| 2001 | PADL | A Novel Implementation of the Extended Andorra Model. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |