Santiago Escobar

1.8k total citations
63 papers, 340 citations indexed

About

Santiago Escobar is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Santiago Escobar has authored 63 papers receiving a total of 340 indexed citations (citations by other indexed papers that have themselves been cited), including 50 papers in Artificial Intelligence, 30 papers in Computational Theory and Mathematics and 14 papers in Computer Networks and Communications. Recurrent topics in Santiago Escobar's work include Logic, programming, and type systems (36 papers), Formal Methods in Verification (26 papers) and Advanced Authentication Protocols Security (11 papers). Santiago Escobar is often cited by papers focused on Logic, programming, and type systems (36 papers), Formal Methods in Verification (26 papers) and Advanced Authentication Protocols Security (11 papers). Santiago Escobar collaborates with scholars based in Spain, United States and Japan. Santiago Escobar's co-authors include José Meseguer, Catherine Meadows, Marı́a Alpuente, Ralf Sasse, Salvador Lucas, Francisco Durán, Kyungmin Bae, J.L. Iborra, Prasanna Thati and B. Closs and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Access and Applied Sciences.

In The Last Decade

Santiago Escobar

58 papers receiving 324 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Santiago Escobar Spain 10 277 183 117 94 42 63 340
Paola Giannini Italy 10 285 1.0× 148 0.8× 86 0.7× 81 0.9× 37 0.9× 61 324
Jesper Bengtson Sweden 10 269 1.0× 141 0.8× 133 1.1× 63 0.7× 22 0.5× 18 303
Nils Gesbert France 7 211 0.8× 127 0.7× 84 0.7× 63 0.7× 24 0.6× 14 259
Hubert Comon France 14 435 1.6× 295 1.6× 111 0.9× 60 0.6× 55 1.3× 33 483
Willem-Paul de Roever Germany 6 210 0.8× 177 1.0× 81 0.7× 56 0.6× 89 2.1× 13 293
Emilio Tuosto United Kingdom 9 259 0.9× 174 1.0× 145 1.2× 80 0.9× 36 0.9× 50 330
Björn Victor Sweden 9 206 0.7× 160 0.9× 97 0.8× 40 0.4× 19 0.5× 29 257
Daniele Gorla Italy 10 205 0.7× 116 0.6× 116 1.0× 59 0.6× 15 0.4× 39 263
Roland Bol Netherlands 7 331 1.2× 178 1.0× 52 0.4× 33 0.4× 36 0.9× 18 382
Konstantin Läufer United States 8 252 0.9× 98 0.5× 71 0.6× 127 1.4× 41 1.0× 31 328

Countries citing papers authored by Santiago Escobar

Since Specialization
Citations

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

Fields of papers citing papers by Santiago Escobar

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Santiago Escobar. 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 Santiago Escobar. The network helps show where Santiago Escobar may publish in the future.

Co-authorship network of co-authors of Santiago Escobar

This figure shows the co-authorship network connecting the top 25 collaborators of Santiago Escobar. A scholar is included among the top collaborators of Santiago Escobar 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 Santiago Escobar. Santiago Escobar 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.
Durán, Francisco, Steven Eker, Santiago Escobar, et al.. (2024). Programming Open Distributed Systems in Maude. 1–12. 1 indexed citations
2.
Escobar, Santiago, et al.. (2024). Formalization and analysis of the post-quantum signature scheme FALCON with Maude. Journal of Logical and Algebraic Methods in Programming. 143. 101034–101034.
3.
Alpuente, Marı́a, et al.. (2023). Safety enforcement via programmable strategies in Maude. Journal of Logical and Algebraic Methods in Programming. 132. 100849–100849. 1 indexed citations
4.
Alpuente, Marı́a, et al.. (2021). Symbolic Analysis of Maude Theories with Narval. Institutional Research Information System (University of Udine).
5.
Alpuente, Marı́a, et al.. (2021). Order-sorted equational generalization algorithm revisited. Annals of Mathematics and Artificial Intelligence. 90(5). 499–522. 3 indexed citations
6.
Alpuente, Marı́a, et al.. (2020). Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*. Fundamenta Informaticae. 177(3-4). 297–329. 1 indexed citations
7.
Alpuente, Marı́a, et al.. (2019). A partial evaluation framework for order-sorted equational programs modulo axioms. Journal of Logical and Algebraic Methods in Programming. 110. 100501–100501. 5 indexed citations
8.
Alpuente, Marı́a, et al.. (2017). Inspecting Maude variants withGLINTS. Theory and Practice of Logic Programming. 17(5-6). 689–707. 3 indexed citations
9.
Escobar, Santiago, et al.. (2015). Análisis de Confiabilidad de Sistemas de Distribución Eléctrica con penetración de Generación Distribuida. SHILAP Revista de lepidopterología. 1 indexed citations
10.
Meseguer, José, et al.. (2014). Variants of Variants and the Finite Variant Property. 8 indexed citations
11.
Escobar, Santiago, et al.. (2014). State space reduction in the Maude-NRL Protocol Analyzer. Information and Computation. 238. 157–186. 12 indexed citations
12.
Alpuente, Marı́a, et al.. (2010). A compact fixpoint semantics for term rewriting systems. Theoretical Computer Science. 411(37). 3348–3371. 2 indexed citations
13.
Alpuente, Marı́a, Santiago Escobar, & J.L. Iborra. (2009). Termination of narrowing revisited. Theoretical Computer Science. 410(46). 4608–4625. 7 indexed citations
14.
Alpuente, Marı́a, Santiago Escobar, Bernhard Gramlich, & Salvador Lucas. (2009). On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theoretical Computer Science. 411(2). 504–541. 4 indexed citations
15.
Dougherty, Daniel J. & Santiago Escobar. (2009). Preface. Electronic Notes in Theoretical Computer Science. 234. 1–2. 1 indexed citations
16.
Escobar, Santiago, Catherine Meadows, & José Meseguer. (2007). Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electronic Notes in Theoretical Computer Science. 171(4). 23–36. 11 indexed citations
17.
Escobar, Santiago, Catherine Meadows, & José Meseguer. (2006). A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science. 367(1-2). 162–202. 41 indexed citations
18.
Escobar, Santiago. (2004). Strategies and analysis techniques in functional program optimization. AI Communications. 17(1). 35–37. 2 indexed citations
19.
Alpuente, Marı́a, et al.. (2002). Abstract Diagnosis of Functional Programs. 2 indexed citations
20.
Alpuente, Marı́a, Salvador Lucas, & Santiago Escobar. (1999). An Incremental Needed Narrowing Calculus for Curry.. 75–88. 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 Paola Giannini Breakdown of academic impact, for papers by Jesper Bengtson Breakdown of academic impact, for papers by Nils Gesbert Breakdown of academic impact, for papers by Hubert Comon Breakdown of academic impact, for papers by Willem-Paul de Roever Breakdown of academic impact, for papers by Emilio Tuosto Breakdown of academic impact, for papers by Björn Victor Breakdown of academic impact, for papers by Daniele Gorla Breakdown of academic impact, for papers by Roland Bol Breakdown of academic impact, for papers by Konstantin Läufer
Rankless by CCL
2026