The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlos Gregorio-Rodríguez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza
    La Potencia Expresiva de los Catamorfismos. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:477-484 [Conf]
  2. Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
    Testing Semantics for a Probabilistic-Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:353-367 [Conf]
  3. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
    Bisimulations Up-to for the Linear Time Branching Time Spectrum. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:278-292 [Conf]
  4. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
    Preserving Contexts for Soft Conformance Relation. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:33-48 [Conf]
  5. Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza
    Ergotracer: An Internet User Behaviour Tracer. [Citation Graph (0, 0)][DBLP]
    IICS, 2002, pp:121-132 [Conf]
  6. Carlos Gregorio-Rodríguez, Manuel Núñez
    Denotational Semantics for Probabilistic Refusal Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  7. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
    Process Equivalences as Global Bisimulations. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1521-1550 [Journal]
  8. David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez
    New Bisimulation Semantics for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:143-159 [Conf]

  9. Universal Coinductive Characterisations of Process Semantics. [Citation Graph (, )][DBLP]


  10. On the Unification of Process Semantics: Observational Semantics. [Citation Graph (, )][DBLP]


  11. EXercita: automatic web publishing of programming exercises. [Citation Graph (, )][DBLP]


  12. Simulations Up-to and Canonical Preorders: (Extended Abstract). [Citation Graph (, )][DBLP]


  13. Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. [Citation Graph (, )][DBLP]


  14. Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. [Citation Graph (, )][DBLP]


  15. On the Unification of Process Semantics: Equational Semantics. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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