Bereczky Péter; Horpácsi Dániel; Thompson Simon: A formalisation of Core Erlang, a concurrent actor language. In: Acta cybernetica, (26) 3. pp. 373-404. (2024)
Németh Dávid J.; Horpácsi Dániel; Tejfel Máté: Adaptation of a refactoring DSL for the object-oriented paradigm. In: Acta cybernetica, (25) 4. pp. 817-846. (2022)
Horpácsi Dániel; Kőszegi Judit; Németh Dávid J.: Towards a generic framework for trustworthy program refactoring. In: Acta cybernetica, (25) 4. pp. 753-779. (2022)