default search action

combined dblp search
author search
venue search
publication search

ask others

David de Frutos-Escrig

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00958
Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig:
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. CoRR abs/2402.00958 (2024)
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00962
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas:
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. CoRR abs/2402.00962 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00963
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Non-strongly Stable Orders Also Define Interesting Simulation Relations. CoRR abs/2402.00963 (2024)
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00964
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Logics for Contravariant Simulations. CoRR abs/2402.00964 (2024)
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00966
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
On the specification of modal systems: A comparison of three frameworks. CoRR abs/2402.00966 (2024)
2021
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Frutos-EscrigKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Frutos-EscrigKM21
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae 183(1-2): 67-96 (2021)
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Frutos-Escrig21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Frutos-Escrig21
David de Frutos-Escrig:
Distributed Population Protocols: Naturally! PNSE@Petri Nets 2021: 213-232
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-10535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-10535
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. CoRR abs/2110.10535 (2021)
2020
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BarozziniFMMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BarozziniFMMS20
David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala:
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813: 270-304 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Frutos-EscrigKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Frutos-EscrigKM19
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Reversing Steps in Petri Nets. Petri Nets 2019: 171-191
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/19/Frutos-Escrig19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/Frutos-Escrig19
David de Frutos-Escrig:
Petri Nets Are (Not Only) Distributed Automata. Carl Adam Petri: Ideas, Personality, Impact 2019: 67-72
2018
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Frutos-EscrigKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Frutos-EscrigKM18
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets 2018: 207-226
2017
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/acta/AcetoF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/AcetoF17
Luca Aceto, David de Frutos-Escrig:
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). Acta Informatica 54(1): 1-2 (2017)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/actaC/AcetoFI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/AcetoFI17
Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir:
Trace Simulation Semantics is not Finitely Based over BCCSP. Acta Cybern. 23(1): 81-90 (2017)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Frutos-EscrigKW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Frutos-EscrigKW17
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse:
Games for Bisimulations and Abstraction. Log. Methods Comput. Sci. 13(4) (2017)
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/time/MonicaFMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/MonicaFMMS17
Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18
2016
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/EscrigKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EscrigKW16
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse:
Branching Bisimulation Games. FORTE 2016: 142-157
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/EscrigKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EscrigKW16
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse:
Games for Bisimulations and Abstraction. CoRR abs/1611.00401 (2016)
2015
[c60]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Romero-Hernandez15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Romero-Hernandez15
David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica:
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. PROLE 2015: 48-63
[e2]
- view
- export record
  dblp key:
  - conf/concur/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2015
Luca Aceto, David de Frutos-Escrig:
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-91-0 [contents]
2014
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoFGI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoFGI14
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing weak simulation semantics over BCCSP. Theor. Comput. Sci. 537: 42-71 (2014)
[c59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Romero-HernandezF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Romero-HernandezF14
David Romero-Hernández, David de Frutos-Escrig:
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. FORTE 2014: 249-265
2013
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1304-6574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-6574
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández:
Unifying the Linear Time-Branching Time Spectrum of Process Semantics. Log. Methods Comput. Sci. 9(2) (2013)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AcetoFFIP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AcetoFFIP13
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78(12): 2468-2487 (2013)
2012
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Romero-HernandezF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Romero-HernandezF12
David Romero-Hernández, David de Frutos-Escrig:
Defining Distances for All Process Semantics. FMOODS/FORTE 2012: 169-185
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/AcetoFGI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/AcetoFGI12
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. SOFSEM 2012: 141-152
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/wadt/Romero-HernandezF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Romero-HernandezF12
David Romero-Hernández, David de Frutos-Escrig:
Distances between Processes: A Pure Algebraic Approach. WADT 2012: 265-282
2011
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Rosa-VelardoMF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Rosa-VelardoMF11
Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig:
Accelerations for the Coverability Set of Petri Nets with Names. Fundam. Informaticae 113(3-4): 313-341 (2011)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/AcetoFGI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/AcetoFGI11
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Inf. Process. Lett. 111(9): 408-413 (2011)
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rosa-VelardoF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rosa-VelardoF11
Fernando Rosa-Velardo, David de Frutos-Escrig:
Decidability and complexity of Petri nets with unordered data. Theor. Comput. Sci. 412(34): 4439-4451 (2011)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/AcetoFFIP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/AcetoFFIP11
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN 2011: 268-283
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AcetoFGI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AcetoFGI11
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24
[c53]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4464
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4464
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Graphical representation of covariant-contravariant modal formulae. EXPRESS 2011: 1-15
[c52]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-3127
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3127
David Romero-Hernández, David de Frutos-Escrig:
On the Unification of Process Semantics: Logical Semantics. SOS 2011: 47-61
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/VelardoF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/VelardoF10
Fernando Rosa-Velardo, David de Frutos-Escrig:
Decidability Problems in Petri Nets with Names and Replication. Fundam. Informaticae 105(3): 291-317 (2010)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VelardoF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VelardoF10
Fernando Rosa-Velardo, David de Frutos-Escrig:
Forward Analysis for Petri Nets with Name Creation. Petri Nets 2010: 185-205
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/FabregasFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FabregasFP10
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Logics for Contravariant Simulations. FMOODS/FORTE 2010: 224-231
[c49]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1008-2108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-2108
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics. SOS 2010: 1-14
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1011-3964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-3964
Fernando Rosa-Velardo, David de Frutos-Escrig:
Decision Problems for Petri Nets with Names. CoRR abs/1011.3964 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Frutos-EscrigG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Frutos-EscrigG09
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
(Bi)simulations up-to characterise process semantics. Inf. Comput. 207(2): 146-170 (2009)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Frutos-EscrigGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Frutos-EscrigGP09
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Ready to preorder: an algebraic and general proof. J. Log. Algebraic Methods Program. 78(7): 539-551 (2009)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VelardoF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VelardoF09
Fernando Rosa-Velardo, David de Frutos-Escrig:
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. Petri Nets 2009: 63-82
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/FabregasFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/FabregasFP09
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO 2009: 221-235
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/FecherFLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/FecherFLS09
Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt:
On the Expressiveness of Refinement Settings. FSEN 2009: 276-291
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/Frutos-EscrigGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/Frutos-EscrigGP09
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Frutos-EscrigGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Frutos-EscrigGP09
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
On the Unification of Process Semantics: Equational Semantics. MFPS 2009: 243-267
2008
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MaciaRCF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MaciaRCF08
Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig:
A congruence relation for sPBC. Formal Methods Syst. Des. 32(2): 85-128 (2008)
[j6]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/VelardoF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/VelardoF08
Fernando Rosa-Velardo, David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems. Fundam. Informaticae 88(3): 329-356 (2008)
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Frutos-EscrigPF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigPF08
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas:
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE 2008: 283-298
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/Frutos-EscrigG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/Frutos-EscrigG08
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Universal Coinductive Characterisations of Process Semantics. IFIP TCS 2008: 397-412
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Frutos-EscrigGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Frutos-EscrigGP08
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. FICS 2008: 149-162
2007
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VelardoF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VelardoF07
Fernando Rosa-Velardo, David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems. ICATPN 2007: 402-422
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Frutos-EscrigVG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigVG07
David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems. FORTE 2007: 143-159
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FabregasPF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FabregasPF07
Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig:
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC 2007: 231-245
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Frutos-EscrigG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Frutos-EscrigG07
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Simulations Up-to and Canonical Preorders: (Extended Abstract). SOS@LICS/ICALP 2007: 13-28
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Frutos-EscrigG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Frutos-EscrigG08
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. PROLE 2007: 41-58
2006
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/Frutos-EscrigG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/Frutos-EscrigG06
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Process Equivalences as Global Bisimulations. J. Univers. Comput. Sci. 12(11): 1521-1550 (2006)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/VelardoF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/VelardoF06
Fernando Rosa-Velardo, David de Frutos-Escrig:
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. ATVA 2006: 461-476
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/VelardoFA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/VelardoFA06
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso:
Replicated Ubiquitous Nets. ICCSA (4) 2006: 158-168
2005
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Frutos-EscrigG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Frutos-EscrigG05
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Bisimulations Up-to for the Linear Time Branching Time Spectrum. CONCUR 2005: 278-292
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/Frutos-EscrigAV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/Frutos-EscrigAV05
David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa-Velardo:
Ubiquitous Systems and Petri Nets. ICCSA (2) 2005: 1156-1166
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VelardoFA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VelardoFA07
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso:
On the Expressiveness of Mobile Synchronizing Petri Nets. SecCO@CONCUR 2005: 77-94
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rosa-VelardoMF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rosa-VelardoMF06
Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig:
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. MTCoord@COORDINATION 2005: 103-126
2004
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/Frutos-EscrigG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/Frutos-EscrigG04
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Preserving Contexts for Soft Conformance Relation. FATES 2004: 33-48
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VelardoSF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VelardoSF05
Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig:
Tagged Systems: A Framework for the Specification of History-dependent Properties. PROLE 2004: 151-174
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2004
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. Lecture Notes in Computer Science 3235, Springer 2004, ISBN 3-540-23252-4 [contents]
2003
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/EscrigA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/EscrigA03
David de Frutos-Escrig, Olga Marroquín Alonso:
Replicated Ambient Petri Nets. International Conference on Computational Science 2003: 774-783
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Frutos-EscrigA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Frutos-EscrigA03
David de Frutos-Escrig, Olga Marroquín Alonso:
Ambient Petri nets. FGC 2003: 39
2001
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AlonsoF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AlonsoF01
Olga Marroquín Alonso, David de Frutos-Escrig:
Extending the Petri Box Calculus with Time. ICATPN 2001: 303-322
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/MaciaVF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/MaciaVF01
Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig:
sPBC: A Markovian Extension of Finite Petri box calculus. PNPM 2001: 207-216
2000
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Frutos-EscrigRA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Frutos-EscrigRA00
David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso:
Decidability of Properties of Timed-Arc Petri Nets. ICATPN 2000: 187-206
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BruniFMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BruniFMM00
Roberto 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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/DiazF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/DiazF99
Luis Fernando Llana Díaz, David de Frutos-Escrig:
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. ASIAN 1999: 74-86
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Frutos-EscrigLN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigLN99
David de Frutos-Escrig, Natalia López, Manuel Núñez:
Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/RuizFG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/RuizFG99
Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez:
On non-decidability of reachability for timed-arc Petri nets. PNPM 1999: 188-196
1998
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/Frutos-EscrigDN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/Frutos-EscrigDN98
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez:
An invitation to friendly testing. J. Comput. Sci. Technol. 13(6): 531-545 (1998)
1997
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/CuarteroFR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/CuarteroFR97
Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz:
A Sound and Complete Proof System for Probabilistic Processes. ARTS 1997: 340-352
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/Llana-DiazF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/Llana-DiazF97
Luis Fernando Llana Díaz, David de Frutos-Escrig:
Denotational Semantics for Timed Testing. ARTS 1997: 368-382
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Frutos-EscrigDN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigDN97
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez:
Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
1995
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/RuizFC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RuizFC95
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NunezFL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NunezFL95
Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz:
Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/NunezF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NunezF95
Manuel Núñez, David de Frutos-Escrig:
Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Frutos-EscrigNQ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Frutos-EscrigNQ95
David de Frutos-Escrig, Manuel Núñez, Juan Quemada:
Characterizing termination in LOTOS via testing. PSTV 1995: 237-250
1993
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/QuemadaFA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/QuemadaFA93
Juan Quemada, David de Frutos-Escrig, Arturo Azcorra:
TIC: A TImed Calculus. Formal Aspects Comput. 5(3): 224-252 (1993)
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/amast/Frutos-Escrig93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Frutos-Escrig93
David de Frutos-Escrig:
A Characterization of LOTOS Representable Networks of Parallel Processes. AMAST 1993: 281-288
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/RuizFG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/RuizFG93
Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez:
Decidability of the strict reachability problem for TPN's with rational and real durations. PNPM 1993: 56-65
1991
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/PavonHQFO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PavonHQFO91
Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega:
Inverse Expansion. FORTE 1991: 297-312
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/RuizFC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/RuizFC91
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Ortega-MallenF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Ortega-MallenF91
Yolanda Ortega-Mallén, David de Frutos-Escrig:
A Complete Proof System for Timed Observations. TAPSOFT, Vol.1 1991: 412-440
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Frutos-EscrigF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Frutos-EscrigF91
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
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BolognesiFO90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BolognesiFO90
Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén:
Graphical Composition Theorems for Parallel and Hiding Operators. FORTE 1990: 459-470
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Ortega-MallenF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Ortega-MallenF90
Yolanda Ortega-Mallén, David de Frutos-Escrig:
Timed Observations: A Semantic Model for Real-Time Concurrency. Programming Concepts and Methods 1990: 125-154

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/QuemadaAF89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/QuemadaAF89
Juan Quemada, Arturo Azcorra, David de Frutos-Escrig:
TIC: A Timed Calculus for LOTOS. FORTE 1989: 195-209
1987
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Escrig87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Escrig87
David de Frutos-Escrig:
Probabilistic Ianov's Schemes. Theor. Comput. Sci. 53: 67-97 (1987)
1986
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Escrig86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Escrig86
David de Frutos-Escrig:
Probabilistic Ianov's Schemes. CAAP 1986: 142-157
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Escrig86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Escrig86
David de Frutos-Escrig:
Some Probabilistic Powerdomains in the Category SFP. STACS 1986: 49-59
1984
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Escrig84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Escrig84
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

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.