Nir Lavee

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Simple Examples

Recognition Accuracy

Visual Recognition

Top Venues

Innov. Syst. Softw. Eng.

Publications

Gal Beniamini, Nir Lavee
Counting Permutation Patterns with Multidimensional Trees. CoRR (2024)
Orna Kupferman, Nir Lavee, Salomon Sickert
Certifying DFA Bounds for Recognition and Separation. Innov. Syst. Softw. Eng. 18 (3) (2022)
Orna Kupferman, Nir Lavee, Salomon Sickert
Certifying DFA Bounds for Recognition and Separation. CoRR (2021)
Orna Kupferman, Nir Lavee, Salomon Sickert
Certifying DFA Bounds for Recognition and Separation. ATVA (2021)