António Ravara
About
In The Last Decade
António Ravara
27 papers receiving 330 citations
Peers
Comparison fields: 5 of 25
- Artificial Intelligence 309
- Computational Theory and Mathematics 187
- Computer Networks and Communications 113
- Information Systems 85
- Hardware and Architecture 32
Countries citing papers authored by António Ravara
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
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
| # | Title | Journal | Authors | Indexed citations |
|---|---|---|---|---|
| 1 | A Java typestate checker supporting inheritance | Science of Computer Programming | Mario Bravetti, António Ravara et al. | 2 |
| 2 | Taming stateful computations in Rust with typestates | José Duarte, António Ravara | 2 | |
| 3 | Retrofitting Typestates into Rust | Universidade Nova de Lisboa's Repository (Universidade Nova de Lisboa) | José Duarte, António Ravara | 3 |
| 4 | From object-oriented code with assertions to behavioural types | António Ravara et al. | 2 | |
| 5 | Automated verification of programs and Web systems | Journal of Logical and Algebraic Methods in Programming | Maurice H. ter Beek, Alexei Lisitsa et al. | 1 |
| 6 | Foundations of Session Types and Behavioural Contracts | ACM Computing Surveys | Hans Hüttel, Ivan Lanese et al. | 82 |
| 7 | Web Services, Formal Methods, and Behavioral Types | Lecture notes in computer science | Thomas Hildebrandt, António Ravara et al. | 2 |
| 8 | Modular session types for objects | Logical Methods in Computer Science | Simon J. Gay, Nils Gesbert et al. | 7 |
| 9 | Session Types as Generic Process Types | SHILAP Revista de lepidopterología | Simon J. Gay, Nils Gesbert et al. | 2 |
| 10 | Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems | Electronic Proceedings in Theoretical Computer Science | António Ravara, Josep Silva | 1 |
| 11 | The stream-based service-centred calculus: a foundation for service-oriented programming | Formal Aspects of Computing | Luı́s Cruz-Filipe, Ivan Lanese et al. | 5 |
| 12 | An Algebra of Behavioural Types | Information and Computation | António Ravara, Pedro Resende et al. | 2 |
| 13 | Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures | Electronic Proceedings in Theoretical Computer Science | Mohammad Reza Mousavi, António Ravara | 0 |
| 14 | Modular session types for distributed object-oriented programming | ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam) | Simon J. Gay, Vasco T. Vasconcelos et al. | 46 |
| 15 | Encoding cryptographic primitives in a calculus with polyadic synchronization. | António Ravara et al. | 1 | |
| 16 | Disciplining Orchestration and Conversation in Service-Oriented Computing | Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) | Ivan Lanese, Francisco Martins et al. | 30 |
| 17 | Typing the Behavior of Software Components using Session Types | Fundamenta Informaticae | Antonio Vallecillo, Vasco T. Vasconcelos et al. | 27 |
| 18 | Type checking a multithreaded functional language with session types | Theoretical Computer Science | Vasco T. Vasconcelos, Simon J. Gay et al. | 53 |
| 19 | Session Types for Inter-Process Communication | Vasco T. Vasconcelos, António Ravara | 26 | |
| 20 | Typing the Behavior of Objects and Components using Session Types | Electronic Notes in Theoretical Computer Science | Antonio Vallecillo, Vasco T. Vasconcelos et al. | 35 |
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.