Citations per year, relative to Vasco T. Vasconcelos Vasco T. Vasconcelos (= 1×)
peers
Luca Padovani
Countries citing papers authored by Vasco T. Vasconcelos
Since
Specialization
Citations
This map shows the geographic impact of Vasco T. Vasconcelos'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 Vasco T. Vasconcelos with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Vasco T. Vasconcelos more than expected).
Fields of papers citing papers by Vasco T. Vasconcelos
This network shows the impact of papers produced by Vasco T. Vasconcelos. 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 Vasco T. Vasconcelos. The network helps show where Vasco T. Vasconcelos may publish in the future.
Co-authorship network of co-authors of Vasco T. Vasconcelos
This figure shows the co-authorship network connecting the top 25 collaborators of Vasco T. Vasconcelos.
A scholar is included among the top collaborators of Vasco T. Vasconcelos 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 Vasco T. Vasconcelos. Vasco T. Vasconcelos is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Mostrous, Dimitris & Vasco T. Vasconcelos. (2018). Affine Sessions. SHILAP Revista de lepidopterología.
4.
Ancona, Davide, Viviana Bono, Mario Bravetti, et al.. (2016). Behavioral Types in Programming Languages. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna).50 indexed citations
5.
Ancona, Davide, Viviana Bono, Mario Bravetti, et al.. (2016). Behavioral Types in Programming Languages. University of Southern Denmark Research Portal (University of Southern Denmark). 3(2-3). 95–230.28 indexed citations
6.
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
7.
Vasconcelos, Vasco T., et al.. (2014). Type-Based Verification of Message-Passing Parallel Programs. Repositório da Universidade de Lisboa (University of Lisbon).1 indexed citations
8.
Vasconcelos, Vasco T.. (2013). Sessions, from Types to Programming Languages. Bulletin of the European Association for Theoretical Computer Science. 1(103). 53–73.5 indexed citations
9.
Ravara, António, Pedro Resende, & Vasco T. Vasconcelos. (2012). An Algebra of Behavioural Types. Information and Computation. 212. 64–91.2 indexed citations
10.
Vasconcelos, Vasco T.. (2012). Fundamentals of session types. Information and Computation. 217. 52–70.46 indexed citations
Honda, Kohei, et al.. (2009). Session-based Type Discipline for Pi Calculus with Matching. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT).5 indexed citations
14.
Vasconcelos, Vasco T.. (2009). Fundamentals of Session Types, Formal Methods for Web Services. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT).5 indexed citations
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.
Lopes, Antónia, et al.. (2006). Checking the conformance of Java classes against algebraic specifications.1 indexed citations
19.
Martins, Francisco & Vasco T. Vasconcelos. (2001). TyCO + Linear channels. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT).
20.
Lopes, Luís, et al.. (1999). DiTyCO: an Experiment in Code Mobility from the Realm of Process Calculi.3 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.