Jure Kukovec
According to our database1,
Jure Kukovec
authored at least 6 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
CoRR, January, 2025
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2020
Sci. Comput. Program., 2020
2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018