2017

Dedeić, J., Pantović, J., Perez, J.A., Efficient Compensation Handling via Subjective Updates, SAC'17 (CAS track), ACM Press, to appear. SAC'17 (CAS track)

Jakšić, S., Pantović, J., Ghlezan, S., Privacy for Linked Data, Mathematical Structures in Computer Science, 27(1) 2017, 33--53. (M23) DOI:http://dx.doi.org/10.1017/S096012951500002X

2016

Ghilezan, S., Jakšić, S., Pantović, J., Perez, J.A., Vieira, H.T., Dynamic Role Authorisation in Multiparty Conversations, Formal Aspects of Computing, 28(4): 643-667 (2016) (M23)
DOI:http://dx.doi.org/10.1007/s00165-016-0363-5

2015

Bartoletti, M., Castellani, I., Denielou, P-M. Dezani-Ciancaglini, M. Ghilezan, S., Pantovic, J., Perez, J.A., Thiemann, P., Toninho, B., Vieira, H. T. Combining behavioural types with security analysis, Journal of Logical and Algebraic Methods in Programming 84 (2015) 763–780 . (M21a)

Dedeić, J., Pantović, J., Pérez, J.A.On Compensation Primitives as Adaptable Processes, EXPRESS/SOS 2015. (M33)

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira, A Typed Model for Dynamic Authorizations. PLACES 2015. (M33)

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida: Precise subtyping for synchronous multiparty sessions. PLACES 2015. (M33)

2014

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira: Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1--8. (M33)

Dezani-Ciancaglini, M., Padovani,L.,Pantovic, J., Session Type Isomorphisms, PLACES 2014, 61--71. (M33)

2012

Ghilezan, S., Jaksic, S., Pantovic, J.,Dezani-Ciancaglini, M.,Types and roles for web security , Transactions on Advanced Research, Vol. 8, No.2, 2012, 16--21.

2010

Dezani-Ciancaglini, M., Ghilezan, S., Jaksic, S., Pantovic, J., Types for role based access control of dynamic web data ,WFLP 2010: 1-29. (M31)

2008

Dezani-Ciancaglini, M., Ghilezan, S., Pantovic, J., Varacca, D.: Security types for dynamic web data. Theoretical Computer Science, 2008, Vol. 402, No. 2-3,156-171. (M22)

2006

Dezani-Ciancaglini, M., Ghilezan, S., Pantovi´c, J.: Security Types for Dynamic Web Data. TGC 2006: 263-280. (M23)