Marko Popovic

According to our database1, Marko Popovic authored at least 6 papers between 2014 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...