( en | de | ru )

 

Disambiguation of "Tejfel, Máté"

Author of the publication

copydeleteadd this publication to your clipboard
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.

, , , , , and . CEFP, volume 6299 of Lecture Notes in Computer Science, page 372-390. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Máté Tarnai

Mate Borgulya

Reyes Mate

Maté Biro

Mate Ravasz

 

Other publications of authors with the same name

Embedding and Parsing Combined for Efficient Language Design., , and . ICSOFT, page 244-250. SciTePress, (2013)Are Graph Databases Fast Enough for Static P4 Code Analysis?, , and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 213-223. CEUR-WS.org, (2020)Extending the Sparkle Core language with object abstraction., , and . Acta Cybern., 17 (2): 419-445 (2006)Temporal Properties of Clean Programs Proven in Sparkle-T., , and . CEFP, volume 4164 of Lecture Notes in Computer Science, page 168-190. Springer, (2005)Asynchronous Extern Functions in Programmable Software Data Planes., , , , , and . ANCS, page 1-2. IEEE, (2019)The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes., , , , , , and . ICIN, page 23-28. IEEE, (2020)Component-based Error Detection of P4 programs., and . Acta Cybern., 25 (2): 537-554 (2021)Proving Invariants of Functional Programs., , and . SPLST, page 115-126. University of Kuopio, Department of Computer Science, (2003)Language Design and Implementation via the Combination of Embedding and Parsing., , and . ICSOFT (Selected Papers), volume 457 of Communications in Computer and Information Science, page 131-147. Springer, (2013)Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs., , , , , and . CEFP, volume 6299 of Lecture Notes in Computer Science, page 372-390. Springer, (2009)