Petr Zacek

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 7

Top Topics

Fault Tolerance

Top Venues

Int. J. Manuf. Technol. Manag.

Publications

Lukas Kralik, Roman Jasek, Petr Zacek, Roman Senkerik
Agile approach in multi-criterial decision making. Int. J. Manuf. Technol. Manag. 33 (3/4) (2019)
Petr Zacek, David Malaník, Petra Holbikova, Roman Jasek, Lukas Kralik
Using the SHA-3 to Derive Encryption Keys Based on Key-File. EECS (2018)
Ammar Alhaj Ali, Roman Jasek, Said Krayem, Bronislav Chramcov, Petr Zacek
Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. CSOC (3) (2018)
Mohamad Kadi, Said Krayem, Roman Jasek, Petr Zacek, Bronislav Chramcov
Multi-agent Systems Interacting (Addressing Scopes, Control Resources). CSOC (3) (2018)
Roman Jasek, Said Krayem, Petr Zacek
Big Data Process Advancement. CSOC (2) (2017)
Ammar Alhaj Ali, Roman Jasek, Said Krayem, Petr Zacek
Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B. CSOC (2) (2017)
Petr Zacek, Roman Jasek, David Malaník
Using the Deterministic Chaos in Variable Mode of Operation of Block Ciphers. CSOC (1) (2015)