On library correctness under weak memory consistency: Specifying and verifying concurrent libraries under declarative consistency models A Raad, M Doko, L Rožić, O Lahav, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 41 | 2019 |
A model of speed profiles for urban road networks using G-means clustering T Erdelić, S Vrbančić, L Rošić Information and Communication Technology, Electronics and Microelectronics …, 2015 | 22 | 2015 |
Solving the Time Dependent Vehicle Routing Problem Using Real-world Speed Profiles L Rožić, J Fosin, T Carić CECIIS-2015, 2015 | 6* | 2015 |
Lambda račun kao osnova funkcijskog programiranja L Rožić, J Šnajder, M Vuković Math. e 29 (1), 32-59, 2016 | | 2016 |
Lambda calculus as a base of functional programming L Rožić, J Šnajder, M Vuković Math. e: hrvatski matematički elektronski časopis 29, 1-10, 2016 | | 2016 |