Lovro Rozic

According to our database, Lovro Rozic authored at least 3 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures.

Kristijan Rupic, Lovro Rozic, Ante Derek

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.

Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

2015

A model of speed profiles for urban road networks using G-means clustering.

Tomislav Erdelic, Silvija Vrbancic, Lovro Rozic

Proceedings of the 38th International Convention on Information and Communication Technology, 2015