Technion – Israel Institute of Technology — Israel
Computer Science · Physical Sciences
32h-index4.1kcitations226works0.62yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(121), Logic, Reasoning, and Knowledge(93), Formal Methods in Verification(47), Natural Language Processing Techniques(40), Distributed systems and fault tolerance(36)
Publications226 total
Logica Universalis·2025
Logics·2025· 1 citedOpen Access
Logic Journal of IGPL·2024· 1 cited
Logic and Logical Philosophy·2024Open Access
Outstanding contributions to logic·2024· 1 citedOpen Access
Logics·2023Open Access
Logica Universalis·2023· 2 cited
Fundamenta Informaticae·2022
Notre Dame Journal of Formal Logic·2022· 3 cited
Synthese·2022· 2 cited
arXiv (Cornell University)·2022Open Access
2021· 1 cited
Logica Universalis·2021· 5 cited
Bilateralism based on Corrective Denial.
FLAP·2021
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics.
FLAP·2021
Notre Dame Journal of Formal Logic·2020· 1 cited
THEORIA An International Journal for Theory History and Foundations of Science·2020· 6 citedOpen Access
The Australasian Journal of Logic·2019· 3 citedOpen Access
Topoi·2019· 2 cited
page 1 of 12Next →
Frequent Co-authors
Shmuel Katz(5), Michael Rodeh(5), Krzysztof R. Apt(4), Orna Grümberg(4), Roy Dyckhoff(4), Michael Kaminski(3), Willem P. de Roever(3), Amir Pnueli(3), Brent Hailpern(3), Rani Nelken(3), Daniel Lehmann(2), Ira R. Forman(2), J.-M. Couvreur(2), Mohamed G. Gouda(2), Gadi Taubenfeld(2), Gilad Ben-Avi(2), Tzilla Elrad(1), Ian Pratt‐Hartmann(1), C. A. R. Hoare(1), Luc Bougé(1)