Impedance cardiography signal processing with Savitzky-Golay and frequency sampling kernelsMärtens, Olev; Metshein, Margus; Tamberg, Gert; Abdullayev, Anar2022 18th Biennial Baltic Electronics Conference (BEC)2022 / 5 l. https://doi.org/10.1109/BEC56180.2022.9935597

Lean formalization of extended regular expression matching with lookaroundsZhuchko, Ekaterina; Veanes, Margus; Ebner, GabrielCPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 20242024 / p. 118 - 131 https://doi.org/10.1145/3636501.3636959 Article at Scopus Article at WOS