Statistics
Publications
13
Citations
585
H-Index
12
Active since
2014
Niki Vazou is an author at University of California San Diego specializing in computer science, computing, and formal methods.
Publications per year
2014–2023
13
13
Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · 2014 · 243 citations
Niki Vazou, Eric L. Seidel, Ranjit Jhala · 2014 · 63 citations
Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · ACM SIGPLAN Notices · 2014 · 40 citations
1–5 of 13