 | 2009 |
|---|
| 10 |       | Francisco Durán,
Salvador Lucas,
José Meseguer,
Francisco Gutiérrez:
Web Services and Interoperability for the Maude Termination Tool.
Electr. Notes Theor. Comput. Sci. 248: 83-92 (2009) |
| 2008 |
|---|
| 9 |  | Antonio Brogi,
Francisco Gutiérrez,
Pablo López,
Ernesto Pimentel,
Razvan Popescu:
Modelado de sistemas P2P con control de excepciones.
CIbSE 2008: 31-44 |
| 8 | | Antonio Brogi,
Razvan Popescu,
Francisco Gutiérrez,
Pablo López,
Ernesto Pimentel:
A Service-Oriented Model for Embedded Peer-to-Peer Systems.
Electr. Notes Theor. Comput. Sci. 194(4): 5-22 (2008) |
| 2007 |
|---|
| 7 | | Alejandro Peña Ayala,
Humberto Sossa,
Francisco Gutiérrez:
Ontology Agent Based Rule Base Fuzzy Cognitive Maps.
KES-AMSTA 2007: 328-337 |
| 2003 |
|---|
| 6 | | Francisco Gutiérrez,
Blas C. Ruiz:
Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.
ICALP 2003: 956-968 |
| 5 | | Francisco Gutiérrez,
Blas C. Ruiz:
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 4 | | Francisco Gutiérrez,
Blas C. Ruiz:
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.
LOPSTR 2002: 17-31 |
| 3 | | Francisco Gutiérrez,
Blas C. Ruiz:
Order Functional Pure Type Systems.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 1997 |
|---|
| 2 | | José E. Gallardo,
Francisco Gutiérrez,
Blas C. Ruiz:
Inheritance and Selective Methods Dispatching in Concurrent Haskell.
PLILP 1997: 33-46 |
| 1996 |
|---|
| 1 | | Blas C. Ruiz,
José E. Gallardo,
P. Guerrero,
Francisco Gutiérrez:
Clasificacion de Objetos Funcionales en Entornos Concurrentes.
APPIA-GULP-PRODE 1996: 581-584 |
