Luı́s Caires

2.8k total citations
34 papers, 603 citations indexed

About

Luı́s Caires is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Luı́s Caires has authored 34 papers receiving a total of 603 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in Luı́s Caires's work include Logic, programming, and type systems (22 papers), Formal Methods in Verification (14 papers) and Security and Verification in Computing (10 papers). Luı́s Caires is often cited by papers focused on Logic, programming, and type systems (22 papers), Formal Methods in Verification (14 papers) and Security and Verification in Computing (10 papers). Luı́s Caires collaborates with scholars based in Portugal, United States and United Kingdom. Luı́s Caires's co-authors include Luca Cardelli, Bernardo Toninho, Frank Pfenning, Hugo Torres Vieira, João Costa Seco, Vasco T. Vasconcelos, Luís Monteiro, Luca Padovani, Marco Carbone and Jorge A. Pérez and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Theoretical Computer Science.

In The Last Decade

Luı́s Caires

33 papers receiving 554 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Luı́s Caires Portugal	13	518	344	221	92	48	34	603
Ilaria Castellani France	12	446 0.9×	336 1.0×	256 1.2×	62 0.7×	45 0.9×	33	560
Michele Boreale Italy	13	390 0.8×	230 0.7×	195 0.9×	138 1.5×	15 0.3×	43	470
Michaël Rusinowitch France	14	560 1.1×	297 0.9×	296 1.3×	191 2.1×	70 1.5×	79	710
Roberto M. Amadio France	12	682 1.3×	438 1.3×	230 1.0×	135 1.5×	71 1.5×	31	773
Grant Malcolm United Kingdom	13	472 0.9×	366 1.1×	111 0.5×	89 1.0×	49 1.0×	29	595
Ian A. Mason United States	11	487 0.9×	259 0.8×	240 1.1×	78 0.8×	121 2.5×	22	634
Terrance Swift United States	14	619 1.2×	200 0.6×	170 0.8×	98 1.1×	25 0.5×	37	687
Olaf Owe Norway	11	315 0.6×	158 0.5×	217 1.0×	98 1.1×	109 2.3×	73	450
Amy Felty Canada	14	413 0.8×	212 0.6×	107 0.5×	94 1.0×	60 1.3×	43	487
Jérôme Vouillon France	13	379 0.7×	161 0.5×	223 1.0×	139 1.5×	89 1.9×	21	506

Countries citing papers authored by Luı́s Caires

Since Specialization

Citations

This map shows the geographic impact of Luı́s Caires'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 Caires 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 Caires more than expected).

Fields of papers citing papers by Luı́s Caires

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

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

This figure shows the co-authorship network connecting the top 25 collaborators of Luı́s Caires. A scholar is included among the top collaborators of Luı́s Caires 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 Caires. Luı́s Caires 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

Toninho, Bernardo, Luı́s Caires, & Frank Pfenning. (2021). A Decade of Dependent Session Types. 1–3. 2 indexed citations

Caires, Luı́s. (2019). Programming Languages and Systems. Lecture notes in computer science. 2 indexed citations

Hüttel, Hans, Ivan Lanese, Vasco T. Vasconcelos, et al.. (2016). Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys. 49(1). 1–36. 82 indexed citations

Aldrich, Jonathan, et al.. (2016). Composing Interfering Abstract Protocols. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations

Caires, Luı́s, et al.. (2015). Dependent Information Flow Types. ACM SIGPLAN Notices. 50(1). 317–328. 4 indexed citations

Pérez, Jorge A., Luı́s Caires, Frank Pfenning, & Bernardo Toninho. (2014). Linear logical relations and observational equivalences for session-based concurrency. Information and Computation. 239. 254–302. 24 indexed citations

Caires, Luı́s, Frank Pfenning, & Bernardo Toninho. (2012). Towards concurrent type theory. 1–12. 14 indexed citations

Toninho, Bernardo & Luı́s Caires. (2011). A Spatial-Epistemic Logic for Reasoning about Security Protocols. SHILAP Revista de lepidopterología. 51. 1–15. 1 indexed citations

Caires, Luı́s & Hugo Torres Vieira. (2010). Conversation types. Theoretical Computer Science. 411(51-52). 4399–4440. 34 indexed citations

10.

Caires, Luı́s & Vasco T. Vasconcelos. (2010). 18th International Conference on Concurrency Theory. Information and Computation. 208(6). 605–605. 2 indexed citations

11.

Caires, Luı́s. (2008). Spatial-behavioral types for concurrency and resource control in distributed systems. Theoretical Computer Science. 402(2-3). 120–141. 13 indexed citations

12.

Caires, Luı́s & Vasco T. Vasconcelos. (2007). CONCUR 2007 - concurrency theory : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 2 indexed citations

13.

Caires, Luı́s & Étienne Lozes. (2006). Elimination of quantifiers and undecidability in spatial logics for concurrency. Theoretical Computer Science. 358(2-3). 293–314. 7 indexed citations

14.

Caires, Luı́s, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, & Moti Yung. (2005). Proceedings of the 32nd international conference on Automata, Languages and Programming. 7 indexed citations

15.

Caires, Luı́s, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, & Moti Yung. (2005). Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings. Medical Entomology and Zoology. 8 indexed citations

16.

Caires, Luı́s & Luca Cardelli. (2004). A spatial logic for concurrency—II. Theoretical Computer Science. 322(3). 517–565. 23 indexed citations

17.

Caires, Luı́s & Luca Cardelli. (2003). A spatial logic for concurrency (part I). Information and Computation. 186(2). 194–235. 114 indexed citations

18.

Caires, Luı́s & Luca Cardelli. (2001). A Spatial Logic for Concurrency. 1–37. 53 indexed citations

19.

Seco, João Costa & Luı́s Caires. (2000). A Basic Model of Typed Components. 10 indexed citations

20.

Caires, Luı́s & Luís Monteiro. (1998). Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. 42–56. 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