Research output per year
Research output per year
Fingerprint
Dive into the research topics where Nir Lavee is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Counting Permutation Patterns with Multidimensional Trees
Beniamini, G. & Lavee, N., 30 Jun 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 334).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
How Balanced Can Permutations Be?
Beniamini, G., Lavee, N. & Linial, N., Feb 2025, In: Combinatorica. 45, 1, 9.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Certifying DFA Bounds for Recognition and Separation
Kupferman, O., Lavee, N. & Sickert, S., Sep 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 405-416 12 p.Research output: Contribution to journal › Article › peer-review
-
Certifying DFA Bounds for Recognition and Separation
Kupferman, O., Lavee, N. & Sickert, S., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 48-64 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12971 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations