Structuring Erlang BEAM control flow. - Dániel Lukács; Melinda Tóth (Erlang Workshop, 2017)

Keeping P4 Switches Fast and Fault-free through Automatic Verification. - Dániel Lukács; Máté Tejfel; Gergely Pongrácz (Acta Cybern., 2019)

Are Graph Databases Fast Enough for Static P4 Code Analysis? - Dániel Lukács; Gergely Pongrácz; Máté Tejfel (ICAI, 2020)

Control flow based cost analysis for P4. - Dániel Lukács; Gergely Pongrácz; Máté Tejfel (Open Comput. Sci., 2021)

Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin. - Dániel Lukács; Máté Tejfel (Acta Cybern., 2024)

P4 Specific Refactoring Steps. - Máté Tejfel; Dániel Lukács; Péter Hegyi (Acta Cybern., 2025)