António Ravara
Impact in
-
- Formal Methods in Verification
- Artificial Intelligence top 5%
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Security and Verification in Computing
- Logic, Reasoning, and Knowledge
Papers in
-
- Logic, programming, and type systems 18
- Advanced Software Engineering Methodologies 6
-
- Service-Oriented Architecture and Web Services 7
- Co-authors
- Vasco T. Vasconcelos (14 shared papers)Simon J. Gay (5 shared papers)Antonio Vallecillo (2 shared papers)Ivan Lanese (4 shared papers)Nils Gesbert (4 shared papers)Francisco Martins (3 shared papers)Hans Hüttel (1 shared paper)Luı́s Caires (1 shared paper)
- Journals
- Theoretical Computer Science (1 paper)ACM SIGPLAN Notices (1 paper)Formal Aspects of Computing (1 paper)Journal of Automated Reasoning (1 paper)Logical Methods in Computer Science (1 paper)
- Partner nations
- PortugalUnited KingdomItaly
In The Last Decade
António Ravara
27 papers receiving 338 citations
Peers
Comparison fields: 5 of 25
- Computational Theory and Mathematics 189
- Artificial Intelligence 315
- Software 21
- Computer Networks and Communications 114
- Hardware and Architecture 33
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-authors
The 25 scholars most cited alongside António Ravara, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 28 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2016 | 84 | |
| 2 | 2006 | 54 | |
| 3 | 2010 | 46 | |
| 4 | 2003 | 35 | |
| 5 | 2007 | 30 | |
| 6 | Typing the Behavior of Software Components using Session Types | 2006 | 28 |
| 7 | Session Types for Inter-Process Communication | 2003 | 27 |
| 8 | 2015 | 7 | |
| 9 | 2010 | 7 | |
| 10 | 2013 | 5 | |
| 11 | 2021 | 4 | |
| 12 | 2012 | 2 | |
| 13 | 2017 | 2 | |
| 14 | 2022 | 2 | |
| 15 | 2022 | 2 | |
| 16 | 2014 | 2 | |
| 17 | 2016 | 2 | |
| 18 | 2016 | 2 | |
| 19 | 2003 | 2 | |
| 20 | Encoding cryptographic primitives in a calculus with polyadic synchronization. | 2008 | 1 |
About António Ravara
António Ravara is a scholar working on Artificial Intelligence, Information Systems, Computer Networks and Communications, Computational Theory and Mathematics and Software, having authored 28 papers that have together received 351 indexed citations. Recurring topics across this work include Logic, programming, and type systems (18 papers), Formal Methods in Verification (9 papers), Service-Oriented Architecture and Web Services (7 papers), Distributed systems and fault tolerance (7 papers), Advanced Software Engineering Methodologies (6 papers), Software Testing and Debugging Techniques (5 papers), Software System Performance and Reliability (4 papers) and Parallel Computing and Optimization Techniques (4 papers). The work is most often cited by research in Computational Theory and Mathematics (189 citations), Artificial Intelligence (315 citations), Software (21 citations), Computer Networks and Communications (114 citations) and Hardware and Architecture (33 citations). António Ravara has collaborated with scholars based in Portugal, United Kingdom and Italy. Frequent co-authors include Vasco T. Vasconcelos, Simon J. Gay, Antonio Vallecillo, Ivan Lanese, Nils Gesbert, Francisco Martins, Hans Hüttel, Luı́s Caires, Gianluigi Zavattaro and Pierre-Malo Deniélou. Their work appears in journals such as Theoretical Computer Science, ACM SIGPLAN Notices, Formal Aspects of Computing, Journal of Automated Reasoning and Logical Methods in Computer Science.
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.