Proving Invariants of Functional Programs. - Zoltán Horváth; Tamás Kozsik; Máté Tejfel (SPLST, 2003)

Temporal Properties of Clean Programs Proven in Sparkle-T. - Máté Tejfel; Zoltán Horváth; Tamás Kozsik (CEFP, 2005)

Extending the Sparkle Core language with object abstraction. - Máté Tejfel; Zoltán Horváth; Tamás Kozsik (Acta Cybern., 2006)

Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. - Melinda Tóth; István Bozó; Zoltán Horváth; László Lövei; Máté Tejfel; Tamás Kozsik (CEFP, 2009)

Funkcionális programozási nyelvek helyességvizsgálata - Máté Tejfel (2009)

Analysis of preprocessor constructs in Erlang. - Róbert Kitlei; István Bozó; Tamás Kozsik; Máté Tejfel; Melinda Tóth (Erlang Workshop, 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)

Testing framework for embedded languages. - Dániel Leskó; Máté Tejfel (Comput. Sci. Inf. Syst., 2013)

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)

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)

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)

A formal method to detect possible P4 specific errors. - Gabriella Tóth; Máté Tejfel (FedCSIS (Position Papers), 2019)

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)

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)

Component-based Error Detection of P4 programs. - Gabriella Tóth; Máté Tejfel (Acta Cybern., 2021)

Control flow based cost analysis for P4. - Dániel Lukács; Gergely Pongrácz; Máté Tejfel (Open Comput. Sci., 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)

Survey on some optimization possibilities for data plane applications. - Gereltsetseg Altangerel; Máté Tejfel (CoRR, 2022)

Study on emerging applications on data plane and optimization possibilities. - Gereltsetseg Altangerel; Máté Tejfel (CoRR, 2022)

Deploying a web service application on the EdgeX open edge server: An evaluation of its viability for IoT services. - Aalwahab Dhulfiqar; Mohammed A. Abdala; Norbert Pataki; Máté Tejfel (ICMLDE, 2023)

Chatbot-Based Querying of IoT Devices in EdgeX. - Alwahab Dhulfiqar Zoltán; Norbert Pataki; Máté Tejfel (SQAMIA, 2023)

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)

Some optimization possibilities in data plane programming. - Gereltsetseg Altangerel; Máté Tejfel (CoRR, 2025)