Истраживачи
Popović, Miroslav
Година - распон
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2023 | Flexible Scheduling of Transactional Memory on Trees | Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav   ; Poudel, Pavan; Sharma, Gokarna | Научни чланак | 23M23 - Рад у међ. часопису |
| 2023 | A Learning Model for Lifelong Education of Computer Engineers | Kaštelan, Ivan ; Popović, Miroslav ; Bjelica, Milan | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Guest Editorial - Engineering of Computer Based Systems | Djukić, Miodrag ; Popović, Miroslav | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |