Intel (United States) — United States
Computer Science · Physical Sciences
2h-index56citations3works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Parallel Computing and Optimization Techniques(2), Low-power high-performance VLSI design(2), Advanced Database Systems and Queries(1), Embedded Systems Design Techniques(1), Data Management and Algorithms(1)
Publications3 total
IEEE Transactions on Very Large Scale Integration (VLSI) Systems·2003· 24 cited
2001· 31 cited
Extensions of Temporal Logic for Counting with Applications to Model Verification
1989· 1 cited
Frequent Co-authors
Avi Mendelson(2), Yoav Almog(2), Ronny Ronen(2), Doron Orenstein(1), D. Orenstien(1), Robert P. Kurshan(1), Shlomit S. Pinter(1)