Camilo Rueda

920 total citations
27 papers, 237 citations indexed

About

Camilo Rueda is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Camilo Rueda has authored 27 papers receiving a total of 237 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 6 papers in Software. Recurrent topics in Camilo Rueda's work include Logic, programming, and type systems (14 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (6 papers). Camilo Rueda is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (6 papers). Camilo Rueda collaborates with scholars based in Colombia, France and Portugal. Camilo Rueda's co-authors include Gérard Assayag, Carlos Agón, Mikael Laurson, Olivier Delerue, Frank Valencia, Tim Wahls, Carlos Olarte, Mauricio Toro, Gabriel Tamura and Martin Leucker and has published in prestigious journals such as Theoretical Computer Science, Soft Computing and Lecture notes in computer science.

In The Last Decade

Camilo Rueda

24 papers receiving 199 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Camilo Rueda Colombia	8	129	108	81	58	57	27	237
Jared Sylvester United States	9	37 0.3×	124 1.1×	203 2.5×	45 0.8×	12 0.2×	14	323
Gerard Allwein United States	8	51 0.4×	37 0.3×	184 2.3×	9 0.2×	110 1.9×	29	273
Saikat Dutta India	9	108 0.8×	78 0.7×	79 1.0×	23 0.4×	11 0.2×	22	343
D. Mlynek Switzerland	10	206 1.6×	232 2.1×	131 1.6×	41 0.7×	22 0.4×	49	437
J. Austin United Kingdom	8	106 0.8×	52 0.5×	124 1.5×	16 0.3×	10 0.2×	35	258
Shi-Kuo Chang United States	8	96 0.7×	58 0.5×	72 0.9×	4 0.1×	18 0.3×	31	246
Brian Vogel Canada	8	55 0.4×	8 0.1×	48 0.6×	28 0.5×	37 0.6×	12	230
Mira Balaban Israel	11	76 0.6×	86 0.8×	131 1.6×	44 0.8×	13 0.2×	46	264
Cyril Allauzen United States	17	58 0.4×	242 2.2×	852 10.5×	12 0.2×	82 1.4×	55	926
Alessandro Coglio Italy	8	15 0.1×	30 0.3×	140 1.7×	10 0.2×	65 1.1×	29	220

Countries citing papers authored by Camilo Rueda

Since Specialization

Citations

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

Fields of papers citing papers by Camilo Rueda

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Camilo Rueda

This figure shows the co-authorship network connecting the top 25 collaborators of Camilo Rueda. A scholar is included among the top collaborators of Camilo Rueda 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 Camilo Rueda. Camilo Rueda is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

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

Toro, Mauricio, Myriam Desainte‐Catherine, & Camilo Rueda. (2014). Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios. Journal of Mathematics and Music. 8(1). 93–112. 4 indexed citations

Olarte, Carlos, Camilo Rueda, & Frank Valencia. (2013). Models and emerging trends of concurrent constraint programming. Constraints. 18(4). 535–578. 13 indexed citations

Wahls, Tim, et al.. (2012). Translating B machines to JML specifications. 2. 1271–1277. 8 indexed citations

Rueda, Camilo, et al.. (2011). Verification of JML generic types with Yices. 1–6. 1 indexed citations

Toro, Mauricio, Camilo Rueda, Carlos Agón, & Gérard Assayag. (2009). Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction. The Journal of the Abraham Lincoln Association. 2009. 2 indexed citations

Bermúdez, Luis, et al.. (2009). OOSTethys - Open Source Software for the Global Earth Observing Systems of Systems. AGUFM. 2009. 3 indexed citations

Assayag, Gérard, et al.. (2009). Logic Programming. Lecture notes in computer science. 5 indexed citations

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

10.

Ortega, Pablo, et al.. (2009). A Case Study in JML-Assisted Software Development. Electronic Notes in Theoretical Computer Science. 240. 5–21.

11.

Gutiérrez, Julián, Jorge A. Pérez, Camilo Rueda, & Frank Valencia. (2007). Timed Concurrent Constraint Programming for Analysing Biological Systems. Electronic Notes in Theoretical Computer Science. 171(2). 117–137. 4 indexed citations

12.

Olarte, Carlos & Camilo Rueda. (2006). A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI electronic journal. 9(2). 1 indexed citations

13.

Olarte, Carlos & Camilo Rueda. (2006). A Stochastic Non-deterministic Temporal Concurrent Constraint Calculus. 30–36. 1 indexed citations

14.

Rueda, Camilo, et al.. (2004). Loss reduction in distribution networks using concurrent constraint programming. 295–300. 6 indexed citations

15.

Rueda, Camilo & Frank Valencia. (2004). On validity in modelization of musical problems by CCP. Soft Computing. 8(9). 7 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.

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

18.

Assayag, Gérard, Camilo Rueda, Mikael Laurson, Carlos Agón, & Olivier Delerue. (1999). Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic. Computer Music Journal. 23(3). 59–72. 110 indexed citations

19.

Rueda, Camilo, et al.. (1998). Pi+-Calculus: A Calculus for Concurrent Processes with Constraints. CLEI electronic journal. 1(2). 10 indexed citations

20.

Agón, Carlos, et al.. (1994). Kant: a Critique of Pure Quantification. The Journal of the Abraham Lincoln Association. 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