Agustín Cernuda del Río

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río
A monadic program slicer. ACM SIGPLAN Notices 41 (5) (2006)
Agustín Cernuda del Río
to go about a programming assignment. ACM SIGCSE Bull. 36 (2) (2004)
Néstor García-Fernández, Juan Manuel Cueva Lovelle, 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)
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)
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. Electron. Notes Theor. Comput. Sci. 64 (2002)
Agustín Cernuda del Río, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle
Verifying Reuse Contracts with a Component Model. JISBD (2001)
José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río
Reusable monadic semantics of logic programs with arithmetic predicates. APPIA-GULP-PRODE (2001)
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. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
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) (2001)