Ariel Grunfeld

According to our database, Ariel Grunfeld authored at least 3 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Syntactic Effectful Realizability in Higher-Order Logic.

Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey

CoRR, June, 2025

From Partial to Monadic: Combinatory Algebra with Effects.

Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2020

Novel Remote Sensing Index of Electron Transport Rate Predicts Primary Production and Crop Health in L. sativa and Z. mays.

Oded Liran, Ofer M. Shir, Shai Levy, Ariel Grunfeld, Yuval Shelly

Remote. Sens., 2020