Marko Popovic

Orcid: 0000-0002-1957-0092

According to our database1, Marko Popovic authored at least 14 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites.
CoRR, 2024

MicroPython Testbed for Federated Learning Algorithms.
CoRR, 2024

PTB-FLA development paradigm adaptation for ChatGPT.
Comput. Sci. Inf. Syst., 2024

2023
Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT.
CoRR, 2023

A Simple Python Testbed for Federated Learning Algorithms.
CoRR, 2023

Complete formal verification of the PSTM transaction Scheduler.
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

A Federated Learning Algorithms Development Paradigm.
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
PSTM Transaction Scheduler Verification Based on CSP and Testing.
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
Action Potential Initiation.
Proceedings of the Encyclopedia of Computational Neuroscience, 2014

Extraction of Temporal Networks from Term Co-occurrences in Online Textual Sources.
CoRR, 2014


  Loading...