• Finiteness of Symbolic Derivatives in LeanZhuchko, Ekaterina; Maarand, Hendrik; Veanes, Margus; Ebner, Gabriel16th International Conference on Interactive Theorem Proving (ITP 2025)2025 / p. 16:1-16:19 https://doi.org//10.4230/LIPIcs.ITP.2025.16
• RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / 32 p. : ill https://doi.org/10.1145/3704837 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/pages/publications/85215411817?origin=resultslist https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001470367300015
• Tensile and surface hydrophobicity investigation of the novel synthesized cellulose derivative filmsKallakas, Heikko; Kilumets, Catherine; Tarasova, Elvira; Krasnou, Illia; Savest, Natalja; Gudkova, Viktoria; Ahmadian, Iman; Krumme, Andres; Kers, JaanResearch Square2022 / 13 p https://doi.org/10.21203/rs.3.rs-2191830/v1