Search results for "Francisco Gutierrez"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	J. Andrés Montoya, Francisco Gutierrez, Luis E. Zambrano	Some Applications of the Schutzenberger-Bertoni Method.	Electronic Notes in Discrete Mathematics	2011	DBLP DOI BibTeX RDF
1	Francisco Gutiérrez, Camilo Argoty, Stefany Moreno	A generalization of a classical model in contract theory: The agent behavior	CoRR	2011	DBLP BibTeX RDF
1	Francisco Gutierrez, Nelson Baloian, Gustavo Zurita	Boosting Participation in Virtual Communities.	CRIWG	2011	DBLP DOI BibTeX RDF
1	Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez	Web Services and Interoperability for the Maude Termination Tool.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	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.	2008	DBLP DOI BibTeX RDF
1	Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel	A formalization of the SMEPP model in Maude.	MobiQuitous	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, formal semantics, automated verification, service-oriented models
1	Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu	Modelado de sistemas P2P con control de excepciones.	CIbSE	2008	DBLP BibTeX RDF
1	Alejandro Peña Ayala, Humberto Sossa, Francisco Gutiérrez	Ontology Agent Based Rule Base Fuzzy Cognitive Maps.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
1	Francisco Gutiérrez, Blas C. Ruiz	Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Francisco Gutiérrez, Blas C. Ruiz	Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.	ICALP	2003	DBLP DOI BibTeX RDF	pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi
1	Francisco Gutiérrez, Blas C. Ruiz	Order Functional Pure Type Systems.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
1	José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz	Inheritance and Selective Methods Dispatching in Concurrent Haskell.	PLILP	1997	DBLP DOI BibTeX RDF	guarded methods, functional programming, Haskell, inheritance anomaly, Concurrent objects
1	Blas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez	Clasificacion de Objetos Funcionales en Entornos Concurrentes.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF

Publications of "Francisco Gutierrez" ( http://dblp.L3S.de/Authors/Francisco_Gutierrez )