A model of speed profiles for urban road networks using G-means clustering. - Tomislav Erdelic; Silvija Vrbancic; Lovro Rozic (MIPRO, 2015)

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. - Azalea Raad; Marko Doko; Lovro Rozic; Ori Lahav 001; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. - Kristijan Rupic; Lovro Rozic; Ante Derek (FMBC@CAV, 2020)