Tel Aviv University — Israel
Computer Science · Physical Sciences
43h-index8.7kcitations390works0.92yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(124), Logic, Reasoning, and Knowledge(80), Formal Methods in Verification(69), Natural Language Processing Techniques(50), Computability, Logic, AI Algorithms(48)
Publications390 total
2025Open Access
Frontiers in Big Data·2025Open Access
Journal of Quantitative Linguistics·2025
2025Open Access
magazén·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
AI Matters·2024
Zeitschrift für die Alttestamentliche Wissenschaft·2024· 1 cited
The Breast·2024· 4 citedOpen Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
Zeitschrift für die Alttestamentliche Wissenschaft·2024· 1 citedOpen Access
Kalpa publications in computing·2024Open Access
Schizophrenia·2024· 12 citedOpen Access
arXiv (Cornell University)·2024Open Access
page 1 of 20Next →
Frequent Co-authors
Leo Bachmair(7), David A. Plaisted(7), Mitsuhiro Okada(4), Lior Wolf(4), Jean-Pierre Jouannaud(3), Jieh Hsiang(3), Ziyad Hanna(3), Zohar Manna(2), Yuri Gurevich(2), Shmuel Zaks(2), Edward M. Reingold(2), G. Sivakumar(2), C.G. Hoot(2), Jacob Katz(1), Stéphane Kaplan(1), Alexander Nadel(1), Naomi Lindenstrauss(1), Yehoshua Sagiv(1), Alexander Serebrenik(1), Ido Kissos(1)