| 2007 |
|---|
| 13 | EE | David Vaz,
Michel Ferreira,
Ricardo Lopes:
Spatial-Yap: A Logic-Based Geographic Information System.
ICLP 2007: 195-208 |
| 12 | EE | Vítor Santos Costa,
Konstantinos F. Sagonas,
Ricardo Lopes:
Demand-Driven Indexing of Prolog Clauses.
ICLP 2007: 395-409 |
| 11 | EE | Ricardo Rocha,
Cláudio Silva,
Ricardo Lopes:
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.
ICLP 2007: 444-445 |
| 2006 |
|---|
| 10 | EE | Cláudio Silva,
Ricardo Rocha,
Ricardo Lopes:
An External Module for Implementing Linear Tabling in Prolog.
ICLP 2006: 429-430 |
| 2005 |
|---|
| 9 | EE | Ricardo Rocha,
Ricardo Lopes,
Fernando M. A. Silva,
Vítor Santos Costa:
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.
ICLP 2005: 416-417 |
| 8 | EE | Ricardo Lopes,
Vítor Santos Costa:
Improving Memory Usage in the BEAM.
PADL 2005: 143-157 |
| 2004 |
|---|
| 7 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
Pruning in the Extended Andorra Model.
PADL 2004: 120-134 |
| 6 | | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
Exploiting parallelism in the extended andorra model.
Parallel and Distributed Computing and Networks 2004: 483-489 |
| 2003 |
|---|
| 5 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
On the BEAM Implementation.
EPIA 2003: 131-135 |
| 4 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
On Deterministic Computations in the Extended Andorra Model.
ICLP 2003: 407-421 |
| 2002 |
|---|
| 3 | EE | Ricardo Lopes,
Luís Fernando Castro,
Vítor Santos Costa:
From simulation to practice: cache performance study of a Prolog system.
MSP/ISMM 2002: 56-64 |
| 2001 |
|---|
| 2 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
A Novel Implementation of the Extended Andorra Model.
PADL 2001: 199-213 |
| 1999 |
|---|
| 1 | | Ricardo Lopes,
Vítor Santos Costa:
The BEAM: A first EAM Implementation.
APPIA-GULP-PRODE 1999: 425-440 |
