| 2006 |
|---|
| 8 | EE | Yingzhou Zhang,
José Emilio Labra Gayo,
Agustín Cernuda del Río:
A monadic program slicer.
SIGPLAN Notices 41(5): 30-38 (2006) |
| 2004 |
|---|
| 7 | | Néstor García-Fernández,
Juan M. Cueva,
Daniel Gayo-Avello,
Agustín Cernuda del Río,
Juan R. García:
Coverage Model in Wireless Networks based on Progressive Refinement Radiosity.
IC-AI 2004: 24-30 |
| 6 | EE | Agustín Cernuda del Río:
How not to go about a programming assignment.
SIGCSE Bulletin 36(2): 97-100 (2004) |
| 2003 |
|---|
| 5 | EE | Daniel Gayo-Avello,
Darío Álvarez Gutiérrez,
Agustín Cernuda del Río,
José Gayo-Avello,
Luis Vinuesa-Martínez,
Néstor García-Fernández:
The Cooperative Web: A Step towards Web Intelligence.
ICWE 2003: 441-444 |
| 2002 |
|---|
| 4 | EE | José Emilio Labra Gayo,
Juan Manuel Cueva Lovelle,
María Cándida Luengo Díez,
Agustín Cernuda del Río:
Specification of Logic Programming Languages from Reusable Semantic Building Blocks.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 2001 |
|---|
| 3 | | Agustín Cernuda del Río,
José Emilio Labra Gayo,
Juan Manuel Cueva Lovelle:
Verifying Reuse Contracts with a Component Model.
JISBD 2001: 405-418 |
| 2 | EE | José Emilio Labra Gayo,
María Cándida Luengo Díez,
Juan Manuel Cueva Lovelle,
Agustín Cernuda del Río:
LPS: A Language Prototyping System Using Modular Monadic Semantics.
Electr. Notes Theor. Comput. Sci. 44(2): (2001) |
| 1 | EE | José Emilio Labra Gayo,
Juan Manuel Cueva Lovelle,
María Cándida Luengo Díez,
Agustín Cernuda del Río:
Modular Development of Interpreters from Semantic Building Blocks.
Nord. J. Comput. 8(3): 391-407 (2001) |
