Luı́s Damas

2.5k total citations · 2 hit papers
20 papers, 1.4k citations indexed

About

Luı́s Damas is a scholar working on Artificial Intelligence, Building and Construction and Computational Theory and Mathematics. According to data from OpenAlex, Luı́s Damas has authored 20 papers receiving a total of 1.4k indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 7 papers in Building and Construction and 6 papers in Computational Theory and Mathematics. Recurrent topics in Luı́s Damas's work include Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (8 papers) and Traffic Prediction and Management Techniques (6 papers). Luı́s Damas is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (8 papers) and Traffic Prediction and Management Techniques (6 papers). Luı́s Damas collaborates with scholars based in Portugal, Luxembourg and Brazil. Luı́s Damas's co-authors include Robin Milner, Michel Ferreira, João Gama, Luís Moreira-Matias, João Mendes‐Moreira, Vı́tor Santos Costa, Ricardo Rocha, Hugo Conceição, João Barros and Ricardo Fernandes and has published in prestigious journals such as Expert Systems with Applications, IEEE Transactions on Intelligent Transportation Systems and Theoretical Computer Science.

In The Last Decade

Luı́s Damas

19 papers receiving 1.3k citations

Hit Papers

Principal type-schemes for functional programs 1982 2026 1996 2011 1982 2013 100 200 300 400 500
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Principal type-schemes for functional programs
    1982 590 citations Luı́s Damas, Robin Milner profile →
  2. Predicting Taxi–Passenger Demand Using Streaming Data
    2013 524 citations Luís Moreira-Matias, João Gama et al. IEEE Transactions on Intelligent Transportation Systems profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Luı́s Damas Portugal 9 719 536 434 325 270 20 1.4k
Christos Zaroliagis Greece 15 134 0.2× 231 0.4× 79 0.2× 193 0.6× 97 0.4× 84 958
Martin Skutella Germany 23 155 0.2× 239 0.4× 97 0.2× 360 1.1× 55 0.2× 94 1.8k
Silvia Chiusano Italy 17 262 0.4× 56 0.1× 84 0.2× 132 0.4× 39 0.1× 89 872
Tianyu Wo China 22 395 0.5× 295 0.6× 273 0.6× 16 0.0× 159 0.6× 111 1.8k
Wenlei Xie United States 6 233 0.3× 470 0.9× 235 0.5× 14 0.0× 143 0.5× 9 952
Linpeng Huang China 15 331 0.5× 135 0.3× 161 0.4× 15 0.0× 54 0.2× 134 1.1k
Ted K. Ralphs United States 16 132 0.2× 52 0.1× 116 0.3× 238 0.7× 149 0.6× 34 1.0k
Monaldo Mastrolilli Switzerland 16 218 0.3× 63 0.1× 72 0.2× 127 0.4× 66 0.2× 48 1.2k
Stefan Edelkamp Germany 18 946 1.3× 37 0.1× 43 0.1× 323 1.0× 56 0.2× 111 1.4k
Michel Toulouse Canada 16 140 0.2× 116 0.2× 176 0.4× 41 0.1× 152 0.6× 43 694

Countries citing papers authored by Luı́s Damas

Since Specialization
Citations

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

Fields of papers citing papers by Luı́s Damas

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luı́s Damas. 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 Luı́s Damas. The network helps show where Luı́s Damas may publish in the future.

Co-authorship network of co-authors of Luı́s Damas

This figure shows the co-authorship network connecting the top 25 collaborators of Luı́s Damas. A scholar is included among the top collaborators of Luı́s Damas 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 Luı́s Damas. Luı́s Damas 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.
Moreira-Matias, Luís, João Gama, Michel Ferreira, João Mendes‐Moreira, & Luı́s Damas. (2015). Time-evolving O-D matrix estimation using high-speed GPS data streams. Expert Systems with Applications. 44. 275–288. 59 indexed citations
2.
Moreira-Matias, Luís, João Mendes‐Moreira, Michel Ferreira, João Gama, & Luı́s Damas. (2014). An online learning framework for predicting the taxi stand's profitability. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 6. 2009–2014. 4 indexed citations
3.
Ferreira, Michel, Luı́s Damas, Hugo Conceição, et al.. (2014). Self-automated parking lots for autonomous vehicles based on vehicular ad hoc networking. 472–479. 33 indexed citations
4.
Moreira-Matias, Luís, Ricardo Fernandes, João Gama, et al.. (2013). On recommending urban hotspots to find our next passenger. 17–23. 7 indexed citations
5.
Moreira-Matias, Luís, João Gama, Michel Ferreira, João Mendes‐Moreira, & Luı́s Damas. (2013). Predicting Taxi–Passenger Demand Using Streaming Data. IEEE Transactions on Intelligent Transportation Systems. 14(3). 1393–1402. 524 indexed citations breakdown →
6.
Moreira-Matias, Luís, Ricardo Fernandes, João Gama, et al.. (2012). An online recommendation system for the taxi stand choice problem (Poster). 6. 173–180. 11 indexed citations
7.
Moreira-Matias, Luís, João Gama, Michel Ferreira, & Luı́s Damas. (2012). A predictive model for the passenger demand on a taxi network. 1014–1019. 45 indexed citations
8.
Costa, Vı́tor Santos, Ricardo Rocha, & Luı́s Damas. (2011). The YAP Prolog system. Theory and Practice of Logic Programming. 12(1-2). 5–34. 57 indexed citations
9.
Conceição, Hugo, Luı́s Damas, Michel Ferreira, & João Barros. (2008). Large-scale simulation of V2V environments. 28–33. 37 indexed citations
10.
Damas, Luı́s, et al.. (2005). On Long Normal Inhabitants of a Type. Journal of Logic and Computation. 15(3). 353–390. 8 indexed citations
11.
Damas, Luı́s, et al.. (2004). The decidability of a fragment of BB′IW-logic. Theoretical Computer Science. 318(3). 373–408. 3 indexed citations
12.
Florido, Mário & Luı́s Damas. (2004). Linearization of the lambda-calculus and its relation with intersection type systems. Journal of Functional Programming. 14(5). 519–546. 2 indexed citations
13.
Damas, Luı́s, et al.. (2002). Studying provability in implicational intuitionistic logic. Electronic Notes in Theoretical Computer Science. 67. 131–147. 1 indexed citations
14.
Damas, Luı́s, et al.. (2000). On principal types of combinators. Theoretical Computer Science. 247(1-2). 277–290. 1 indexed citations
15.
Damas, Luı́s, et al.. (1997). Compact bracket abstraction in combinatory logic. Journal of Symbolic Logic. 62(3). 729–740. 5 indexed citations
16.
Damas, Luı́s, et al.. (1992). Asthma in Adolescence. Pediatric Asthma Allergy & Immunology. 6(3). 197–203. 4 indexed citations
17.
Damas, Luı́s, et al.. (1992). On the satisfiability of complex constraints. 1. 108–108.
18.
Damas, Luı́s, et al.. (1991). The formal and processing models of CLG. 173–178. 2 indexed citations
19.
Balari, Sergio, et al.. (1990). CLG(n). 3. 7–12. 5 indexed citations
20.
Damas, Luı́s & Robin Milner. (1982). Principal type-schemes for functional programs. 207–212. 590 indexed citations breakdown →

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 Christos Zaroliagis Breakdown of academic impact, for papers by Martin Skutella Breakdown of academic impact, for papers by Silvia Chiusano Breakdown of academic impact, for papers by Tianyu Wo Breakdown of academic impact, for papers by Wenlei Xie Breakdown of academic impact, for papers by Linpeng Huang Breakdown of academic impact, for papers by Ted K. Ralphs Breakdown of academic impact, for papers by Monaldo Mastrolilli Breakdown of academic impact, for papers by Stefan Edelkamp Breakdown of academic impact, for papers by Michel Toulouse
Rankless by CCL
2026