Petar Maksimović is a Research Fellow with the group and the Academic Program Manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS).
He also holds the position of Research Assistant Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 827–850
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’20), June 15–20, 2020, London, UK
34th European Conference on Object-Oriented Programming (ECOOP 2020)
PACMPL, vol. 3( POPL)
33rd European Conference on Object-Oriented Programming (ECOOP 2019), pp. 9:1–9:30
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1–11:14
PACMPL, vol. 2(POPL), pp. 50:1–50:33
Proceedings of 26th Conference on Automated Deduction (CADE 26)