Items where Author is "Marussy, Kristóf"

Marussy, Kristóf and Molnár, Vince and Vörös, András and Majzik, István (2017) Getting the Priorities Right: Saturation for Prioritised Petri Nets. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (10258). Springer International Publishing, Cham (Svájc), pp. 223-242. ISBN 978-3-319-57860-6

Vörös, András and Darvas, Dániel and Hajdu, Ákos and Klenik, Attila and Marussy, Kristóf and Molnár, Vince and Majzik, István (2017) Industrial Applications of the PetriDotNet Modelling and Analysis Tool. SCIENCE OF COMPUTER PROGRAMMING. pp. 1-30. ISSN 0167-6423

Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Telek, Miklós and Majzik, István (2016) Configurable numerical analysis for stochastic systems. In: 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016.04.11-2016.04.11, Bécs.

Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Majzik, István and Telek, Miklós (2016) Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 281-300. ISBN 978-3-319-39086-4

Buza, Krisztián Antal and Koller, Júlia and Marussy, Kristóf (2015) PROCESS: Projection-Based Classification of Electroencephalograph Signals. In: Artificial Intelligence and Soft Computing. Lecture Notes in Artificial Intelligence (9120). Springer International Publishing, Berlin, pp. 91-100.

Marussy, Kristóf and Peska, Ladislav and Buza, Krisztián Antal (2015) Recommendations of Unique Items Based on Bipartite Graphs. In: Proceedings of the 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, 2015.06.02-2015.06.05, Fukuoka.