David de Frutos-Escrig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
10
Active years
1986–2017
Best venue rank
C
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TIME | Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. | Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco |
| 2016 | FORTE | Branching Bisimulation Games. | David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2014 | FORTE | Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. | David Romero-Hernndez, David de Frutos-Escrig |
| 2012 | FORTE | Defining Distances for All Process Semantics. | David Romero-Hernndez, David de Frutos-Escrig |
| 2012 | SOFSEM | The Equational Theory of Weak Complete Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | ICTAC | Axiomatizing Weak Ready Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2010 | FORTE | Logics for Contravariant Simulations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | CALCO | Non-strongly Stable Orders Also Define Interesting Simulation Relations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | SOFSEM | On the Unification of Process Semantics: Observational Semantics. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Miguel Palomino |
| 2008 | FORTE | Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. | David de Frutos-Escrig, Miguel Palomino, Ignacio Fbregas |
| 2007 | FORTE | New Bisimulation Semantics for Distributed Systems. | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodrguez |
| 2007 | ICTAC | Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. | Ignacio Fbregas, Miguel Palomino, David de Frutos-Escrig |
| 2006 | ATVA | Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. | Fernando Rosa-Velardo, David de Frutos-Escrig |
| 2006 | ICCSA | Replicated Ubiquitous Nets. | Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroqun Alonso |
| 2005 | CONCUR | Bisimulations Up-to for the Linear Time Branching Time Spectrum. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez |
| 2005 | ICCSA | Ubiquitous Systems and Petri Nets. | David de Frutos-Escrig, Olga Marroqun Alonso, Fernando Rosa-Velardo |
| 2003 | ICCS | Replicated Ambient Petri Nets. | David de Frutos-Escrig, Olga Marroqun Alonso |
| 2000 | CONCUR | Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. | Roberto Bruni, David de Frutos-Escrig, Narciso Mart-Oliet, Ugo Montanari |
| 1999 | FORTE | Global Timed Bisimulation: An Introduction. | David de Frutos-Escrig, Natalia Lpez, Manuel Nez |
| 1997 | FORTE | Friendly Testing as a Conformance Relation. | David de Frutos-Escrig, Luis Fernando Llana Daz, Manuel Nez |
| 1995 | CONCUR | Acceptance Trees for Probabilistic Processes. | Manuel Nez, David de Frutos-Escrig, Luis Fernando Llana Daz |
| 1995 | FORTE | Testing Semantics for Probabilistic LOTOS. | Manuel Nez, David de Frutos-Escrig |
| 1991 | FORTE | Inverse Expansion. | Santiago Pavn, M. Hulstrm, Juan Quemada, David de Frutos-Escrig, Y. Ortega |
| 1990 | FORTE | Graphical Composition Theorems for Parallel and Hiding Operators. | Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Malln |
| 1989 | FORTE | TIC: A Timed Calculus for LOTOS. | Juan Quemada, Arturo Azcorra, David de Frutos-Escrig |
| 1986 | STACS | Some Probabilistic Powerdomains in the Category SFP. | David de Frutos-Escrig |