Parallel Saturation Based Model Checking. - András Vörös 001; Tamás Szabó; Attila Jámbor; Dániel Darvas; Ákos Horváth 001; Tamás Bartha (ISPDC, 2011)

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. - András Vörös 001; Dániel Darvas; Vince Molnár; Attila Klenik; Ákos Hajdu; Attila Jámbor; Tamás Bartha; István Majzik (Petri Nets, 2016)