| () Monographic study/chapter in M12 or research in the thematic collection of the international importance | Computational interpretations of logics ( S. Likavec) Collected papers, Mathematical Institute SANU 12(20) :159-215, (2009), (special issue Logic in Computer Science, ed Z. Ognjanovic, invited paper). |
| () Research published in the top international journal | "Full intersection types and topologies in lambda calculus", Journal of Computer and System Sciences, 62 (2001) 1-14. |
| () Research published in the top international journal | "Combining behavioural types with security analysis" (sa M. Bartoletti, I. Castellani, P.-M. Denielou, M. Dezani-Ciancaglini, J. Pantovic, J. A. Perez, P. Thiemann, B. Toninho, H. Torres Vieira) Journal of Logical and Algebraic Methods in Programming 84: 763–780 (2015). |
| () Research published in the top international journal | "Separating Points by Parallel Hyperplanes " (sa J. Pantovic, J. Zunic), IEEE Transactions of Neural Networks 18(5) (2007) 1356-1363 |
| () Research published in the prominent international journal | "Encoding of Multi Level S-Threshold Functions" (sa J. Pantovic, J. Zunic) Journal of Multiple-Valued Logic and Soft Computing 26(1-2): 89-108 (2016). |
| () Research published in the prominent international journal | "Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, (sa D.Dougherty, P.Lescanne) Theoretical Computer Science 398: 114-128 (2008). |
| () Research published in the international journal | "An approach to call-by-name delimited continuatios" (sa H. Herbelin) Symposium on Principles of Programming Languages, POPL 2008, ACM SIGPLAN Notices 43 (1): 383-394 (2008) |
| () Research published in the international journal | "Dynamic Role Authorisation in Multiparty Conversations" (sa S. Jakšić, J. Pantović, J. A. Pérez and H. Torres Vieira) Formal Aspects of Computing 28 (4): 643–667 (2016). |
| () Research published in the international journal | "Binary relations and algebras on multisets" (sa J. Pantovic, G. Vojvodic) Publications de l'Institut Mathematique (N.S.) 95 (109): 111-117 (2014). |
| () Research published in the international journal | "Intersection types and related systems" (sa L. Paolini) Fundamenta Informaticae 121(1-4) (2012). |
| () Research published in the international journal | "Characterising strongly normalising intuitionistic sequent terms" (sa J. Espirito-Santo, J. Ivetici) Lecture Notes in Computer Science (2007). |
| () Research published in the international journal | "Linked Data Privacy", Mathematical Structures in Computer Science, 27(1): 33-53 (2017). |
| () Invited lectures from the international meeting printed in its entirety | Types for role based access control of dynamic web data (sa M. Dezani-Ciancaglini, S. Jaksic, J. Pantovic) WFLP'10, Lecture Notes in Computer Science 6559: 1-29 (2011). |
| () Report from the international meeting printed in its entirety | Intersection Types for the Resource Control Lambda Calculi (sa J. Ivetic, P. Lescanne, S. Likavec) ICTAC 2011, Lecture Notes in Computer Science 6916: 116-134 (2011). |
| () Research published in the prominent international journal | "Inhabitation in lambda calculus with intersection and union types", Journal of Logic and Computation 6 (1993) 671-685, Oxford University Press |
| () Research published in the prominent international journal | "Lambda terms for natural deduction, sequent calculus and cut elimination" (sa H.P.Barendregt), Journal of Functional Programming, 10 (2000) 121-134. |
| () Research published in the international journal | "Classical proofs, typed processes and intersection types" (sa P. Lescanne), Lecture Notes in Computer Science 3085 (2004) 226-241. |
| () Additional textbook for the course | Zbirka rešenih zadataka iz statistike (sa Z.Lužanin, Z.Ovcin, Lj.Nedović, T.Grbić, B.Mihailović) 2005 |
| () Research published in the prominent international journal | "Behavioural inverse limit lambda models" (sa M. Dezani-Ciancaglini, S. Likavec), Theoretical Computer Science Vol 316/1-3 (2004) 49-74. |
| () Research published in the prominent international journal | "Security types for dynamic web data" (sa M.Dezani-Ciancaglini, J. Pantovic, D. Varaca), Theoretical Computer Science (2008). |
| () Research published in the international journal | "Two behavioural lambda models" (sa M. Dezani-Ciancaglini) Lecture Notes in Computer Science 2646 (2003) 127-147. |
| () Research published in the international journal | "Security types for dynamic web data" (sa M.Dezani-Ciancaglini, J. Pantovic), Trustworthy Global Computing, TGC"06, Lecture Notes in Computer Science 4661 (2007) 263-280. |
| () Research published in the international journal | "Strong normalization of the classical sequent calculus" (sa D. Dougherty, P. Lescanne, S.Likavec), Lecture Notes in Computer Science 3835 (2005) 169-183. |
| () Research published in the international journal | "Applications of typed lambda calculi in the untyped lambda calculus" Lecture Notes in Computer Science 813 (1994) 129-139. |
| () Research published in the international journal | "Confluence of untyped lambda calculus via simple types" (with V.Kuncak), ICTCS"01, Lecture Notes in Computer Science 2201, 38-49. |
| () Invited lectures from the international meeting printed in its entirety | "A lambda model characterizing computational behaviours of terms" (sa M. Dezani-Ciancaglini) invited talk at Rewriting in Proofs and Computation, (RPC"01) (Y. Toyama ed.) Sendai, Japan, (2001) 100-118 |
