Vasco T. Vasconcelos
Scholar

Vasco T. Vasconcelos

Google Scholar ID: dsRKl04AAAAJ
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Programming LanguagesType SystemsSoftware VerificationConcurrency Theory
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 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Luis Caires
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Ivan Lanese
Ivan Lanese
University of Bologna
Andreia Mordido
Andreia Mordido
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Co-author 7
Co-author 7
Co-author 8
Co-author 8