Certifying DFA Bounds for Recognition and Separation. - Orna Kupferman; Nir Lavee; Salomon Sickert (Innov. Syst. Softw. Eng., 2022)

Counting Permutation Patterns with Multidimensional Trees. - Gal Beniamini; Nir Lavee (ICALP, 2025)

How Balanced Can Permutations Be? - Gal Beniamini; Nir Lavee; Nati Linial (Comb., 2025)

Does Your Blockchain Need Multidimensional Transaction Fees? - Nir Lavee; Noam Nisan; Mallesh M. Pai; Max Resnick (CoRR, 2025)