Valentín Valero

1.1k total citations
66 papers, 516 citations indexed

About

Valentín Valero is a scholar working on Computational Theory and Mathematics, Information Systems and Artificial Intelligence. According to data from OpenAlex, Valentín Valero has authored 66 papers receiving a total of 516 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Computational Theory and Mathematics, 31 papers in Information Systems and 22 papers in Artificial Intelligence. Recurrent topics in Valentín Valero's work include Formal Methods in Verification (27 papers), Service-Oriented Architecture and Web Services (25 papers) and Petri Nets in System Modeling (22 papers). Valentín Valero is often cited by papers focused on Formal Methods in Verification (27 papers), Service-Oriented Architecture and Web Services (25 papers) and Petri Nets in System Modeling (22 papers). Valentín Valero collaborates with scholars based in Spain, Denmark and Russia. Valentín Valero's co-authors include Gregorio Dı́az, M. Emilia Cambronero, Hermenegilda Macià, Fernando Cuartero, Fernando L. Pelayo, Juan Boubeta‐Puig, David de Frutos Escrig, Diego Cazorla, Guadalupe Ortiz and Luis Orozco–Barbosa and has published in prestigious journals such as IEEE Access, IEEE Transactions on Software Engineering and Applied Soft Computing.

In The Last Decade

Valentín Valero

62 papers receiving 480 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Valentín Valero Spain 13 249 208 176 158 149 66 516
Gregorio Dı́az Spain 11 212 0.9× 170 0.8× 72 0.4× 120 0.8× 115 0.8× 42 364
Stefan Haar France 12 164 0.7× 131 0.6× 465 2.6× 227 1.4× 260 1.7× 60 749
Ryszard Janicki Canada 13 109 0.4× 232 1.1× 340 1.9× 69 0.4× 91 0.6× 78 525
Gerardo Schneider Sweden 12 111 0.4× 298 1.4× 147 0.8× 48 0.3× 78 0.5× 83 484
Achim D. Brucker United Kingdom 12 281 1.1× 246 1.2× 43 0.2× 75 0.5× 135 0.9× 63 483
Daejun Park United States 10 307 1.2× 274 1.3× 61 0.3× 50 0.3× 138 0.9× 20 561
Panagiotis Katsaros Greece 13 196 0.8× 195 0.9× 96 0.5× 25 0.2× 210 1.4× 65 461
Sally Shlaer United States 5 255 1.0× 292 1.4× 83 0.5× 86 0.5× 125 0.8× 6 518
Serge Haddad France 14 129 0.5× 197 0.9× 493 2.8× 218 1.4× 193 1.3× 82 740
Nicolas Guelfi Luxembourg 10 234 0.9× 205 1.0× 65 0.4× 65 0.4× 157 1.1× 72 421

Countries citing papers authored by Valentín Valero

Since Specialization
Citations

This map shows the geographic impact of Valentín Valero's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Valentín Valero with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Valentín Valero more than expected).

Fields of papers citing papers by Valentín Valero

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Valentín Valero. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Valentín Valero. The network helps show where Valentín Valero may publish in the future.

Co-authorship network of co-authors of Valentín Valero

This figure shows the co-authorship network connecting the top 25 collaborators of Valentín Valero. A scholar is included among the top collaborators of Valentín Valero based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Valentín Valero. Valentín Valero is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Coronado, Estefanía, Valentín Valero, M. Emilia Cambronero, & Luis Orozco–Barbosa. (2023). Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility. PeerJ Computer Science. 9. e1457–e1457.
2.
Macià, Hermenegilda, et al.. (2022). PITS: An Intelligent Transportation System in pandemic times. Engineering Applications of Artificial Intelligence. 114. 105154–105154. 7 indexed citations
3.
Cambronero, M. Emilia, M. Martínez, José Luis de la Vara, David Cebrián, & Valentín Valero. (2022). GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant. PeerJ Computer Science. 8. e1171–e1171. 6 indexed citations
4.
Macià, Hermenegilda, et al.. (2022). greenITS: a proposal to compute low-pollution routes. Procedia Computer Science. 203. 334–341. 1 indexed citations
5.
Cambronero, M. Emilia, et al.. (2021). Profiling SLAs for cloud system infrastructures and user interactions. PeerJ Computer Science. 7. e513–e513. 4 indexed citations
6.
Cambronero, M. Emilia, et al.. (2019). Improving cloud architectures using UML profiles and M2T transformation techniques. The Journal of Supercomputing. 75(12). 8012–8058. 10 indexed citations
7.
Cambronero, M. Emilia, et al.. (2019). A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access. 7. 43269–43285. 11 indexed citations
8.
Macià, Hermenegilda, Valentín Valero, Gregorio Dı́az, Juan Boubeta‐Puig, & Guadalupe Ortiz. (2016). Complex Event Processing Modeling by Prioritized Colored Petri Nets. IEEE Access. 4. 7425–7439. 20 indexed citations
9.
Valero, Valentín, et al.. (2011). Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Science of Computer Programming. 77(3). 290–313. 4 indexed citations
10.
Cambronero, M. Emilia, et al.. (2010). Validation and verification of Web services choreographies by using timed automata. The Journal of Logic and Algebraic Programming. 80(1). 25–49. 27 indexed citations
11.
Valero, Valentín, Gregorio Dı́az, M. Emilia Cambronero, & Hermenegilda Macià. (2009). A barred operational semantics for a subset of WS-CDL with time restrictions. The Journal of Logic and Algebraic Programming. 78(8). 730–748. 3 indexed citations
12.
Valero, Valentín, M. Emilia Cambronero, Gregorio Dı́az, & Hermenegilda Macià. (2008). A Petri net approach for the design and analysis of Web Services Choreographies. The Journal of Logic and Algebraic Programming. 78(5). 359–380. 24 indexed citations
13.
Macià, Hermenegilda, Valentín Valero, Fernando Cuartero, & M. Carmen Ruiz. (2008). sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundamenta Informaticae. 87(3-4). 367–406. 6 indexed citations
14.
Cambronero, M. Emilia, et al.. (2007). Using RT-UML for modelling web services. 643–648. 2 indexed citations
15.
Cambronero, M. Emilia, et al.. (2006). Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. 1. 186–186. 23 indexed citations
16.
Dı́az, Gregorio, et al.. (2005). Verification of Web Services with Timed Automata.. 177–191. 3 indexed citations
17.
Macià, Hermenegilda, Valentín Valero, Fernando Cuartero, & Fernando L. Pelayo. (2004). A new synchronization in finite stochastic Petri box calculus. 2075. 216–225. 2 indexed citations
18.
Cazorla, Diego, et al.. (2003). Algebraic theory of probabilistic and nondeterministic processes. The Journal of Logic and Algebraic Programming. 55(1-2). 57–103. 28 indexed citations
19.
Valero, Valentín, et al.. (2003). On non-decidability of reachability for timed-arc Petri nets. 188–196. 26 indexed citations
20.
Cazorla, Diego, Fernando Cuartero, Valentín Valero, & Fernando L. Pelayo. (2000). A Denotational Model for Probabilistic and Nondeterministic Processes.. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Gregorio Dı́az Breakdown of academic impact, for papers by Stefan Haar Breakdown of academic impact, for papers by Ryszard Janicki Breakdown of academic impact, for papers by Gerardo Schneider Breakdown of academic impact, for papers by Achim D. Brucker Breakdown of academic impact, for papers by Daejun Park Breakdown of academic impact, for papers by Panagiotis Katsaros Breakdown of academic impact, for papers by Sally Shlaer Breakdown of academic impact, for papers by Serge Haddad Breakdown of academic impact, for papers by Nicolas Guelfi
Rankless by CCL
2026