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
158
 
H-index
9
 
i10-index
6
 
Publications
20
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
3 items
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
Co-author 4
Co-author 4
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