Framework for Studying Substitution. - Härmel Nestra (Acta Cybern., 2002)

Transfinite Corecursion. - Härmel Nestra (Nord. J. Comput., 2005)

Fractional Semantics. - Härmel Nestra (AMAST, 2006)

Transfinite Semantics in the Form of Greatest Fixpoint. - Härmel Nestra (J. Log. Algebraic Methods Program., 2009)

On Slicing of Programs with Input Statements. - Härmel Nestra (ICTAC, 2013)

Grammars for Indentation-Sensitive Parsing. - Härmel Nestra (MFCS, 2017)

Alignment Elimination from Adams' Grammars. - Härmel Nestra (CoRR, 2017)

Double Applicative Functors. - Härmel Nestra (ICTAC, 2018)

Laws of Monadic Error Handling. - Härmel Nestra (ICTAC, 2019)

Equational Reasoning for MTL Type Classes. - Härmel Nestra (CoRR, 2020)

ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CoRR, 2022)

ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Raul-Martin Rebane; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CSF, 2024)