Fingerprint
Dive into the research topics where Liron Cohen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Cyclone: A Heterogeneous Tool for Verifying Infinite Descent
Cohen, L., Rowe, R. N. S. & Shaked, M., 1 Jan 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 336-354 19 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).Ben-Gurion University of the Negev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Separating Markov's Principles
Cohen, L., Forster, Y., Kirst, D., Da Rocha Paiva, B. & Rahli, V., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 28. (Proceedings - Symposium on Logic in Computer Science).Ben-Gurion University of the Negev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
The Complex(ity) Landscape of Checking Infinite Descent
Cohen, L., Jabarin, A., Popescu, A. & Rowe, R. N. S., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, 46.Ben-Gurion University of the Negev
Research output: Contribution to journal › Article › peer-review
Open Access -
TT□C: A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY
Cohen, L. & Rahli, V., 1 Jan 2024, In: Logical Methods in Computer Science. 20, 2, p. 18:1-18:27Ben-Gurion University of the Negev
Research output: Contribution to journal › Article › peer-review
Open Access -
Inductive Continuity via Brouwer Trees
Cohen, L., da Rocha Paiva, B., Rahli, V. & Tosun, A., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).Ben-Gurion University of the Negev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review