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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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