Statistics
Publications
4
Citations
70
H-Index
4
Active since
2005
Affiliations
Renato Neves is an author at University of Aveiro specializing in formal methods, mathematics, and computer science.
Publications per year
2005–2016
4
4
Proof theory for hybrid(ised) logics
Renato Neves, Alexandre Madeira, Manuel A. Martins et al. · Science of Computer Programming · 2016 · 13 citations · Full text
A method for rigorous design of reconfigurable systems
Alexandre Madeira, Renato Neves, Luís Soares Barbosa et al. · Science of Computer Programming · 2016 · 13 citations · Full text
1–4 of 4