Towards Fast Prototyping of IVAs Behavior: Pogamut 2. - Ondrej Burkert; Rudolf Kadlec; Jakub Gemrot; Michal Bída; Jan Havlícek; Martin Dörfler; Cyril Brom (IVA, 2007)

Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents. - Jakub Gemrot; Rudolf Kadlec; Michal Bída; Ondrej Burkert; Radek Píbil; Jan Havlícek; Lukás Zemcák; Juraj Simlovic; Radim Vansa; Michal Stolba; Tomás Plch; Cyril Brom (AGS, 2009)

Extensions and Applications of Pogamut 3 Platform. - Rudolf Kadlec; Jakub Gemrot; Michal Bída; Ondrej Burkert; Jan Havlícek; Lukás Zemcák; Radek Píbil; Radim Vansa; Cyril Brom (IVA, 2009)

Distributed LTL Model Checking with Hash Compaction. - Jiri Barnat; Jan Havlícek; Petr Rockai (PASM/PDMC, 2012)

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. - Jiri Barnat; Lubos Brim; Vojtech Havel; Jan Havlícek; Jan Kriho; Milan Lenco; Petr Rockai; Vladimír Still; Jirí Weiser (CAV, 2013)