The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francisco Gutiérrez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Blas C. Ruiz, José E. Gallardo, P. Guerrero, Francisco Gutiérrez
    Clasificacion de Objetos Funcionales en Entornos Concurrentes. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:581-584 [Conf]
  2. Francisco Gutiérrez, Blas C. Ruiz
    Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:956-968 [Conf]
  3. Francisco Gutiérrez, Blas C. Ruiz
    A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:17-31 [Conf]
  4. José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz
    Inheritance and Selective Methods Dispatching in Concurrent Haskell. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:33-46 [Conf]
  5. Francisco Gutiérrez, Blas C. Ruiz
    Order Functional Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  6. Francisco Gutiérrez, Blas C. Ruiz
    Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  7. Alejandro Peña, Humberto Sossa, Francisco Gutiérrez
    Ontology Agent Based Rule Base Fuzzy Cognitive Maps. [Citation Graph (0, 0)][DBLP]
    KES-AMSTA, 2007, pp:328-337 [Conf]

  8. A formalization of the SMEPP model in Maude. [Citation Graph (, )][DBLP]


  9. Modelado de sistemas P2P con control de excepciones. [Citation Graph (, )][DBLP]


  10. A Service-Oriented Model for Embedded Peer-to-Peer Systems. [Citation Graph (, )][DBLP]


  11. Web Services and Interoperability for the Maude Termination Tool. [Citation Graph (, )][DBLP]


Search in 0.049secs, Finished in 0.050secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002