Computer Science · Physical Sciences
6h-index317citations12works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(8), Logic, programming, and type systems(6), Model-Driven Software Engineering Techniques(5), Software Testing and Debugging Techniques(2), Parallel Computing and Optimization Techniques(1)
Publications12 total
VIE: An Automata Sequencer
2014
The Impact of Mega Sporting Event Host Country Selection on Construction and Industrial Sectors of Stock Markets: An Event Study
Scholarship @ Claremont (The Claremont Colleges)·2013
The Economic Impact of Licensed Child Care in Southeast Missouri
2005· 1 cited
Theoretical Computer Science·2002
Interval and point-based approaches to hybrid system verification
1997· 10 cited
Lecture notes in computer science·1997· 6 cited
Lecture notes in computer science·1996· 111 cited
STeP: The Stanford Temporal Prover (Educational Release) User''s Manual
1995· 29 cited
Lecture notes in computer science·1995· 143 citedOpen Access
Lecture notes in computer science·1994· 17 cited
Frequent Co-authors
Zohar Manna(5), Nikolaj Bjørner(3), Anca Browne(3), Michael A. Colón(3), Luca de Alfaro(3), Henny B. Sipma(3), Tomás E. Uribe(3), Eddie Chang(2), Edward Yi Chang(1), Harish Devarajan(1), Jaejin Lee(1), Thomas A. Henzinger(1), Amir Pnueli(1), Marcus Birk(1), Eric Wittenauer(1), Rebecca Summary(1), Bruce R. Domazlicky(1), L. Immaneni(1), B. G. Neal(1), Junyi He(1)