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)

The Distance Function Optimization for the Near Neighbors-Based Classifiers. - Marcel Jirina; Said Krayem (ACM Trans. Knowl. Discov. Data, 2022)