| 2003 |
|---|
| 6 | EE | Luís Fernando Castro,
David Scott Warren:
Approximate Pruning in Tabled Logic Programming.
ESOP 2003: 69-83 |
| 2002 |
|---|
| 5 | 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 |
| 4 | EE | Luís Fernando Castro,
Terrance Swift,
David Scott Warren:
Suspending and Resuming Computations in Engines for SLG Evaluation.
PADL 2002: 332-350 |
| 2001 |
|---|
| 3 | EE | Luís Fernando Castro,
Vítor Santos Costa:
Understanding Memory Management in Prolog Systems.
ICLP 2001: 11-26 |
| 2 | EE | Luís Fernando Castro,
David Scott Warren:
An Environment for the Exploration of Non Monotonic Logic Programs.
WLPE 2001 |
| 1999 |
|---|
| 1 | EE | Luís Fernando Castro,
Vítor Santos Costa,
Cláudio F. R. Geyer,
Fernando M. A. Silva,
Patrícia Kayser Vargas,
Manuel Eduardo Correia:
DAOS - Scalable And-Or Parallelism.
Euro-Par 1999: 899-908 |
