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
Contact
No contact links provided.
Publications
1 items
Simple grammar bisimilarity, with an application to session type equivalence
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
37 total
Co-author 1
Co-author 2
Co-author 3
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
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up