Attila Jámbor

According to our database, Attila Jámbor authored at least 2 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2011

Parallel Saturation Based Model Checking.

András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011