Hebrew University of Jerusalem — Israel
Computer Science · Physical Sciences
48h-index9.7kcitations314works0.22yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(245), Logic, programming, and type systems(144), semigroups and automata theory(91), Software Testing and Debugging Techniques(61), Logic, Reasoning, and Knowledge(40)
Publications314 total
Logical Methods in Computer Science·2025Open Access
Lecture notes in computer science·2025
Information and Computation·2025Open Access
SHILAP Revista de lepidopterología·2025Open Access
Formal Methods in System Design·2025Open Access
arXiv (Cornell University)·2025Open Access
Lecture notes in computer science·2025
Lecture notes in computer science·2025
Lecture notes in computer science·2025Open Access
Lecture notes in computer science·2025· 2 cited
Lecture notes in computer science·2025Open Access
arXiv (Cornell University)·2024Open Access
ACM Transactions on Computational Logic·2024Open Access
Lecture notes in computer science·2024· 1 citedOpen Access
SPIRE - Sciences Po Institutional REpository·2024Open Access
Lecture notes in computer science·2024
ACM Transactions on Computational Logic·2023Open Access
Theoretical Computer Science·2023
ACM Transactions on Computational Logic·2023· 7 citedOpen Access
Frontiers in Computer Science·2023· 7 citedOpen Access
page 1 of 16Next →
Frequent Co-authors
Moshe Y. Vardi(30), Thomas A. Henzinger(8), Hana Chockler(4), Rajeev Alur(3), Nir Piterman(3), Udi Boker(3), Pierre Wolper(2), Luca de Alfaro(2), Yoad Lustig(2), Sriram K. Rajamani(2), Shaull Almagor(2), Orna Grümberg(2), MosheY. Vardi(1), Dana Fisman(1), Robert P. Kurshan(1), P. Madhusudan(1), P. S. Thiagarajan(1), Ulrike Sattler(1), Moshe Y. Vardit(1), Sarai Sheinvald(1)