Computer Science · Physical Sciences
9h-index327citations16works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(15), Logic, programming, and type systems(9), Model-Driven Software Engineering Techniques(5), Simulation Techniques and Applications(3), semigroups and automata theory(3)
Publications16 total
2017· 1 cited
2016· 2 cited
IEEE Design & Test of Computers·2012· 13 cited
Lecture notes in computer science·2006· 21 citedOpen Access
Lecture notes in computer science·2005· 59 cited
Information and Computation·2004· 9 cited
Lecture notes in computer science·2004· 29 citedOpen Access
Lecture notes in computer science·2004· 10 cited
ACM Transactions on Computational Logic·2003· 94 cited
Lecture notes in computer science·2003· 30 cited
Aborts vs Resets in Linear Temporal Logic
2002· 6 cited
Lecture notes in computer science·2002· 4 cited
Lecture notes in computer science·2000· 35 cited
Checking for fair simulation in models with B uchi fairness constraints
2000· 4 cited
Simulation Based Minimization
2000
Frequent Co-authors
Orna Grümberg(7), Orna Kupferman(4), Moshe Y. Vardi(4), Roy Armoni(2), Andreas Kuehlmann(2), Fabio Somenzi(2), Chih-Jen Hsu(2), Alon Flaisher(1), MosheY. Vardi(1), Sasha Rubin(1), John Havlicek(1), Dmitry Korchemny(1), Erik Seligman(1), Jin Yang(1), Zurab Khasidashvili(1), Daher Kaiss(1)