António Ravara

1.2k total citations
28 papers, 345 citations indexed

About

António Ravara is a scholar working on Artificial Intelligence, Information Systems and Computer Networks and Communications. According to data from OpenAlex, António Ravara has authored 28 papers receiving a total of 345 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Artificial Intelligence, 12 papers in Information Systems and 10 papers in Computer Networks and Communications. Recurrent topics in António Ravara's work include Logic, programming, and type systems (18 papers), Formal Methods in Verification (9 papers) and Service-Oriented Architecture and Web Services (7 papers). António Ravara is often cited by papers focused on Logic, programming, and type systems (18 papers), Formal Methods in Verification (9 papers) and Service-Oriented Architecture and Web Services (7 papers). António Ravara collaborates with scholars based in Portugal, United Kingdom and Italy. António Ravara's co-authors include Vasco T. Vasconcelos, Simon J. Gay, Antonio Vallecillo, Ivan Lanese, Nils Gesbert, Francisco Martins, Luca Padovani, Marco Carbone, Hugo Torres Vieira and Dimitris Mostrous and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Theoretical Computer Science.

In The Last Decade

António Ravara

27 papers receiving 330 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
António Ravara Portugal 8 309 187 113 85 32 28 345
Nils Gesbert France 7 211 0.7× 127 0.7× 84 0.7× 63 0.7× 22 0.7× 14 259
Emilio Tuosto United Kingdom 9 259 0.8× 174 0.9× 145 1.3× 80 0.9× 26 0.8× 50 330
Gianluigi Zavattaro Italy 8 181 0.6× 108 0.6× 93 0.8× 68 0.8× 23 0.7× 19 238
Daniele Gorla Italy 10 205 0.7× 116 0.6× 116 1.0× 59 0.7× 17 0.5× 39 263
David de Frutos Escrig Spain 10 102 0.3× 201 1.1× 73 0.6× 44 0.5× 26 0.8× 38 258
Uwe Nestmann Germany 8 178 0.6× 146 0.8× 103 0.9× 28 0.3× 14 0.4× 43 239
Rumyana Neykova United Kingdom 9 156 0.5× 104 0.6× 82 0.7× 66 0.8× 29 0.9× 23 233
Dominic Duggan United States 11 341 1.1× 98 0.5× 108 1.0× 159 1.9× 73 2.3× 31 371
Jesper Bengtson Sweden 10 269 0.9× 141 0.8× 133 1.2× 63 0.7× 14 0.4× 18 303
Alain Frisch France 7 287 0.9× 117 0.6× 162 1.4× 80 0.9× 46 1.4× 13 337

Countries citing papers authored by António Ravara

Since Specialization
Citations

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

Fields of papers citing papers by António Ravara

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of António Ravara

This figure shows the co-authorship network connecting the top 25 collaborators of António Ravara. A scholar is included among the top collaborators of António Ravara 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 António Ravara. António Ravara 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.
Bravetti, Mario, et al.. (2022). A Java typestate checker supporting inheritance. Science of Computer Programming. 221. 102844–102844. 2 indexed citations
2.
Duarte, José & António Ravara. (2022). Taming stateful computations in Rust with typestates. 72. 101154–101154. 2 indexed citations
3.
Duarte, José & António Ravara. (2021). Retrofitting Typestates into Rust. Universidade Nova de Lisboa's Repository (Universidade Nova de Lisboa). 83–91. 3 indexed citations
4.
Ravara, António, et al.. (2017). From object-oriented code with assertions to behavioural types. 1492–1497. 2 indexed citations
5.
Beek, Maurice H. ter, et al.. (2016). Automated verification of programs and Web systems. Journal of Logical and Algebraic Methods in Programming. 85(5). 653–654. 1 indexed citations
6.
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
7.
Hildebrandt, Thomas, António Ravara, Jan Martijn E. M. van der Werf, & Matthias Weidlich. (2016). Web Services, Formal Methods, and Behavioral Types. Lecture notes in computer science. 2 indexed citations
8.
Gay, Simon J., Nils Gesbert, António Ravara, & Vasco T. Vasconcelos. (2015). Modular session types for objects. Logical Methods in Computer Science. Volume 11, Issue 4. 7 indexed citations
9.
Gay, Simon J., Nils Gesbert, & António Ravara. (2014). Session Types as Generic Process Types. SHILAP Revista de lepidopterología. 160. 94–110. 2 indexed citations
10.
Ravara, António & Josep Silva. (2013). Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems. Electronic Proceedings in Theoretical Computer Science. 123. 1 indexed citations
11.
Cruz-Filipe, Luı́s, Ivan Lanese, Francisco Martins, António Ravara, & Vasco T. Vasconcelos. (2013). The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing. 26(5). 865–918. 5 indexed citations
12.
Ravara, António, Pedro Resende, & Vasco T. Vasconcelos. (2012). An Algebra of Behavioural Types. Information and Computation. 212. 64–91. 2 indexed citations
13.
Mousavi, Mohammad Reza & António Ravara. (2011). Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. Electronic Proceedings in Theoretical Computer Science. 58.
14.
Gay, Simon J., et al.. (2010). Modular session types for distributed object-oriented programming. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 299–312. 46 indexed citations
15.
Ravara, António, et al.. (2008). Encoding cryptographic primitives in a calculus with polyadic synchronization.. 102–109. 1 indexed citations
16.
Lanese, Ivan, Francisco Martins, Vasco T. Vasconcelos, & António Ravara. (2007). Disciplining Orchestration and Conversation in Service-Oriented Computing. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). 1381. 305–314. 30 indexed citations
17.
Vallecillo, Antonio, Vasco T. Vasconcelos, & António Ravara. (2006). Typing the Behavior of Software Components using Session Types. Fundamenta Informaticae. 73(4). 583–598. 27 indexed citations
18.
Vasconcelos, Vasco T., Simon J. Gay, & António Ravara. (2006). Type checking a multithreaded functional language with session types. Theoretical Computer Science. 368(1-2). 64–87. 53 indexed citations
19.
Vasconcelos, Vasco T. & António Ravara. (2003). Session Types for Inter-Process Communication. 26 indexed citations
20.
Vallecillo, Antonio, Vasco T. Vasconcelos, & António Ravara. (2003). Typing the Behavior of Objects and Components using Session Types. Electronic Notes in Theoretical Computer Science. 68(3). 439–456. 35 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 Nils Gesbert Breakdown of academic impact, for papers by Emilio Tuosto Breakdown of academic impact, for papers by Gianluigi Zavattaro Breakdown of academic impact, for papers by Daniele Gorla Breakdown of academic impact, for papers by David de Frutos Escrig Breakdown of academic impact, for papers by Uwe Nestmann Breakdown of academic impact, for papers by Rumyana Neykova Breakdown of academic impact, for papers by Dominic Duggan Breakdown of academic impact, for papers by Jesper Bengtson Breakdown of academic impact, for papers by Alain Frisch
Rankless by CCL
2026