| 2008 |
|---|
| 11 | | Luis García,
Steve Roach,
Salamah Salamah:
PROTEF: Automatic Verification of Pattern-Based LTL Templates.
SEKE 2008: 261-266 |
| 2007 |
|---|
| 10 | EE | Luis García,
Steve Roach:
Model-Checker-Based Testing of LTL Specifications.
HASE 2007: 417-418 |
| 2006 |
|---|
| 9 | EE | Luis García,
Coromoto León,
Gara Miranda,
Casiano Rodríguez:
A Parallel Algorithm for the Two-Dimensional Cutting Stock Problem.
Euro-Par 2006: 821-830 |
| 8 | EE | Luis García,
Coromoto León,
Gara Miranda,
Casiano Rodríguez:
Two-Dimensional Cutting Stock Problem: Shared Memory Parallelizations.
PARELEC 2006: 438-443 |
| 2005 |
|---|
| 7 | | Luis García,
Tatiana Sarmiento,
Alberto Delgado:
Aplicaciones de los Chips ADN Emulados.
CIIC 2005: 58-65 |
| 2004 |
|---|
| 6 | EE | Antonio de Amescua Seco,
José García,
Manuel Velasco,
Paloma Martínez,
Belén Ruíz,
Juan Lloréns,
Luis García,
Jose Antonio Calvo-Manzano,
Tomás San Feliu Gilabert:
A Software Project Management Framework.
IS Management 21(2): 78-85 (2004) |
| 2003 |
|---|
| 5 | EE | Luis García,
Jesus A. González,
J. C. González,
Coromoto León,
Casiano Rodríguez,
Germán Rodríguez:
Complexity Driven Performance Analysis.
PVM/MPI 2003: 55-62 |
| 4 | EE | Maria Isabel Sánchez Segura,
Juan J. Cuadrado,
Angélica de Antonio,
Antonio de Amescua Seco,
Luis García:
Adapting traditional software processes to virtual environments development.
Softw., Pract. Exper. 33(11): 1051-1080 (2003) |
| 2002 |
|---|
| 3 | EE | Oscar Marbán,
Antonio de Amescua Seco,
Juan J. Cuadrado,
Luis García:
Cost Drivers of a Parametric Cost Estimation Model for Data Mining Projects (DMCOMO).
ADIS 2002 |
| 2001 |
|---|
| 2 | EE | Luis García,
Abdul Salam Jarrah,
Reinhard C. Laubenbacher:
Classification of Finite Dynamical Systems
CoRR math.DS/0112216: (2001) |
| 1999 |
|---|
| 1 | | Casiano Rodríguez,
Francisco de Sande,
Coromoto León,
Luis García:
Parallelism and recursion in message passing libraries: an efficient methodology.
Concurrency - Practice and Experience 11(7): 355-365 (1999) |
