Marko Popovic

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Arc Consistency Algorithm

Formal Verification

Protein Structure Prediction

Learning Algorithm

Top Venues

Comput. Sci. Inf. Syst.

Comput. Biol. Chem.

Publications

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
MicroPython Testbed for Federated Learning Algorithms. CoRR (2024)
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
A Federated Learning Algorithms Development Paradigm. ECBS (2023)
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT. CoRR (2023)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR (2023)
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan
A Simple Python Testbed for Federated Learning Algorithms. CoRR (2023)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. 20 (1) (2023)
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
A Federated Learning Algorithms Development Paradigm. CoRR (2023)
Marko Popovic
Atom counting method for determining elemental composition of viruses and its applications in biothermodynamics and environmental science. Comput. Biol. Chem. 96 (2022)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS (2021)
Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. ECBS (2019)
Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan
A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. ECBS (2019)
Marko Popovic, Hrvoje Stefancic, Borut Sluban, Petra Kralj Novak, Miha Grcar, Igor Mozetic, Michelangelo Puliga, Vinko Zlatic
Extraction of Temporal Networks from Term Co-occurrences in Online Textual Sources. CoRR (2014)