Arizona State University — United States
Computer Science · Physical Sciences
2h-index27citations2works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(1), Advanced Database Systems and Queries(1), Software Testing and Debugging Techniques(1), Distributed systems and fault tolerance(1), Logic, Reasoning, and Knowledge(1)
Publications2 total
Data & Knowledge Engineering·1997· 20 cited
Lecture notes in computer science·1997· 7 cited
Frequent Co-authors
Susan D. Urban(2), Suzanne W. Dietrich(2), Anton P. Karadimce(1), Taoufik Ben Abdellatif(1)