According to our database1, Jure Kukovec authored at least 4 papers between 2018 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Sci. Comput. Program., 2020
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the 29th International Conference on Concurrency Theory, 2018