Follow
Lovro Rožić
Lovro Rožić
Max Planck Institute for Software Systems, Kaiserslautern
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
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
412019
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
222015
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
The system can't perform the operation now. Try again later.
Articles 1–5