| An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets G Díaz, H Macia, V Valero, J Boubeta-Puig, F Cuartero Neural Computing and Applications 32 (2), 405-426, 2020 | 75 | 2020 |
| A Petri net approach for the design and analysis of Web Services Choreographies V Valero, ME Cambronero, G Díaz, H Macià The Journal of Logic and Algebraic Programming 78 (5), 359-380, 2009 | 70 | 2009 |
| MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored Petri nets J Boubeta-Puig, G Díaz, H Macià, V Valero, G Ortiz Information Systems 81, 267-289, 2019 | 54 | 2019 |
| 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 |
| Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions E Valero, H Macià, IM De la Fuente, JA Hernández, MI González-Sánchez, ... BMC systems biology 10 (1), 11, 2015 | 44 | 2015 |
| sPBC: a Markovian extension of Petri box calculus with immediate multiactions H Macia, V Valero, F Cuartero, MC Ruiz Fundamenta Informaticae 87 (3-4), 367-406, 2008 | 40 | 2008 |
| Improving performance in flexible manufacturing systems MC Ruiz, D Cazorla, F Cuartero, H Macia The Journal of Logic and Algebraic Programming 78 (4), 260-273, 2009 | 37 | 2009 |
| Computer simulation of the dynamic behavior of the glutathione-ascorbate redox cycle in chloroplasts E Valero, MI González-Sánchez, H Maciá, F Garcia-Carmona Plant physiology 149 (4), 1958-1969, 2009 | 37 | 2009 |
| Complex event processing modeling by prioritized colored Petri nets H Macia, V Valero, G Diaz, J Boubeta-Puig, G Ortiz IEEE Access 4, 7425-7439, 2016 | 36 | 2016 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero International Conference on Formal Techniques for Networked and Distributed …, 2004 | 36 | 2004 |
| FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic E Brazález, H Macià, G Díaz, MT Baeza_Romero, E Valero, V Valero Applied Soft Computing 129, 109536, 2022 | 28 | 2022 |
| A congruence relation for sPBC H Macià, V Valero, F Cuartero, D De-Frutos Formal Methods in System Design 32 (2), 85-128, 2008 | 27 | 2008 |
| Influence of personality and modality on peer assessment evaluation perceptions using Machine Learning techniques C Cachero, JR Rico-Juan, H Macià Expert Systems with Applications 213, 119150, 2023 | 26 | 2023 |
| Influence of individual versus collaborative peer assessment on score accuracy and learning outcomes in higher education: an empirical study JR Rico-Juan, C Cachero, H Macià Assessment & Evaluation in Higher Education 47 (4), 570-587, 2022 | 25 | 2022 |
| Discrete time stochastic Petri box calculus with immediate multiactions IV Tarasyuk, H Macia, V Valero Pre-proceedings of 6th International Workshop on Practical Applications of …, 2010 | 25 | 2010 |
| Modeling and analysis of the 1-wire communication protocol using timed colored petri nets ME Cambronero, H Macia, V Valero, L Orozco-Barbosa IEEE Access 6, 27356-27372, 2018 | 23 | 2018 |
| Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets V Valero, H Macia, JJ Pardo, ME Cambronero, G Díaz Science of Computer Programming 77 (3), 290-313, 2012 | 23 | 2012 |
| Discrete time stochastic Petri box calculus with immediate multiactions dtsiPBC IV Tarasyuk, H Macia, V Valero Electronic Notes in Theoretical Computer Science 296, 229-252, 2013 | 21 | 2013 |
| A bounded true concurrency process algebra for performance evaluation MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia International Conference on Formal Techniques for Networked and Distributed …, 2004 | 19 | 2004 |
| Performance analysis of concurrent systems in algebra dtsiPBC IV Tarasyuk, H Macià, V Valero Programming and Computer Software 40 (5), 229-249, 2014 | 17 | 2014 |
Valentin ValeroFull Professor (retired), University of Castilla-La ManchaVerified email at uclm.es
