Computer Science · Physical Sciences
16h-index1.1kcitations42works10.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(13), Adversarial Robustness in Machine Learning(13), Gene Regulatory Network Analysis(10), Software Testing and Debugging Techniques(6), Advanced Malware Detection Techniques(5)
Publications42 total
arXiv (Cornell University)·2023· 1 citedOpen Access
Lecture notes in computer science·2023· 13 citedOpen Access
Information and Computation·2022· 2 citedOpen Access
Machine Learning·2022· 79 citedOpen Access
Society for Industrial and Applied Mathematics eBooks·2022· 11 cited
arXiv (Cornell University)·2021· 2 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2020· 1 citedOpen Access
arXiv (Cornell University)·2020· 14 citedOpen Access
Companion Proceedings of the Web Conference 2020·2020· 28 citedOpen Access
IEEE Design and Test·2020· 15 cited
arXiv (Cornell University)·2019· 16 citedOpen Access
arXiv (Cornell University)·2019· 12 citedOpen Access
Journal of Automated Reasoning·2019· 120 cited
Computational biology·2019· 6 cited
Set-Based Analysis for Biological Modeling
HAL (Le Centre pour la Communication Scientifique Directe)·2019· 1 cited
Computational biology·2019· 25 cited
Lecture notes in computer science·2019· 187 citedOpen Access
arXiv (Cornell University)·2018· 22 citedOpen Access
2018· 12 citedOpen Access
page 1 of 3Next →
Frequent Co-authors
Sanjit A. Seshia(18), Shromona Ghosh(12), Thao Dang(11), Alberto Sangiovanni‐Vincentelli(9), Carla Piazza(9), Daniel J. Fremont(8), Xiangyu Yue(7), Edward Kim(5), Alexandre Donzé(4), Alberto Casagrande(4), Marcell Vazquez-Chanlatte(3), Éric Fanchon(3), Hadi Ravanbakhsh(2), Ankush Desai(2), Parth Gupta(2), Jan Bakus(2), Yu-Hsiang Lin(2), Vamsi Salaka(2), Somesh Jha(2), Eric Vin(2)