Andreia Mordido
Scholar

Andreia Mordido

Google Scholar ID: 0TEUBAwAAAAJ
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Programming LanguagesType SystemsLogic
Google Scholar↗
Citations & Impact
All-time
Citations
241
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Deadlock-free Context-free Session Types
2025
Cited
0
Local Type Inference for Context-Free Session Types
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)