Scholar
Vasco T. Vasconcelos
Google Scholar ID: dsRKl04AAAAJ
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Programming Languages
Type Systems
Software Verification
Concurrency Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,795
H-index
20
i10-index
34
Publications
20
Co-authors
37
list available
Publications
1 items
Simple grammar bisimilarity, with an application to session type equivalence
arXiv.org · 2024
Cited
0
Co-authors
6 total
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Ivan Lanese
University of Bologna
Andreia Mordido
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Peter Thiemann
Professor of Computer Science, University of Freiburg
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Fernando Silva
CRACS - INESC-TEC & Computer Science Department, FCUP, University of Porto, Portugal
