Using the Deterministic Chaos in Variable Mode of Operation of Block Ciphers. - Petr Zacek; Roman Jasek; David Malaník (CSOC (1), 2015)

Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B. - Ammar Alhaj Ali; Roman Jasek; Said Krayem; Petr Zacek (CSOC (2), 2017)

Big Data Process Advancement. - Roman Jasek; Said Krayem; Petr Zacek (CSOC (2), 2017)

Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. - Ammar Alhaj Ali; Roman Jasek; Said Krayem; Bronislav Chramcov; Petr Zacek (CSOC (3), 2018)

Multi-agent Systems Interacting (Addressing Scopes, Control Resources). - Mohamad Kadi; Said Krayem; Roman Jasek; Petr Zacek; Bronislav Chramcov (CSOC (3), 2018)

Using the SHA-3 to Derive Encryption Keys Based on Key-File. - Petr Zacek; David Malaník; Petra Holbikova; Roman Jasek; Lukas Kralik (EECS, 2018)

Agile approach in multi-criterial decision making. - Lukas Kralik; Roman Jasek; Petr Zacek; Roman Senkerik (Int. J. Manuf. Technol. Manag., 2019)