| Modeling and verification of time dependent systems using time Petri nets B Berthomieu, M Diaz IEEE transactions on software engineering 17 (3), 259, 1991 | 1701 | 1991 |
| Manual de técnicas de intervención cognitivo conductuales MÁR Fernández, MIDAZ GARCíA, AV Crespo Desclée de Brouwer, 2012 | 810 | 2012 |
| How software process improvement helped Motorola M Diaz, J Sligo IEEE software 14 (5), 75-81, 1997 | 402 | 1997 |
| The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project PHJ Van Eijk, CA Vissers, M Diaz (No Title), 1989 | 314 | 1989 |
| Modeling and analysis of communication and cooperation protocols using Petri net based models M Diaz Computer Networks (1976) 6 (6), 419-441, 1982 | 290 | 1982 |
| Petri nets: fundamental models, verification and applications M Diaz John Wiley & Sons, 2013 | 248 | 2013 |
| La evaluación del profesorado universitario: criterios y propuestas para mejorar la función docente M Díaz | 179 | 1998 |
| Modeling logical and temporal synchronization in hypermedia systems P Sénac, M Diaz, A Leger, P de Saqui-Sannes IEEE journal on selected areas in communications 14 (1), 84-103, 1996 | 176 | 1996 |
| La evaluación del rendimiento inmediato en la enseñanza universitaria M Díaz, J Arias Revista de educación 320, 353-377, 1999 | 174 | 1999 |
| Administración por calidad L Aldana, M Álvarez, C Bernal, M Díaz, O Galindo, C González, A Villegas Colombia: Editorial Alfaomega, 2011 | 164 | 2011 |
| The role of humidity in associations of high temperature with mortality: a multicountry, multicity study B Armstrong, F Sera, AM Vicedo-Cabrera, R Abrutzky, DO Åström, ML Bell, ... Environmental health perspectives 127 (9), 097007, 2019 | 150 | 2019 |
| Application of Petri nets to communication networks: Advances in Petri nets J Billington, M Diaz Springer Science & Business Media, 1999 | 146 | 1999 |
| Les réseaux de Petri: modèles fondamentaux M Diaz Hermès science publications, 2001 | 138 | 2001 |
| Observer-a concept for formal on-line validation of distributed systems M Diaz, G Juanole, JP Courtiat IEEE Transactions on Software Engineering 20 (12), 900-913, 1994 | 136 | 1994 |
| Partial-order transport service for multimedia and other applications PD Amer, C Chassot, TJ Connolly, M Diaz, P Conrad IEEE/ACM transactions on Networking 2 (5), 440-456, 1994 | 136 | 1994 |
| Electrochemical oxidation of aqueous phenol wastes on synthetic diamond thin-film electrodes P Canizares, M Diaz, JA Dominguez, J Garcia-Gomez, MA Rodrigo Industrial & engineering chemistry research 41 (17), 4187-4194, 2002 | 130 | 2002 |
| Time Stream Petri Nets a model for timed multimedia information M Diaz, P Sénac International Conference on Application and Theory of Petri Nets, 219-238, 1994 | 130 | 1994 |
| Guía para la elaboración de estudios del medio físico M Aguilo, M Aramburu, A Blanco, T Calatayud, GR Carrasco, G Castilla MOPT. Madrid, 1992 | 126 | 1992 |
| Anxiety, depression, and asthma control: changes after standardized treatment J Sastre, A Crespo, A Fernandez-Sanchez, M Rial, V Plaza, FC González, ... The Journal of Allergy and Clinical Immunology: In Practice 6 (6), 1953-1959, 2018 | 116 | 2018 |
| End-to-end quality of service over heterogeneous networks T Braun, M Diaz, JE Gabeiras, T Staub Springer Science & Business Media, 2008 | 112 | 2008 |
