Raúl Gutiérrez

535 total citations
28 papers, 218 citations indexed

About

Raúl Gutiérrez is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Raúl Gutiérrez has authored 28 papers receiving a total of 218 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 6 papers in Electrical and Electronic Engineering. Recurrent topics in Raúl Gutiérrez's work include Logic, programming, and type systems (10 papers), Formal Methods in Verification (7 papers) and Logic, Reasoning, and Knowledge (4 papers). Raúl Gutiérrez is often cited by papers focused on Logic, programming, and type systems (10 papers), Formal Methods in Verification (7 papers) and Logic, Reasoning, and Knowledge (4 papers). Raúl Gutiérrez collaborates with scholars based in Spain, United States and Colombia. Raúl Gutiérrez's co-authors include Salvador Lucas, Javier Soriano, Juan A. Lara, G. Vergara, Juan M. Sánchez‐Pérez, Juan A. Gómez‐Pulido, Miguel A. Vega‐Rodríguez, Nikolaos V. Sahinidis, Pilar Barreiro Elorza and Carlos Á. Iglesias and has published in prestigious journals such as Cancer Research, International Journal of Production Research and Fuel Processing Technology.

In The Last Decade

Raúl Gutiérrez

26 papers receiving 207 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Raúl Gutiérrez Spain 9 78 54 47 22 21 28 218
Masaharu Imai Japan 10 33 0.4× 77 1.4× 14 0.3× 29 1.3× 9 0.4× 66 404
Xiaoyu Ma China 8 71 0.9× 129 2.4× 17 0.4× 28 1.3× 20 1.0× 23 311
Yi Wan China 8 20 0.3× 53 1.0× 19 0.4× 18 0.8× 45 2.1× 32 221
Xin Cheng China 10 38 0.5× 191 3.5× 92 2.0× 64 2.9× 19 0.9× 65 354
Feng Ke China 10 42 0.5× 170 3.1× 9 0.2× 58 2.6× 7 0.3× 59 401
Wenxin Zhu China 10 123 1.6× 29 0.5× 6 0.1× 55 2.5× 30 1.4× 37 314
Hiroshi Yamane Japan 10 138 1.8× 218 4.0× 6 0.1× 16 0.7× 23 1.1× 57 415
Alberto Rossi Italy 11 71 0.9× 115 2.1× 16 0.3× 9 0.4× 9 0.4× 17 314
Rahmat Mulyawan Indonesia 10 61 0.8× 238 4.4× 12 0.3× 23 1.0× 11 0.5× 50 374

Countries citing papers authored by Raúl Gutiérrez

Since Specialization
Citations

This map shows the geographic impact of Raúl Gutiérrez'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 Raúl Gutiérrez with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Raúl Gutiérrez more than expected).

Fields of papers citing papers by Raúl Gutiérrez

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Raúl Gutiérrez. 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 Raúl Gutiérrez. The network helps show where Raúl Gutiérrez may publish in the future.

Co-authorship network of co-authors of Raúl Gutiérrez

This figure shows the co-authorship network connecting the top 25 collaborators of Raúl Gutiérrez. A scholar is included among the top collaborators of Raúl Gutiérrez 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 Raúl Gutiérrez. Raúl Gutiérrez 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.
Lucas, Salvador, et al.. (2022). Proving and disproving confluence of context-sensitive rewriting. Journal of Logical and Algebraic Methods in Programming. 126. 100749–100749. 1 indexed citations
2.
Lucas, Salvador, José Meseguer, & Raúl Gutiérrez. (2018). The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors. Journal of Computer and System Sciences. 96. 74–106. 4 indexed citations
3.
Lucas, Salvador & Raúl Gutiérrez. (2018). Use of logical models for proving infeasibility in term rewriting. Information Processing Letters. 136. 90–95. 5 indexed citations
4.
Elorza, Pilar Barreiro, et al.. (2017). Mid- infrared uncooled sensor for the identification of pure fuel, additives and adulterants in gasoline. Fuel Processing Technology. 171. 287–292. 10 indexed citations
5.
Tabernero, César, et al.. (2015). Postdural puncture headache: impact of needle type, a randomized trial. The Spine Journal. 15(7). 1571–1576. 26 indexed citations
6.
Vergara, G., Raúl Gutiérrez, Carlos Á. Iglesias, et al.. (2015). Laser beam welding quality monitoring system based in high-speed (10 kHz) uncooled MWIR imaging sensors. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 9485. 948514–948514. 10 indexed citations
7.
Gutiérrez, Raúl, José Meseguer, & Camilo Rocha. (2014). Order-sorted equality enrichments modulo axioms. Science of Computer Programming. 99. 235–261. 3 indexed citations
8.
Kastek, M., T. Piątkowski, G. Vergara, et al.. (2014). Technology of uncooled fast polycrystalline PbSe focal plane arrays in systems for muzzle flash detection. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 9074. 90740A–90740A. 8 indexed citations
9.
Vergara, G., et al.. (2014). Monitoring of industrial welding processes using high-speed uncooled MWIR imaging sensors. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 9105. 910505–910505. 3 indexed citations
10.
Gutiérrez, Raúl, et al.. (2010). Context-sensitive dependency pairs. Information and Computation. 208(8). 922–968. 7 indexed citations
11.
Vergara, G., Raúl Gutiérrez, Luis J. Gomez, et al.. (2009). Fast Uncooled Low Density FPA of VPD PbSe for Applications in Hyperspectral Imagery. 1 indexed citations
12.
Prieto, R., et al.. (2008). Generalized methodology for the analysis and design of multiphase converters with integrated magnetics. PESC record. 2. 2678–2684. 4 indexed citations
13.
Arcas, Guillermo de, et al.. (2008). Design of an Intelligent Front-End Signal Conditioning Circuit for IR Sensors. IEEE Transactions on Nuclear Science. 55(1). 14–20. 7 indexed citations
14.
Gutiérrez, Raúl, et al.. (2007). Proving Termination of Context-Sensitive Rewriting with MU-TERM. Electronic Notes in Theoretical Computer Science. 188. 105–115. 11 indexed citations
15.
Arcas, Guillermo de, et al.. (2007). Design of an Intelligent Front-end Signal Conditioning Circuit for IR Sensors. 41. 1–7. 3 indexed citations
16.
Vergara, G., Luis J. Gomez, M. C. Torquemada, et al.. (2007). Monolithic uncooled IR detectors of polycrystalline PbSe: a real alternative. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 6542. 654220–654220. 16 indexed citations
17.
Gutiérrez, Raúl, et al.. (2006). Context-sensitive dependency pairs. 2 indexed citations
18.
Ángel, L., J.M. Sebastián, Roque Saltarén, Rafaél Aracil, & Raúl Gutiérrez. (2006). RoboTenis: design, dynamic modeling and preliminary control. 72. 747–752. 9 indexed citations
19.
Vega‐Rodríguez, Miguel A., et al.. (2005). Genetic Algorithms Using Parallelism and FPGAs: The TSP as Case Study. 573–579. 24 indexed citations
20.
Gutiérrez, Raúl & Nikolaos V. Sahinidis. (1996). A branch-and-bound approach for machine selection in just-in-time manufacturing systems. International Journal of Production Research. 34(3). 797–818. 8 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 Masaharu Imai Breakdown of academic impact, for papers by Xiaoyu Ma Breakdown of academic impact, for papers by Yi Wan Breakdown of academic impact, for papers by Xin Cheng Breakdown of academic impact, for papers by Feng Ke Breakdown of academic impact, for papers by Wenxin Zhu Breakdown of academic impact, for papers by Hiroshi Yamane Breakdown of academic impact, for papers by Alberto Rossi Breakdown of academic impact, for papers by Rahmat Mulyawan
Rankless by CCL
2026