dblp.uni-trier.dewww.uni-trier.de

David de Frutos-Escrig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
48EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290
47EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: (Bi)simulations up-to characterise process semantics. Inf. Comput. 207(2): 146-170 (2009)
2008
46EEDavid de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas: Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE 2008: 283-298
45EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Universal Coinductive Characterisations of Process Semantics. IFIP TCS 2008: 397-412
44EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. Electr. Notes Theor. Comput. Sci. 206: 41-58 (2008)
43EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electr. Notes Theor. Comput. Sci. 212: 149-162 (2008)
42EEHermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig: A congruence relation for sPBC. Formal Methods in System Design 32(2): 85-128 (2008)
41EEFernando Rosa Velardo, David de Frutos-Escrig: Name Creation vs. Replication in Petri Net Systems. Fundam. Inform. 88(3): 329-356 (2008)
2007
40EEDavid de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez: New Bisimulation Semantics for Distributed Systems. FORTE 2007: 143-159
39EEFernando Rosa Velardo, David de Frutos-Escrig: Name Creation vs. Replication in Petri Net Systems. ICATPN 2007: 402-422
38EEIgnacio Fábregas, Miguel Palomino, David de Frutos-Escrig: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC 2007: 231-245
37EEFernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso: On the Expressiveness of Mobile Synchronizing Petri Nets. Electr. Notes Theor. Comput. Sci. 180(1): 77-94 (2007)
36EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Simulations Up-to and Canonical Preorders: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 13-28 (2007)
2006
35EEFernando Rosa Velardo, David de Frutos-Escrig: Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. ATVA 2006: 461-476
34EEFernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso: Replicated Ubiquitous Nets. ICCSA (4) 2006: 158-168
33EEFernando Rosa Velardo, Olga Marroquín Alonso, David de Frutos-Escrig: Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. Electr. Notes Theor. Comput. Sci. 150(1): 103-126 (2006)
32EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Process Equivalences as Global Bisimulations. J. UCS 12(11): 1521-1550 (2006)
2005
31EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Bisimulations Up-to for the Linear Time Branching Time Spectrum. CONCUR 2005: 278-292
30EEDavid de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa Velardo: Ubiquitous Systems and Petri Nets. ICCSA (2) 2005: 1156-1166
29EEFernando Rosa Velardo, Clara Segura, David de Frutos-Escrig: Tagged Systems: A Framework for the Specification of History-dependent Properties. Electr. Notes Theor. Comput. Sci. 137(1): 151-174 (2005)
2004
28 David de Frutos-Escrig, Manuel Núñez: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings Springer 2004
27EEDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez: Preserving Contexts for Soft Conformance Relation. FATES 2004: 33-48
2003
26EEDavid de Frutos-Escrig, Olga Marroquín Alonso: Replicated Ambient Petri Nets. International Conference on Computational Science 2003: 774-783
25EEDavid de Frutos-Escrig, Olga Marroquín Alonso: Ambient Petri nets. Electr. Notes Theor. Comput. Sci. 85(1): (2003)
2001
24EEOlga Marroquín Alonso, David de Frutos-Escrig: Extending the Petri Box Calculus with Time. ICATPN 2001: 303-322
2000
23EERoberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari: Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274
22EEDavid de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso: Decidability of Properties of Timed-Arc Petri Nets. ICATPN 2000: 187-206
1999
21EELuis Fernando Llana Díaz, David de Frutos-Escrig: Relating May and Must Testing Semantics for Discrete Timed Process Algebras. ASIAN 1999: 74-86
20 David de Frutos-Escrig, Natalia López, Manuel Núñez: Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
1997
19 Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz: A Sound and Complete Proof System for Probabilistic Processes. ARTS 1997: 340-352
18 Luis Fernando Llana Díaz, David de Frutos-Escrig: Denotational Semantics for Timed Testing. ARTS 1997: 368-382
17 David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
1995
16 Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero: Timed Processes of Timed Petri Nets. Application and Theory of Petri Nets 1995: 490-509
15 Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz: Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263
14 Manuel Núñez, David de Frutos-Escrig: Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
13 David de Frutos-Escrig, Manuel Núñez, Juan Quemada: Characterizing termination in LOTOS via testing. PSTV 1995: 237-250
1993
12 David de Frutos-Escrig: A Characterization of LOTOS Representable Networks of Parallel Processes. AMAST 1993: 281-288
11 Juan Quemada, David de Frutos-Escrig, Arturo Azcorra: TIC: A TImed Calculus. Formal Asp. Comput. 5(3): 224-252 (1993)
1991
10 Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega: Inverse Expansion. FORTE 1991: 297-312
9 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. PNPM 1991: 154-163
8 Yolanda Ortega-Mallén, David de Frutos-Escrig: A Complete Proof System for Timed Observations. TAPSOFT, Vol.1 1991: 412-440
7 David de Frutos-Escrig, María-Inés Fernández-Camacho: On Narrowing Strategies for Partial Non-Strict Functions. TAPSOFT, Vol.2 1991: 416-437
1990
6 Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén: Graphical Composition Theorems for Parallel and Hiding Operators. FORTE 1990: 459-470
1989
5 Juan Quemada, Arturo Azcorra, David de Frutos-Escrig: TIC: A Timed Calculus for LOTOS. FORTE 1989: 195-209
1987
4 David de Frutos-Escrig: Probabilistic Ianov's Schemes. Theor. Comput. Sci. 53: 67-97 (1987)
1986
3 David de Frutos-Escrig: Probabilistic Ianov's Schemes. CAAP 1986: 142-157
2 David de Frutos-Escrig: Some Probabilistic Powerdomains in the Category SFP. STACS 1986: 49-59
1984
1 David de Frutos-Escrig: A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties. Theor. Comput. Sci. 31: 73-82 (1984)

Coauthor Index

1Olga Marroquín Alonso [22] [24] [25] [26] [30] [33] [34] [37]
2Arturo Azcorra [5] [11]
3Tommaso Bolognesi [6]
4Roberto Bruni [23]
5Fernando Cuartero [9] [16] [19] [42]
6Luis Fernando Llana Díaz [15] [17] [18] [21]
7Ignacio Fábregas [38] [46]
8María-Inés Fernández-Camacho [7]
9Carlos Gregorio-Rodríguez [27] [31] [32] [36] [40] [43] [44] [45] [47] [48]
10M. Hulström [10]
11Natalia López [20]
12Hermenegilda Macià [42]
13Narciso Martí-Oliet [23]
14Ugo Montanari [23]
15Manuel Núñez [13] [14] [15] [17] [20] [28]
16Y. Ortega [10]
17Yolanda Ortega-Mallén [6] [8]
18Miguel Palomino [38] [43] [46] [48]
19Santiago Pavón [10]
20Juan Quemada [5] [10] [11] [13]
21Valentín Valero Ruiz (Valentin Valero) [9] [16] [19] [22] [42]
22Clara Segura [29]
23Fernando Rosa Velardo [29] [30] [33] [34] [35] [37] [39] [40] [41]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)