The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David de Frutos-Escrig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David de Frutos-Escrig
    A Characterization of LOTOS Representable Networks of Parallel Processes. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:281-288 [Conf]
  2. Olga Marroquín Alonso, David de Frutos-Escrig
    Extending the Petri Box Calculus with Time. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:303-322 [Conf]
  3. David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
    Decidability of Properties of Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:187-206 [Conf]
  4. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Timed Processes of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:490-509 [Conf]
  5. Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz
    A Sound and Complete Proof System for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:340-352 [Conf]
  6. Luis Fernando Llana Díaz, David de Frutos-Escrig
    Denotational Semantics for Timed Testing. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:368-382 [Conf]
  7. Luis Fernando Llana Díaz, David de Frutos-Escrig
    Relating May and Must Testing Semantics for Discrete Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:74-86 [Conf]
  8. Fernando Rosa Velardo, David de Frutos-Escrig
    Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:461-476 [Conf]
  9. David de Frutos-Escrig
    Probabilistic Ianov's Schemes. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:142-157 [Conf]
  10. Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
    Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:259-274 [Conf]
  11. 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]
  12. Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz
    Acceptance Trees for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:249-263 [Conf]
  13. 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]
  14. Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén
    Graphical Composition Theorems for Parallel and Hiding Operators. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:459-470 [Conf]
  15. David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
    Friendly Testing as a Conformance Relation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:283-298 [Conf]
  16. David de Frutos-Escrig, Natalia López, Manuel Núñez
    Global Timed Bisimulation: An Introduction. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:401-416 [Conf]
  17. Manuel Núñez, David de Frutos-Escrig
    Testing Semantics for Probabilistic LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:367-382 [Conf]
  18. Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega
    Inverse Expansion. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:297-312 [Conf]
  19. Juan Quemada, Arturo Azcorra, David de Frutos-Escrig
    TIC: A Timed Calculus for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:195-209 [Conf]
  20. David de Frutos-Escrig, Olga Marroquín Alonso
    Replicated Ambient Petri Nets. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:774-783 [Conf]
  21. David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa Velardo
    Ubiquitous Systems and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICCSA (2), 2005, pp:1156-1166 [Conf]
  22. Fernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
    Replicated Ubiquitous Nets. [Citation Graph (0, 0)][DBLP]
    ICCSA (4), 2006, pp:158-168 [Conf]
  23. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:154-163 [Conf]
  24. David de Frutos-Escrig, Manuel Núñez, Juan Quemada
    Characterizing termination in LOTOS via testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:237-250 [Conf]
  25. David de Frutos-Escrig
    Some Probabilistic Powerdomains in the Category SFP. [Citation Graph (0, 0)][DBLP]
    STACS, 1986, pp:49-59 [Conf]
  26. David de Frutos-Escrig, María-Inés Fernández-Camacho
    On Narrowing Strategies for Partial Non-Strict Functions. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:416-437 [Conf]
  27. Yolanda Ortega-Mallén, David de Frutos-Escrig
    A Complete Proof System for Timed Observations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:412-440 [Conf]
  28. David de Frutos-Escrig, Olga Marroquín Alonso
    Ambient Petri nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal]
  29. Fernando Rosa Velardo, Olga Marroquín Alonso, David de Frutos-Escrig
    Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:103-126 [Journal]
  30. Fernando Rosa Velardo, Clara Segura, David de Frutos-Escrig
    Tagged Systems: A Framework for the Specification of History-dependent Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:151-174 [Journal]
  31. Juan Quemada, David de Frutos-Escrig, Arturo Azcorra
    TIC: A TImed Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:3, pp:224-252 [Journal]
  32. 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]
  33. David de Frutos-Escrig
    A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:31, n:, pp:73-82 [Journal]
  34. David de Frutos-Escrig
    Probabilistic Ianov's Schemes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:53, n:, pp:67-97 [Journal]
  35. Fernando Rosa Velardo, David de Frutos-Escrig
    Name Creation vs. Replication in Petri Net Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:402-422 [Conf]
  36. 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]
  37. Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
    Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:231-245 [Conf]
  38. Fernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
    On the Expressiveness of Mobile Synchronizing Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:77-94 [Journal]

  39. Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. [Citation Graph (, )][DBLP]


  40. Forward Analysis for Petri Nets with Name Creation. [Citation Graph (, )][DBLP]


  41. Non-strongly Stable Orders Also Define Interesting Simulation Relations. [Citation Graph (, )][DBLP]


  42. Logics for Contravariant Simulations. [Citation Graph (, )][DBLP]


  43. Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. [Citation Graph (, )][DBLP]


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


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


  46. On the Expressiveness of Refinement Settings. [Citation Graph (, )][DBLP]


  47. Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics [Citation Graph (, )][DBLP]


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


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


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


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


Search in 0.005secs, Finished in 0.008secs
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