Publikace
-
Stanislav Böhm, Stefan Göller, Petr Jancar: Bisimilarity of One-Counter Processes Is PSPACE-Complete. CONCUR 2010: 177-191
-
Stanislav Böhm, Stefan Göller: Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete. MFCS 2011: 194-205
-
Stanislav Böhm, Marek Běhálek: Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications. UKSim 2011: 403-408
-
Marek Behalek, Stanislav Bohm, Pavel Kromer, Martin Surkovsky, Ondrej Meca: Parallelization of Ant Colony Optimization Algorithm Using Kaira. ISDA 2011
-
Stanislav Böhm, Marek Běhálek, Ondřej Garncarz: Developing parallel applications using Kaira. ICDIPC 2011.