Login / Signup
Miroslav Popovic
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 41
Top Topics
Formal Verification
Protein Structure Prediction
Transactional Memory
Learning Algorithm
Top Venues
CoRR
ECBS
ECBS-EERC
Secur. Commun. Networks
</>
Publications
</>