Publikációk

Szerzők
Lukács, Gábor
Megjelenés
2022

Urban Rail Transit, 8, pp. 217-245. ISSN 2199-6679

Szerzők
Molnár, Vince
Vörös, András
Darvas, Dániel
Majzik, István
Megjelenés
2016

FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043

Szerzők
Darvas, Dániel
Vörös, András
Megjelenés
2016

ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X

Szerzők
Vörös, András
Darvas, Dániel
Molnár, Vince
Klenik, Attila
Hajdu, Ákos
Majzik, István
Szerkesztők
Kordon, Fabrice
Moldt, Daniel
Megjelenés
2016

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.

Szerzők
Hajdu, Ákos
Vörös, András
Szerkesztők
Devillers, Raymond
Valmari, Antti
Megjelenés
2015

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743

Szerzők
Molnár, Vince
Darvas, Dániel
Vörös, András
Megjelenés
2015

In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.

Szerzők
Hajdu, Ákos
Vörös, András
Mártonka, Zoltán
Megjelenés
2014

ACTA CYBERNETICA-SZEGED, 21 (3)., pp. 401-417. ISSN 0324-721X

Szerzők
Vörös, András
Darvas, Dániel
Megjelenés
2013-03

Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.

Szerzők
Darvas, Dániel
Vörös, András
Szerkesztők
Kiss, Ákos
Kiss, Ákos
Megjelenés
2013

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.

Szerzők
Hajdu, Ákos
Vörös, András
Mártonka, Zoltán
Szerkesztők
Kiss, Ákos
Kiss, Ákos
Megjelenés
2013

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.