Marko Popovic

According to our database, Marko Popovic authored at least 10 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Simple Python Testbed for Federated Learning Algorithms.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan

CoRR, 2023

Complete formal verification of the PSTM transaction Scheduler.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Comput. Sci. Inf. Syst., 2023

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.

Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

A Federated Learning Algorithms Development Paradigm.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

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.

Marko Popovic

Comput. Biol. Chem., 2022

2021

PSTM Transaction Scheduler Verification Based on CSP and Testing.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

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.

Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic

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.

Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

2014

Action Potential Initiation.

Dejan Zecevic, Marko Popovic

Proceedings of the Encyclopedia of Computational Neuroscience, 2014

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

Marko Popovic, Hrvoje Stefancic, Borut Sluban, Petra Kralj Novak, Miha Grcar, Igor Mozetic, Michelangelo Puliga, Vinko Zlatic

CoRR, 2014