Liron Cohen - RankMe

40 papers A* 4A 2B 11C 3Misc 1Journal 16Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Computation First: Rebuilding Constructivism with Effects (Invited Talk). FSCD Liron Cohen
2025	—	`conf`	Cyclone: A Heterogeneous Tool for Verifying Infinite Descent. TACAS (1) Liron Cohen, Reuben N. S. Rowe, Matan Shaked
2025	B	`conf`	From Partial to Monadic: Combinatory Algebra with Effects. FSCD Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2025	J	`jnl`	From Partial to Monadic: Combinatory Algebra with Effects. CoRR Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2025	A*	`conf`	Syntactic Effectful Realizability in Higher-Order Logic. LICS Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2025	J	`jnl`	Syntactic Effectful Realizability in Higher-Order Logic. CoRR Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
2024	J	`jnl`	$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity. Log. Methods Comput. Sci. Liron Cohen, Vincent Rahli
2024	A*	`conf`	Separating Markov's Principles. LICS Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli
2024	J	`jnl`	The Complex(ity) Landscape of Checking Infinite Descent. Proc. ACM Program. Lang. Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N. S. Rowe
2023	B	`conf`	Inductive Continuity via Brouwer Trees. MFCS Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun
2023	B	`conf`	Realizing Continuity Using Stateful Computations. CSL Liron Cohen, Vincent Rahli
2023	J	`jnl`	TT CoRR Liron Cohen, Vincent Rahli
2023	J	`jnl`	Uncertainty Estimation based on Geometric Separation. CoRR Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman
2022	J	`jnl`	A Geometric Method for Improved Uncertainty Estimation in Real-time. CoRR Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman
2022	A	`conf`	A geometric method for improved uncertainty estimation in real-time. UAI Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman
2022	B	`conf`	Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. FSCD Liron Cohen, Vincent Rahli
2021	B	`ed.`	12th International Conference on Interactive Theorem Proving, ITP 2021, Rome, Italy (Virtual Conference), June 29 - July 1, 2021 ITP Liron Cohen, Cezary Kaliszyk
2021	A*	`conf`	Evidenced Frames: A Unifying Framework Broadening Realizability Models. LICS Liron Cohen, Étienne Miquey, Ross Tate
2021	C	`conf`	Formally Computing with the Non-computable. CiE Liron Cohen
2021	A	`conf`	Non-well-founded Deduction for Induction and Coinduction. CADE Liron Cohen
2021	B	`conf`	Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. CSL Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli
2020	—	`conf`	Integrating Induction and Coinduction via Closure Operators and Proof Cycles. IJCAR (1) Liron Cohen, Reuben N. S. Rowe
2020	J	`jnl`	Non-well-founded Proof Theory of Transitive Closure Logic. ACM Trans. Comput. Log. Liron Cohen, Reuben N. S. Rowe
2019	J	`jnl`	Bar Induction is Compatible with Constructive Type Theory. J. ACM Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable
2019	J	`jnl`	Intuitionistic ancestral logic. J. Log. Comput. Liron Cohen, Robert L. Constable
2019	B	`conf`	The Effects of Effects on Constructivism. MFPS Liron Cohen, Sofia Abreu Faro, Ross Tate
2019	J	`jnl`	The middle ground-ancestral logic. Synth. Liron Cohen, Arnon Avron
2019	J	`jnl`	Towards automated reasoning in Herbrand structures. J. Log. Comput. Liron Cohen, Reuben N. S. Rowe, Yoni Zohar
2018	Misc	`conf`	A Minimal Computational Theory of a Minimal Computational Universe. LFCS Arnon Avron, Liron Cohen
2018	B	`conf`	A Verified Theorem Prover Backend Supported by a Monotonic Library. LPAR Vincent Rahli, Liron Cohen, Mark Bickford
2018	J	`jnl`	Applicable Mathematics in a Minimal Computational Theory of Sets. CoRR Arnon Avron, Liron Cohen
2018	J	`jnl`	Applicable Mathematics in a Minimal Computational Theory of Sets. Log. Methods Comput. Sci. Arnon Avron, Liron Cohen
2018	A*	`conf`	Computability Beyond Church-Turing via Choice Sequences. LICS Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli
2018	J	`jnl`	Infinitary and Cyclic Proof Systems for Transitive Closure Logic. CoRR Liron Cohen, Reuben N. S. Rowe
2018	B	`conf`	Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. CSL Liron Cohen, Reuben N. S. Rowe
2017	B	`conf`	Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. TABLEAUX Liron Cohen
2017	—	`conf`	Reasoning Inside The Box: Deduction in Herbrand Logics. GCAI Liron Cohen, Yoni Zohar
2016	J	`jnl`	Formalizing Scientifically Applicable Mathematics in a Definitional Framework. J. Formaliz. Reason. Arnon Avron, Liron Cohen
2015	C	`conf`	Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. WoLLIC Liron Cohen, Robert L. Constable
2014	C	`conf`	Ancestral Logic: A Proof Theoretical Study. WoLLIC Liron Cohen, Arnon Avron