Saguy Benaim

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 2

Top Topics

Tree Construction

Lambertian Surface

Top Venues

ACM Trans. Comput. Log.

Comput. Graph. Forum

Publications

Saguy Benaim, Ron Mokady, Amit Bermano, Lior Wolf
Structural Analogy from a Single Image Pair. Comput. Graph. Forum 40 (1) (2021)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ACM Trans. Comput. Log. 17 (4) (2016)
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees CoRR (2013)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ICALP (2) (2013)