Texas Tech University — United States
Computer Science · Physical Sciences
29h-index3.7kcitations160works0.12yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(88), Software Testing and Debugging Techniques(59), Software Reliability and Analysis Research(56), Logic, programming, and type systems(29), Software Engineering Research(28)
Publications160 total
arXiv (Cornell University)·2025Open Access
Journal of Automated Reasoning·2025Open Access
2025· 1 cited
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
Lecture notes in computer science·2024Open Access
Lecture notes in computer science·2023· 3 citedOpen Access
Lecture notes in computer science·2023Open Access
Lecture notes in computer science·2023· 4 citedOpen Access
reposiTUm (TU Wien)·2021· 1 citedOpen Access
2021 IEEE International Conference on Electronics, Computing and Communication Technologies (CONECCT)·2021· 1 cited
Reliability Engineering & System Safety·2021· 42 cited
Lecture notes in computer science·2021· 11 cited
Lecture notes in computer science·2021· 1 cited
2020· 1 citedOpen Access
2020· 4 citedOpen Access
2020· 10 citedOpen Access
page 1 of 8Next →
Frequent Co-authors
Mats P. E. Heimdahl(28), Darren Cofer(11), Andrew Gacek(11), Matt Staats(9), Steven P. Miller(9), John Backes(7), Ajitha Rajan(6), Gregory Gay(5), Anitha Murugesan(4), Sanjai Rayadurgam(4), Anjali Joshi(3), Lucas Wagner(3), Danielle Stewart(2), Konrad Slind(2), Andreas Katis(2), Bernd Fischer(2), Elaheh Ghassabani(2), Yunja Choi(2), Willem Visser(2), Brian LaValley(1)