An Introduction to the Lambda Calculus. - Zoltán Csörnyei; Gergely Dévai (CEFP, 2007)

Programming Language Elements for Correctness Proofs. - Gergely Dévai (Acta Cybern., 2008)

Embedding a Proof System in Haskell. - Gergely Dévai (CEFP, 2009)

Feldspar: A domain specific language for digital signal processing algorithms. - Emil Axelsson; Koen Claessen; Gergely Dévai; Zoltán Horváth; Karin Keijzer; Bo Lyckegård; Anders Persson; Mary Sheeran; Josef Svenningsson; András Vajda (MEMOCODE, 2010)

Measuring the Overhead of C++ Standard Template Library Safe Variants. - Norbert Pataki; Zalán Szügyi; Gergely Dévai (WGT@ETAPS, 2010)

The EDSL's Struggle for Their Sources. - Gergely Dévai; Dániel Leskó; Máté Tejfel (CEFP, 2013)

Embedding and Parsing Combined for Efficient Language Design. - Gergely Dévai; Dániel Leskó; Máté Tejfel (ICSOFT, 2013)

Language Design and Implementation via the Combination of Embedding and Parsing. - Gergely Dévai; Dániel Leskó; Máté Tejfel (ICSOFT (Selected Papers), 2013)

Textual, Executable, Translatable UML. - Gergely Dévai; Gábor Ferenc Kovács; Ádám An (OCL@MoDELS, 2014)

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

UML Model Execution via Code Generation. - Gergely Dévai; Máté Karácsony; Boldizsár Németh; Róbert Kitlei; Tamás Kozsik (EXE@MoDELS, 2015)

Textual diagram layout language and visualization algorithm. - Balázs Gregorics; Tibor Gregorics; Gábor Ferenc Kovács; András Dobreff; Gergely Dévai (MoDELS, 2015)

txtUML. - Gergely Dévay; Tibor Gregorics; Melinda Tóth; Domonkos Asztalos; Dávid János Németh; Gábor Ferenc Kovács; Boldizsár Németh; Zoltán Gera; András Dobreff; Balázs Gregorics; András Nagy; Martin Budai; et al. (D&P@MoDELS, 2016)

Programhelyesség-bizonyítás fordítási időben - Gergely Dévai (2018)