Research output per year
Research output per year
Fingerprint
Dive into the research topics where Marko Doko is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Program Logic for Weak Memory Concurrency
Doko, M., 8 Dec 2021Research output: Thesis › Doctoral Thesis
Open Access -
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models
Raad, A., Doko, M., Rožić, L., Lahav, O. & Vafeiadis, V., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 68.Research output: Contribution to journal › Conference article › peer-review
Open Access16 Citations (Scopus) -
Rearranging absolutely convergent well-ordered series in Banach spaces
Čačić, V., Doko, M. & Horvat, M., 2019, In: Rad Hrvatske akademije znanosti i umjetnosti: Matematičke znanosti. 23, p. 1-11 11 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A Separation Logic for a Promising Semantics
Svendsen, K., Pichon-Pharabod, J., Doko, M., Lahav, O. & Vafeiadis, V., 2018, Programming Languages and Systems. ESOP 2018. Ahmed, A. (ed.). Springer, p. 357-384 28 p. (Lecture Notes in Computer Science; vol. 10801).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
21 Citations (Scopus) -
Tackling Real-Life Relaxed Concurrency with FSL++
Doko, M. & Vafeiadis, V., 19 Mar 2017, Programming Languages and Systems. ESOP 2017. Yang, H. (ed.). Springer, p. 448-475 28 p. (Lecture Notes in Computer Science; vol. 10201).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
28 Citations (Scopus)