Lovro Rozic

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 2

Top Topics

Knowledge Representation

Path Consistency

Top Venues

Proc. ACM Program. Lang.

Publications

Kristijan Rupic, Lovro Rozic, Ante Derek
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. FMBC@CAV (2020)
Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav, Viktor Vafeiadis
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. Proc. ACM Program. Lang. 3 (POPL) (2019)
Tomislav Erdelic, Silvija Vrbancic, Lovro Rozic
A model of speed profiles for urban road networks using G-means clustering. MIPRO (2015)