Francisco Gutiérrez

	2011
12		Francisco Gutiérrez, Camilo Argoty, Stefany Moreno: A generalization of a classical model in contract theory: The agent behavior CoRR abs/1107.2881: (2011)
	2009
11		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
10		Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44
9		Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008
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: 105-116 (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: 162-177 (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

Coauthor Index

1	Camilo Argoty	[12]
2	Alejandro Peña Ayala	[7]
3	Juan Humberto Sossa Azuela (Humberto Sossa)	[7]
4	Antonio Brogi	[8] [10]
5	Francisco Durán	[9] [11]
6	José E. Gallardo	[1] [2]
7	P. Guerrero	[1]
8	Pablo López	[8] [9] [10]
9	Salvador Lucas	[11]
10	José Meseguer	[11]
11	Stefany Moreno	[12]
12	Ernesto Pimentel	[8] [9] [10]
13	Razvan Popescu	[8] [10]
14	Blas C. Ruiz	[1] [2] [3] [4] [5] [6]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page