Research output per year
Research output per year
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A geometric method for improved uncertainty estimation in real-time.
Chouraqui, G., Cohen, L., Einziger, G. & Leman, L., 2022, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, PMLR . p. 422-432 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.
Cohen, L. & Rahli, V., 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. Felty, A. P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 10:1-10:23 23 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
12th international conference on interactive theorem proving
Cohen, L. & Kaliszyk, C., 1 Jun 2021, In: Leibniz International Proceedings in Informatics, LIPIcs. 193Research output: Contribution to journal › Editorial
-
Evidenced Frames: A Unifying Framework Broadening Realizability Models
Cohen, L., Miquey, E. & Tate, R., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., 9470514. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formally Computing with the Non-computable.
Cohen, L., 2021, CiE. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 135-145 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12813 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Non-well-founded Deduction for Induction and Coinduction.
Cohen, L., 2021, p. 3-24. 22 p.Research output: Contribution to conference › Paper › peer-review
-
Open bar – A brouwerian intuitionistic logic with a pinch of excluded middle
Bickford, M., Cohen, L., Constable, R. L. & Rahli, V., 1 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Integrating Induction and Coinduction via Closure Operators and Proof Cycles
Cohen, L. & Rowe, R. N. S., 1 Jan 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 375-394 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Scopus citations -
Non-well-founded Proof Theory of Transitive Closure Logic
Cohen, L. & Rowe, R. N. S., 1 Oct 2020, In: ACM Transactions on Computational Logic. 21, 4, 31.Research output: Contribution to journal › Article › peer-review
4 Scopus citations -
Bar induction is compatible with constructive type theory
Rahli, V., Bickford, M., Cohen, L. & Constable, R. L., 1 Apr 2019, In: Journal of the ACM. 66, 2, a13.Research output: Contribution to journal › Article › peer-review
1 Scopus citations
Prizes
-
Cyclic Reasoning Mechanisms for Interactive Theorem Proving
Cohen, Liron (Recipient) & Popescu, Razvan Andrei (Recipient), 2021
Prize
-
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, Liron (Recipient) & Constable, Robert L. (Recipient), 2021
Prize
-
-
Real-time Robustness Proving in Machine Learning Models
Cohen, Liron (Recipient) & Einziger, Gil (Recipient), 2020
Prize
-
The Pazy Memorial Research Award
Cohen, Liron (Recipient) & Constable, Robert L. (Recipient), 2021
Prize