Marko Popovic
Orcid: 0000-0002-1957-0092
According to our database1,
Marko Popovic
authored at least 14 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites.
CoRR, 2024
2023
CoRR, 2023
Comput. Sci. Inf. Syst., 2023
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023
2022
Atom counting method for determining elemental composition of viruses and its applications in biothermodynamics and environmental science.
Comput. Biol. Chem., 2022
2021
Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021
2019
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.
Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019
A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory.
Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019
2014
Proceedings of the Encyclopedia of Computational Neuroscience, 2014
CoRR, 2014