Language abstractions for low level optimization techniques. - Gergely Dévai; Zoltán Gera; Zoltán Kelemen (Comput. Sci. Inf. Syst., 2014)

Derivable Partial Locking for Algebraic Data Types. - Boldizsár Németh; Zoltán Kelemen (Acta Cybern., 2015)

Defining C Preprocessor Macro Libraries with Functional Programs. - Boldizsár Németh; Máté Karácsony; Zoltán Kelemen; Máté Tejfel (Comput. Informatics, 2016)