Renato Neves
Scholar

Renato Neves

Google Scholar ID: N3_YZoIAAAAJ
University of Minho & INESC TEC
Programming LanguagesCyber-Physical SystemsQuantum Systems
Google Scholar↗
Citations & Impact
All-time
Citations
329
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
4 items
Quantalic lambda-calculus and additive disjunction
2026
Cited
0
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
2025
Cited
0
An Adequate While-Language for Stochastic Hybrid Computation
2025
Cited
0
An adequacy theorem between mixed powerdomains and probabilistic concurrency
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
7 total
Luis S. Barbosa
Luis S. Barbosa
Professor of Computer Science, Universidade do Minho
Manuel A. Martins
Manuel A. Martins
Departamento de Matemática, Universidade de Aveiro
Alexandre Madeira
Alexandre Madeira
CIDMA, University of Aveiro
Fredrik Dahlqvist
Fredrik Dahlqvist
Queen Mary University of London
Sergey Goncharov
Sergey Goncharov
School of Computer Science, University of Birmingham
Dirk Hofmann
Dirk Hofmann
University of Aveiro
Jose Proenca
Jose Proenca
CISTER, Faculty of Sciences, University or Porto, Portugal