Frank Valencia

1.0k total citations
35 papers, 233 citations indexed

About

Frank Valencia is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Frank Valencia has authored 35 papers receiving a total of 233 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in Frank Valencia's work include Logic, programming, and type systems (21 papers), Formal Methods in Verification (17 papers) and Logic, Reasoning, and Knowledge (11 papers). Frank Valencia is often cited by papers focused on Logic, programming, and type systems (21 papers), Formal Methods in Verification (17 papers) and Logic, Reasoning, and Knowledge (11 papers). Frank Valencia collaborates with scholars based in France, Colombia and United States. Frank Valencia's co-authors include Catuscia Palamidessi, Mogens Nielsen, Camilo Rueda, Carlos Olarte, Björn Victor, Vijay Saraswat, Flavio Corradini, Gérard Assayag, Diletta Cacciagrano and Stefan Haar and has published in prestigious journals such as SHILAP Revista de lepidopterología, Machine Learning and Theoretical Computer Science.

In The Last Decade

Frank Valencia

32 papers receiving 216 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Frank Valencia France 9 162 137 65 38 25 35 233
Ernst–Erich Doberkat Germany 9 200 1.2× 163 1.2× 55 0.8× 22 0.6× 43 1.7× 59 282
Jiřı́ Srba Denmark 9 186 1.1× 231 1.7× 85 1.3× 67 1.8× 31 1.2× 68 353
David de Frutos Escrig Spain 10 102 0.6× 201 1.5× 73 1.1× 37 1.0× 44 1.8× 38 258
C.A. Middelburg Netherlands 8 226 1.4× 264 1.9× 68 1.0× 50 1.3× 36 1.4× 66 350
Nikos Gorogiannis United Kingdom 8 177 1.1× 53 0.4× 43 0.7× 44 1.2× 27 1.1× 21 229
Sasha Rubin Italy 12 278 1.7× 310 2.3× 44 0.7× 52 1.4× 12 0.5× 55 420
Dieter Hutter Germany 8 198 1.2× 92 0.7× 46 0.7× 52 1.4× 52 2.1× 40 263
Antoni Mazurkiewicz Poland 7 209 1.3× 329 2.4× 109 1.7× 30 0.8× 15 0.6× 18 412
Herbert Wiklicky United Kingdom 10 255 1.6× 98 0.7× 118 1.8× 22 0.6× 46 1.8× 44 315
Jia-Huai You Canada 11 412 2.5× 162 1.2× 87 1.3× 12 0.3× 61 2.4× 77 490

Countries citing papers authored by Frank Valencia

Since Specialization
Citations

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

Fields of papers citing papers by Frank Valencia

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Frank Valencia

This figure shows the co-authorship network connecting the top 25 collaborators of Frank Valencia. A scholar is included among the top collaborators of Frank Valencia 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 Frank Valencia. Frank Valencia 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.
Alvim, Mário S., et al.. (2023). A Formal Model for Polarization under Confirmation Bias in Social Networks. Logical Methods in Computer Science. Volume 19, Issue 1. 1 indexed citations
2.
Palamidessi, Catuscia, et al.. (2023). On the incompatibility of accuracy and equal opportunity. Machine Learning. 113(5). 2405–2434. 2 indexed citations
3.
Gadducci, Fabio, Francesco Santini, Luís Pino, & Frank Valencia. (2017). Observational and behavioural equivalences for soft concurrent constraint programming. Journal of Logical and Algebraic Methods in Programming. 92. 45–63. 2 indexed citations
4.
Haar, Stefan, et al.. (2017). Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach. International Journal of Semantic Computing. 11(4). 451–472. 1 indexed citations
5.
Haar, Stefan, et al.. (2016). Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Journal of Logical and Algebraic Methods in Programming. 86(1). 107–133. 6 indexed citations
6.
Pino, Luís, Andrés Felipe Aristizábal-Pachón, Filippo Bonchi, & Frank Valencia. (2014). Weak CCP bisimilarity with strong procedures. Science of Computer Programming. 100. 84–104.
7.
Olarte, Carlos, Camilo Rueda, & Frank Valencia. (2013). Models and emerging trends of concurrent constraint programming. Constraints. 18(4). 535–578. 13 indexed citations
8.
Valencia, Frank, et al.. (2010). Proceedings 17th International Workshop on Expressiveness in Concurrency. Electronic Proceedings in Theoretical Computer Science. 41. 2 indexed citations
9.
Assayag, Gérard, et al.. (2009). Logic Programming. Lecture notes in computer science. 5 indexed citations
10.
Olarte, Carlos, Camilo Rueda, & Frank Valencia. (2009). Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems.. SPIRE - Sciences Po Institutional REpository. 1 indexed citations
11.
Olarte, Carlos & Frank Valencia. (2008). Universal concurrent constraint programing. 145–150. 12 indexed citations
12.
Palamidessi, Catuscia & Frank Valencia. (2005). Recursion vs Replication in Process Calculi: Expressiveness. HAL (Le Centre pour la Communication Scientifique Directe). 87. 105–125. 5 indexed citations
13.
Valencia, Frank. (2004). Decidability of infinite-state timed CCP processes and first-order LTL. Theoretical Computer Science. 330(3). 577–607. 8 indexed citations
14.
Rueda, Camilo & Frank Valencia. (2004). On validity in modelization of musical problems by CCP. Soft Computing. 8(9). 7 indexed citations
15.
Nielsen, Mogens, Catuscia Palamidessi, & Frank Valencia. (2002). Temporal concurrent constraint programming: denotation, logic and applications. Nordic journal of computing. 9(2). 145–188. 40 indexed citations
16.
Rueda, Camilo & Frank Valencia. (2002). Proving Musical Properties using a temporal Concurrent Constraint Calculus.. International Computer Music Conference. 2002(2). 460–5. 3 indexed citations
17.
Nielsen, Mogens, Catuscia Palamidessi, & Frank Valencia. (2002). On the Expressive Power of Concurrent Constraint Programming Languages. BRICS Report Series. 9(22). 14 indexed citations
18.
Nielsen, Mogens, Catuscia Palamidessi, & Frank Valencia. (2002). On the expressive power of temporal concurrent constraint programming languages. 156–167. 14 indexed citations
19.
Rueda, Camilo, et al.. (2001). Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. Constraints. 6(1). 21–52. 11 indexed citations
20.
Rueda, Camilo, et al.. (1998). Pi+-Calculus: A Calculus for Concurrent Processes with Constraints. CLEI electronic journal. 1(2). 10 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 Ernst–Erich Doberkat Breakdown of academic impact, for papers by Jiřı́ Srba Breakdown of academic impact, for papers by David de Frutos Escrig Breakdown of academic impact, for papers by C.A. Middelburg Breakdown of academic impact, for papers by Nikos Gorogiannis Breakdown of academic impact, for papers by Sasha Rubin Breakdown of academic impact, for papers by Dieter Hutter Breakdown of academic impact, for papers by Antoni Mazurkiewicz Breakdown of academic impact, for papers by Herbert Wiklicky Breakdown of academic impact, for papers by Jia-Huai You
Rankless by CCL
2026