Ghilezan Silvia,Pantovic Jovanka B,Prokic Ivan,Scalas Alceste,Yoshida Nobuko (2023) Precise Subtyping for Asynchronous Multiparty Sessions, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 24, br. 2, str. - (Article) Ghilezan Silvia,Pantovic Jovanka B,Prokic Ivan,Scalas Alceste,Yoshida Nobuko (2021) Precise Subtyping for Asynchronous Multiparty Sessions, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, vol. 5, br. , str. - (Article) Dedeic Jovana,Pantovic Jovanka B,Perez Jorge A (2021) On primitives for compensation handling as adaptable processes, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 121, br. , str. - (Article) Prokic Ivan,Pantovic Jovanka B (2019) Characterization of Generalized S-Threshold Functions by Nomura Parameters, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 33, br. 3, str. 271-290 (Article) Machida Hajime,Pantovic Jovanka B (2019) Closed Sets of Monomials in Two Variables Generated by Singletons, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 33, br. 3, str. 219-238 (Article) Prokic Ivan,Pantovic Jovanka B,Vieira Hugo Torres (2019) A calculus for modeling floating authorizations, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 107, br. , str. 136-174 (Article) Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Scalas Alceste,Yoshida Nobuko (2019) Precise subtyping for synchronous multiparty sessions, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 104, br. , str. 127-173 (Article) Machida Hajime,Pantovic Jovanka B (2018) Monomial Clones Over Small Finite Fields, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 31, br. 3, str. 271-286 (Article) Jaksic Svetlana,Pantovic Jovanka B,Ghilezan Silvia (2017) Linked data privacy, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 27, br. 1, str. 33-53 (Article) Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Perez Jorge A,Vieira Hugo Torres (2016) Dynamic role authorization in multiparty conversations, FORMAL ASPECTS OF COMPUTING, vol. 28, br. 4, str. 643-667 (Article) Pantovic Jovanka B,Ghilezan Silvia,Zunic Jovisa (2016) Encoding of Multilevel S-Threshold Functions, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 26, br. 1-2, str. 89-108 (Article) Rosin Paul L,Pantovic Jovanka B,Zunic Jovisa (2016) Measuring linearity of curves in 2D and 3D, PATTERN RECOGNITION, vol. 49, br. , str. 65-78 (Article) Bartoletti Massimo,Castellani Ilaria,Denielou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka B,Perez Jorge A,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres (2015) Combining behavioural types with security analysis, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 84, br. 6, str. 763-780 (Article) Rosin Paul L,Pantovic Jovanka B,Zunic Jovisa (2015) Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves, JOURNAL OF MATHEMATICAL IMAGING AND VISION, vol. 53, br. 1, str. 1-11 (Article) Colic Jelena,Machida Hajime,Pantovic Jovanka B (2015) Upward Saturated Hyperclones, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 24, br. 1-4, str. 189-201 (Article) Ghilezan Silvia,Pantovic Jovanka B,Vojvodic Gradimir D (2014) Binary Relations and Algebras on Multisets, PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, vol. 95, br. 109, str. 111-117 (Article) Colic Jelena,Machida Hajime,Pantovic Jovanka B (2014) One-point Extension of the Algebra of Incompletely Specified Operations, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 22, br. 1-2, str. 79-94 (Article) Machida Hajime,Pantovic Jovanka B,Rosenberg Ivo G (2012) Regular Sets of Operations, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 19, br. 1-3, str. 149-162 (Article) Machida Hajime,Pantovic Jovanka B (2012) Three Classes of Maximal Hyperclones, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 18, br. 2, str. 201-210 (Article) Machida Hajime,Pantovic Jovanka B (2009) Maximal Hyperclones on E-2 as Hypercores, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, vol. 15, br. 4, str. 315-328 (Article) Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Pantovic Jovanka B,Varacca Daniele (2008) Security types for dynamic web data, THEORETICAL COMPUTER SCIENCE, vol. 402, br. 2-3, str. 156-171 (Article) Gilezan Silvia,Pantovic Jovanka B,Zunic Jovisa (2007) Separating points by parallel hyperplanes - Characterization problem, IEEE TRANSACTIONS ON NEURAL NETWORKS, vol. 18, br. 5, str. 1356-1363 (Article) Pantovic Jovanka B,Rodic Biljana,Vojvodic Gradimir D (2006) Unary minimal partial hyperclones, JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTIN, vol. 12, br. 5-6, str. 451-457 (Article) Doroslovacki Rade D,Pantovic Jovanka B,Vojvodic Gradimir D (2005) One interval in the lattice of partial hyperclones, CZECHOSLOVAK MATHEMATICAL JOURNAL, vol. 55, br. 3, str. 719-724 (Article) Pantovic Jovanka B,Tosic Ratko D,Vojvodic Gradimir D (2001) Relative completeness with respect to two unary functions, DISCRETE APPLIED MATHEMATICS, vol. 113, br. 2-3, str. 337-342 (Article) Pantovic Jovanka B,Vojvodic D (2000) On the cardinality of nonfinitely based functionally complete algebras, ALGEBRA UNIVERSALIS, vol. 43, br. 4, str. 369-374 (Article)