Statistics
Publications
2
Citations
21
H-Index
2
Active since
2014
Affiliations
University of California San Diego(Current)
Valentin Robert is an author at University of California San Diego specializing in computer science, compilers, and proof-based verification.
Publications per year
2014–2022
2
2
A Semantic Reference Model for Capturing System Development and Evaluation
Abha Moitra, Paul Cuddihy, Kit Siu et al. · 2022 · 11 citations
Automating formal proofs for reactive systems
Daniel Ricketts, Valentin Robert, Dongseok Jang et al. · 2014 · 10 citations
1–2 of 2