Popovic, Miroslav
- Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
2023/06/26 by Prokić, Ivan, Ghilezan, Silvia, Kašterović, Simona +3 · 4 citations
#Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Fast Transaction Scheduling in Blockchain Sharding
2024/05/23 by Ramesh Adhikari, Costas Busch, Adhikari, Ramesh +3 · 3 citations
Computer Science · #Blockchain Technology Applications and Security #Cloud Computing and Resource Management