Refactoring module structure. - László Lövei; Csaba Hoch; Hanna Köllö; Tamás Nagy; Anikó Nagyné Víg; Dániel Horpácsi; Róbert Kitlei; Roland Király (Erlang Workshop, 2008)

Quickchecking refactoring tools. - Dániel Drienyovszky; Dániel Horpácsi; Simon J. Thompson (Erlang Workshop, 2010)

Extending Erlang by utilising RefactorErl. - Dániel Horpácsi (Erlang Workshop, 2013)

Static analysis of function calls in Erlang. - Dániel Horpácsi; Judit Köszegi (e Informatica Softw. Eng. J., 2013)

Discovering parallel pattern candidates in Erlang. - István Bozó; Viktoria Fordós; Zoltán Horváth; Melinda Tóth; Dániel Horpácsi; Tamás Kozsik; Judit Köszegi; Adam D. Barwell; Christopher Brown 002; Kevin Hammond (Erlang Workshop, 2014)

Refactorings to Enable Parallelization. - István Bozó; Viktoria Fordós; Dániel Horpácsi; Zoltán Horváth; Tamás Kozsik; Judit Köszegi; Melinda Tóth (Trends in Functional Programming, 2014)

High speed packet forwarding compiled from protocol independent data plane specifications. - Sándor Laki; Dániel Horpácsi; Peter Vörös; Róbert Kitlei; Dániel Leskó; Máté Tejfel (SIGCOMM, 2016)

Towards Trustworthy Refactoring in Erlang. - Dániel Horpácsi; Judit Köszegi; Simon J. Thompson (VPT@ETAPS, 2016)

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study. - Dániel Horpácsi; Judit Köszegi; Zoltán Horváth (VPT@ETAPS, 2017)

T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors. - Péter Vörös; Dániel Horpácsi; Róbert Kitlei; Dániel Leskó; Máté Tejfel; Sándor Laki (HPSR, 2018)

Asynchronous Extern Functions in Programmable Software Data Planes. - Dániel Horpácsi; Sándor Laki; Péter Vörös; Máté Tejfel; Gergely Pongrácz; László Molnár (ANCS, 2019)

Verification and Application of Program Transformations - Dániel Horpácsi (2019)

Machine-checked natural semantics for Core Erlang: exceptions and side effects. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Erlang Workshop, 2020)

The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes. - Sándor Laki; Dániel Horpácsi; Péter Vörös; Máté Tejfel; Péter Hudoba; Gergely Pongrácz; László Molnár (ICIN, 2020)

Validating Formal Semantics by Property-Based Cross-Testing. - Péter Bereczky; Dániel Horpácsi; Judit Köszegi; Soma Szeier; Simon J. Thompson (IFL, 2020)

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (TFP, 2020)

A Proof Assistant Based Formalisation of Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (CoRR, 2020)

A Comparison of Big-step Semantics Definition Styles. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (CoRR, 2020)

Towards a Generic Framework for Trustworthy Program Refactoring. - Dániel Horpácsi; Judit Köszegi; Dávid János Németh (Acta Cybern., 2021)

Adaptation of a Refactoring DSL for the Object-Oriented Paradigm. - Dávid János Németh; Dániel Horpácsi; Máté Tejfel (Acta Cybern., 2021)

Mechanizing Matching Logic in Coq. - Péter Bereczky; Xiaohong Chen 002; Dániel Horpácsi; Tamás Bálint Mizsei; Lucas Peña; Jan Tusil (FROM, 2022)

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. - Dániel Horpácsi; Péter Bereczky; Simon J. Thompson (CoRR, 2022)

Refactoring = Substitution + Rewriting. - Simon J. Thompson; Dániel Horpácsi (CoRR, 2022)

Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. - Simon J. Thompson; Dániel Horpácsi (Eelco Visser Commemorative Symposium, 2023)

Interactive Matching Logic Proofs in Coq. - Jan Tusil; Péter Bereczky; Dániel Horpácsi (ICTAC, 2023)

A frame stack semantics for sequential Core Erlang. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (IFL, 2023)

Program equivalence in an untyped, call-by-value functional language with uncurried functions. - Dániel Horpácsi; Péter Bereczky; Simon J. Thompson (J. Log. Algebraic Methods Program., 2023)

Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. - Bendegúz Seres; Dániel Horpácsi; Simon J. Thompson (Erlang, 2024)

A Formalisation of Core Erlang, a Concurrent Actor Language. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Acta Cybern., 2024)

Program Equivalence in the Erlang Actor Model. - Péter Bereczky; Dániel Horpácsi; Simon J. Thompson (Comput., 2024)

Unification in Matching Logic - Revisited. - Ádám Kurucz; Péter Bereczky; Dániel Horpácsi (FROM, 2024)