Statistics
Publications
32
Citations
1.1K
H-Index
19
Active since
2012
Aws Albarghouthi is an author at University of Wisconsin–Madison specializing in computing, computer science, and formal methods.
Publications per year
2012–2023
32
32
Symbolic optimization with SMT solvers
Yi Li, Aws Albarghouthi, Zachary Kincaid et al. · 2014 · 122 citations
Calvin Smith, Aws Albarghouthi · 2016 · 79 citations
Authoring and Verifying Human-Robot Interactions
David Porfirio, Allison Sauppé, Aws Albarghouthi et al. · 2018 · 57 citations · Full text
1–5 of 32