| 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 |
| An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets G Díaz, H Macià, V Valero, J Boubeta-Puig, F Cuartero Neural Computing and Applications 32 (2), 405-426, 2020 | 64 | 2020 |
| 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 | 51 | 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-20, 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 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 36 | 2004 |
| Computer simulation of the dynamic behavior of the glutathione-ascorbate redox cycle in chloroplasts E Valero, MI González-Sánchez, H Maciá, F García-Carmona Plant physiology 149 (4), 1958-1969, 2009 | 35 | 2009 |
| Complex event processing modeling by prioritized colored Petri nets H Macia, V Valero, G Díaz, J Boubeta-Puig, G Ortiz IEEE Access 4, 7425-7439, 2016 | 33 | 2016 |
| 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 | 33 | 2009 |
| A congruence relation for sPBC H Macià, V Valero, F Cuartero, D De-Frutos Formal Methods in System Design 32, 85-128, 2008 | 27 | 2008 |
| Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets V Valero, H Macià, JJ Pardo, ME Cambronero, G Díaz Science of Computer Programming 77 (3), 290-313, 2012 | 25 | 2012 |
| 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 | 22 | 2018 |
| 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 |
| 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 | 18 | 2022 |
| 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 | 17 | 2023 |
| Performance analysis of concurrent systems in algebra dtsiPBC IV Tarasyuk, H Macià, V Valero Programming and Computer Software 40, 229-249, 2014 | 17 | 2014 |
| A bounded true concurrency process algebra for performance evaluation MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 …, 2004 | 17 | 2004 |
| 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 | 15 | 2022 |
Valentin ValeroFull Professor (retired), University of Castilla-La ManchaVerified email at uclm.es
