Computer Science · Physical Sciences
51h-index8.2kcitations330works1.62yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Data Visualization and Analytics(97), Logic, programming, and type systems(64), Constraint Satisfaction and Optimization(58), Formal Methods in Verification(45), Tactile and Sensory Interactions(40)
Publications330 total
arXiv (Cornell University)·2026Open Access
arXiv (Cornell University)·2026Open Access
UNC Libraries·2025Open Access
IEEE Transactions on Visualization and Computer Graphics·2025
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
2025· 2 citedOpen Access
IEEE Transactions on Visualization and Computer Graphics·2024· 14 citedOpen Access
interactions·2024
2024· 2 citedOpen Access
2024· 3 citedOpen Access
2024Open Access
page 1 of 17Next →
Frequent Co-authors
Tim Dwyer(19), Bruce H. Thomas(8), Peter J. Stuckey(8), Maxime Cordeil(7), Cagatay Goncu(6), Karsten Klein(5), Matthew Butler(5), Yalong Yang(5), Harald Søndergaard(5), Michael Wybrow(5), Nathalie Henry Riche(4), Leona Holloway(4), Alan Borning(4), Andrew Cunningham(3), Falk Schreiber(3), Wolfgang Stuerzlinger(3), Takayuki Itoh(2), María García de la Banda(2), Benjamin Bach(2), Christophe Hurter(2)