Zarko Milosevic
Orcid: 0000-0001-8609-5263Affiliations:
- Informal Systems, Lausanne, Switzerland
- Singidunum University, Belgrade, Serbia (2017 - 2019)
- EPFL, Lausanne, Switzerland (PhD 2013)
According to our database1,
Zarko Milosevic
authored at least 22 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
1
1
2
2
2
2
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 28th International Conference on Principles of Distributed Systems, 2024
2022
IACR Cryptol. ePrint Arch., 2022
Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021
Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
2018
2014
2013
PhD thesis, 2013
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
2012
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
2011
ACM SIGOPS Oper. Syst. Rev., 2011
Proceedings of the Distributed Computing - 25th International Symposium, 2011
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011
2010
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
2009
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009