| 2026 | FSCD | Evidence-Tracked Tape Semantics for Probabilistic Computation. | Liron Cohen, Tomer Samara |
| 2026 | ITP | Certified Infinite Descent Criteria in Isabelle/HOL. | Jamie Wright, Liron Cohen, Reuben N. S. Rowe, Andrei Popescu |
| 2025 | FSCD | Computation First: Rebuilding Constructivism with Effects (Invited Talk). | Liron Cohen |
| 2025 | FSCD | From Partial to Monadic: Combinatory Algebra with Effects. | Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey |
| 2025 | LICS | Syntactic Effectful Realizability in Higher-Order Logic. | Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey |
| 2025 | TACAS | Cyclone: A Heterogeneous Tool for Verifying Infinite Descent. | Liron Cohen, Reuben N. S. Rowe, Matan Shaked |
| 2024 | EDM | Early Prediction of Student Dropout in Higher Education using Machine Learning Models. | Or Goren, Liron Cohen, Amir Rubinstein |
| 2024 | LICS | Separating Markov's Principles. | Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli |
| 2023 | CSL | Realizing Continuity Using Stateful Computations. | Liron Cohen, Vincent Rahli |
| 2023 | MFCS | Inductive Continuity via Brouwer Trees. | Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun |
| 2022 | FSCD | Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. | Liron Cohen, Vincent Rahli |
| 2022 | UAI | A geometric method for improved uncertainty estimation in real-time. | Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman |
| 2021 | CADE | Non-well-founded Deduction for Induction and Coinduction. | Liron Cohen |
| 2021 | CiE | Formally Computing with the Non-computable. | Liron Cohen |
| 2021 | CSL | Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. | Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2021 | LICS | Evidenced Frames: A Unifying Framework Broadening Realizability Models. | Liron Cohen, tienne Miquey, Ross Tate |
| 2020 | AAAI | Teaching Undergraduate Artificial Intelligence Classes: An Experiment with an Attendance Requirement. | Sven Koenig, Tansel Uras, Liron Cohen |
| 2020 | CADE | Integrating Induction and Coinduction via Closure Operators and Proof Cycles. | Liron Cohen, Reuben N. S. Rowe |
| 2020 | IJCAI | Iterative-Deepening Conflict-Based Search. | Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig |
| 2020 | SoCS | Embedding Directed Graphs in Potential Fields Using FastMap-D. | Sriram Gopalakrishnan, Liron Cohen, Sven Koenig, T. K. Satish Kumar |
| 2019 | SoCS | Optimal and Bounded-Suboptimal Multi-Agent Motion Planning. | Liron Cohen, Tansel Uras, T. K. Satish Kumar, Sven Koenig |
| 2019 | SoCS | Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. | Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne T. Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Roman Bartk, Eli Boyarski |
| 2018 | CSL | Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. | Liron Cohen, Reuben N. S. Rowe |
| 2018 | IJCAI | Anytime Focal Search with Applications. | Liron Cohen, Matias Greco, Hang Ma, Carlos Hernndez, Ariel Felner, T. K. Satish Kumar, Sven Koenig |
| 2018 | IJCAI | The FastMap Algorithm for Shortest Path Computations. | Liron Cohen, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar |
| 2018 | ISAIM | The FastMap Algorithm for Shortest Path Computations. | Liron Cohen, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar |
| 2018 | LFCS | A Minimal Computational Theory of a Minimal Computational Universe. | Arnon Avron, Liron Cohen |
| 2018 | LICS | Computability Beyond Church-Turing via Choice Sequences. | Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2018 | LPAR | A Verified Theorem Prover Backend Supported by a Monotonic Library. | Vincent Rahli, Liron Cohen, Mark Bickford |
| 2018 | SoCS | Rapid Randomized Restarts for Multi-Agent Path Finding Solvers. | Liron Cohen, Glenn Wagner, David M. Chan, Howie Choset, Nathan R. Sturtevant, Sven Koenig, T. K. Satish Kumar |
| 2017 | IJCAI | Summary: Multi-Agent Path Finding with Kinematic Constraints. | Wolfgang Hnig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig |
| 2017 | TABLEAUX | Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. | Liron Cohen |
| 2016 | IJCAI | Bounded Suboptimal Multi-Agent Path Finding Using Highways. | Liron Cohen, Sven Koenig |
| 2016 | IJCAI | Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding. | Liron Cohen, Tansel Uras, T. K. Satish Kumar, Hong Xu, Nora Ayanian, Sven Koenig |
| 2015 | SoCS | Feasibility Study: Using Highways for Bounded-Suboptimal Multi-Agent Path Finding. | Liron Cohen, Tansel Uras, Sven Koenig |
| 2015 | WoLLIC | Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. | Liron Cohen, Robert L. Constable |
| 2014 | WoLLIC | Ancestral Logic: A Proof Theoretical Study. | Liron Cohen, Arnon Avron |