| Decidability and complexity of Petri nets with unordered data F Rosa-Velardo, D de Frutos-Escrig Theoretical Computer Science 412 (34), 4439-4451, 2011 | 106 | 2011 |
| Decidability of properties of timed-arc Petri nets DF Escrig, VV Ruiz, OM Alonso International Conference on Application and Theory of Petri Nets, 187-206, 2000 | 101 | 2000 |
| On non-decidability of reachability for timed-arc Petri nets VV Ruiz, D de Frutos Escrig, FC Gomez Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999 | 99 | 1999 |
| TIC: A timed calculus for LOTOS J Quemada, A Azcorra, D Frutos-Escrig Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989 | 85 | 1989 |
| Name creation vs. replication in petri net systems F Rosa-Velardo, D de Frutos-Escrig Fundamenta Informaticae 88 (3), 329-356, 2008 | 62 | 2008 |
| Acceptance trees for probabilistic processes M Núñez, D de Frutos, L Llana International Conference on Concurrency Theory, 249-263, 1995 | 61 | 1995 |
| sPBC: a Markovian extension of finite Petri box calculus H Macia, V Valero, D de Frutos-Escrig Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 51 | 2001 |
| Decidability of home space property D de Frutos Escrig, C Johnen Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989 | 49 | 1989 |
| Extending the Petri box calculus with time OM Alonso, DF de Escrig International Conference on Application and Theory of Petri Nets, 303-322, 2001 | 39 | 2001 |
| Games for bisimulations and abstraction DDF Escrig, JJA Keiren, TAC Willemse Logical Methods in Computer Science 13, 2017 | 33 | 2017 |
| Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems F Rosa-Velardo, O Marroquín-Alonso, D de Frutos-Escrig Electronic Notes in Theoretical Computer Science 150 (1), 103-126, 2006 | 32 | 2006 |
| On the expressiveness of mobile synchronizing Petri nets F Rosa-Velardo, D de Frutos-Escrig, O Marroquín-Alonso Electronic Notes in Theoretical Computer Science 180 (1), 77-94, 2007 | 30 | 2007 |
| Bisimilarity congruences for open terms and term graphs via tile logic R Bruni, D de Frutos-Escrig, N Marti-Oliet, U Montanari International Conference on Concurrency Theory, 259-274, 2000 | 29 | 2000 |
| Logics for contravariant simulations I Fábregas, D de Frutos Escrig, M Palomino International Conference on Formal Methods for Open Object-Based Distributed …, 2010 | 26 | 2010 |
| Non-strongly stable orders also define interesting simulation relations I Fábregas, D de Frutos Escrig, M Palomino International Conference on Algebra and Coalgebra in Computer Science, 221-235, 2009 | 25 | 2009 |
| A sound and complete proof system for probabilistic processes FC Gómez, D de Frutos Escrig, VV Ruiz International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997 | 24 | 1997 |
| Bisimulations up-to for the linear time branching time spectrum D de Frutos Escrig, CG Rodríguez International Conference on Concurrency Theory, 278-292, 2005 | 22 | 2005 |
| Ready to preorder: an algebraic and general proof CG Rodríguez, M Palomino The Journal of Logic and Algebraic Programming 78 (7), 539-551, 2009 | 21 | 2009 |
| Unifying the linear time-branching time spectrum of process semantics D de Frutos Escrig, C Gregorio-Rodríguez, M Palomino, DR Hernández Logical Methods in Computer Science 9, 2013 | 20 | 2013 |
| Universal coinductive characterisations of process semantics DF Escrig, CG Rodríguez Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 20 | 2008 |
