() Research published in the prominent international journal
Jakšić S., Padovani L.: Exception Handling for Copyless Messaging, Science of Computer Programming, 2014, Vol. 84, pp. 22-51, ISSN 0167-6423
() Research published in the international journal
Jakšić S., Pantović J., Gilezan S.: Linked data privacy, Mathematical Structures in Computer Science, 2017, Vol. 27, pp. 33-53, ISSN 0960-1295
() Research published in the international journal
Gilezan S., Jakšić S., Pantović J., Perez A. J., Torres Vieira H.: Dynamic Role Authorisation in Multiparty Conversations (25 pages, DOI:10.1007/s00165-016-0363-5), Formal Aspects of Computing, 2016, ISSN 0934-5043
() Invited lectures from the international meeting printed in its entirety
Dezani Ciancaglini M., Gilezan S., Jakšić S., Pantović J.: Types for role based access control of dynamic web data (http://dblp.uni-trier.de/db/conf/wflp/wflp2010.html), Lecture notes in computer science, 2011, No 6559, pp. 1-29, ISSN 0302-9743, 19. Workshop on Functional and (Constraint) Logic Programming, Madrid: Springer, 17 Januar, 2010, pp. 1-29
() Report from the international meeting printed in its entirety
Gilezan S., Jakšić S., Pantović J., Pérez J., Torres Vieira H.: A Typed Model for Dynamic Authorizations, 8. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, London: EPTCS, 18 April, 2015, pp. 73-84
() Report from the international meeting printed in its entirety
Dezani-Ciancaglini M., Gilezan S., Jakšić S., Pantović J., Yoshida N.: Precise subtyping for synchronous multiparty sessions, Electronic Proceedings in Theoretical Computer Science, 2015, Vol. 203, pp. 29-43, 8. Programming Language Approaches to Concurrency and Communication-cEntric Software Systems, London: Open Publishing Association, 18 April, 2015, pp. 29-43
() Report from the international meeting printed in its entirety
Gilezan S., Pantović J., Jakšić S., A. Pérez J., T. Vieira H.: Dynamic Role Authorization in Multiparty Conversations, 3. International Workshop on Behavioural Types, Rim: Open Publishing Association, 1 Septembar, 2014, pp. 1-8
() Report from the international meeting printed in its entirety
Jakšić S., Padovani L.: Exception Handling for Copyless Messaging, 14. Principles and Practice of Declarative Programming, Leuven, 19-21 Septembar, 2012
() Report from the international meeting printed in its entirety
Di Gianantonio P., Jakšić S., Lenisa M.: Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus, Lecture notes in computer science, 2010, Vol. 6269, pp. 358-372, ISSN 0302-9743, 21. CONCUR, Pariz, 31-3 Avgust, 2010, pp. 358-372
() Report from the international meeting printed in its entirety
Jakšic S., Leucker M., Li D., Stolz V.: COEMS - open traces from the industry. In Proceedings of RV-CuBES 2017, volume 3 of Kalpa Publications in Computing, pages 96–105. EasyChair, 2017.
() Report from the meeting of the national importance printed in its entirety
Jakšić S., Li D., Pun K. I., Stolz V.: Stream-based dynamic data
race detection. In Proceedings of NIK2018, 2018.
() Defended Doctoral dissertation
Jakšić S.: Types for Access and Memory Control, Novi Sad, 2016, str. 1-186
