David de Frutos-Escrig

Available identifiers

zbMath Open de-frutos-escrig.davidWikidataQ60656107 ScholiaQ60656107MaRDI QIDQ554218

List of research outcomes

Publication	Date of Publication	Type
Reversing Steps in Petri Nets	2024-01-29	Paper
Investigating Reversibility of Steps in Petri Nets	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4965824	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4965855	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4963897	2021-02-24	Paper
Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts	2020-04-21	Paper
An efficient characterization of Petri net solvable binary words	2019-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4596797	2017-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4594347	2017-11-23	Paper
Trace Simulation Semantics is not Finitely Based over BCCSP	2017-08-25	Paper
Branching Bisimulation Games	2016-10-19	Paper
On the Unification of Process Semantics: Equational Semantics	2016-05-10	Paper
Axiomatizing weak simulation semantics over BCCSP	2014-06-10	Paper
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences	2014-05-13	Paper
Simulations Up-to and Canonical Preorders	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2871848	2014-01-10	Paper
On the Expressiveness of Mobile Synchronizing Petri Nets	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2850671	2013-09-27	Paper
Distances between Processes: A Pure Algebraic Approach	2013-09-13	Paper
Unifying the Linear Time-Branching Time Spectrum of Process Semantics	2013-07-09	Paper
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet	2013-03-28	Paper
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations	2012-06-29	Paper
The Equational Theory of Weak Complete Simulation Semantics over BCCSP	2012-06-15	Paper
Non-strongly Stable Orders Also Define Interesting Simulation Relations	2012-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q3225720	2012-03-22	Paper
Axiomatizing Weak Ready Simulation Semantics over BCCSP	2012-01-06	Paper
Decidability and complexity of Petri nets with unordered data	2011-07-29	Paper
Decidability Problems in Petri Nets with Names and Replication	2011-03-28	Paper
Forward Analysis for Petri Nets with Name Creation	2010-06-22	Paper
On the Expressiveness of Refinement Settings	2010-01-28	Paper
Ready to preorder: an algebraic and general proof	2009-09-29	Paper
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication	2009-06-30	Paper
(Bi)simulations up-to characterise process semantics	2009-04-14	Paper
Name Creation vs. Replication in Petri Net Systems	2009-03-11	Paper
New Bisimulation Semantics for Distributed Systems	2009-03-10	Paper
Replicated Ubiquitous Nets	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3601864	2009-02-12	Paper
On the Unification of Process Semantics: Observational Semantics	2009-02-03	Paper
Replicated Ambient Petri Nets	2008-09-30	Paper
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations	2008-09-17	Paper
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets	2008-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q5754523	2007-08-22	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4536607	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2766563	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4535184	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2736355	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4501573	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4942026	2000-03-19	Paper
An invitation to friendly testing	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4729315	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David de Frutos-Escrig