David de Frutos-Escrig
Orcid: 0000-0002-3870-7744
According to our database1,
David de Frutos-Escrig
authored at least 86 papers
between 1984 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
3
1
2
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
3
4
3
5
3
4
2
4
2
2
2
2
3
3
4
2
4
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021
2020
Beyond <i>ω</i>-regular languages: <i>ωT</i>-regular expressions and their automata and logic counterparts.
Theor. Comput. Sci., 2020
2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
Acta Informatica, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.
Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015
2014
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
2013
Sci. Comput. Program., 2013
Log. Methods Comput. Sci., 2013
2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
2011
Theor. Comput. Sci., 2011
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.
Inf. Process. Lett., 2011
Fundam. Informaticae, 2011
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011
Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
2010
Fundam. Informaticae, 2010
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Applications and Theory of Petri Nets, 2010
2009
J. Log. Algebraic Methods Program., 2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the Fundamentals of Software Engineering, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.
Proceedings of the Applications and Theory of Petri Nets, 2009
2008
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.
Proceedings of the First International Conference on Foundations of Informatics, 2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
2007
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
2006
Proceedings of the Computational Science and Its Applications, 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005
Proceedings of the Computational Science and Its Applications, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004
2003
Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003
Proceedings of the Computational Science - ICCS 2003, 2003
2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the Application and Theory of Petri Nets 2001, 2001
2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
Global Timed Bisimulation: An Introduction.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
Proceedings of the Advances in Computing Science, 1999
1998
1997
Friendly Testing as a Conformance Relation.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
1995
Characterizing termination in LOTOS via testing.
Proceedings of the Protocol Specification, 1995
Testing Semantics for Probabilistic LOTOS.
Proceedings of the Formal Description Techniques VIII, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the Application and Theory of Petri Nets 1995, 1995
1993
Decidability of the strict reachability problem for TPN's with rational and real durations.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993
A Characterization of LOTOS Representable Networks of Parallel Processes.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
Inverse Expansion.
Proceedings of the Formal Description Techniques, 1991
1990
Timed Observations: A Semantic Model for Real-Time Concurrency.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
Graphical Composition Theorems for Parallel and Hiding Operators.
Proceedings of the Formal Description Techniques, 1990
1989
TIC: A Timed Calculus for LOTOS.
Proceedings of the Formal Description Techniques, 1989
1987
1986
Proceedings of the STACS 86, 1986
1984
Theor. Comput. Sci., 1984