Jovanka Pantovic
Title
Cited by
Cited by
Year
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
222016
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
International Workshop on Functional and Constraint Logic Programming, 1-29, 2010
192010
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
162008
Minimal partial hyperclones on a two-element set
J Pantovic, G Vojvodic
Proceedings. 34th International Symposium on Multiple-Valued Logic, 115-119, 2004
162004
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
142007
Precise subtyping for synchronous multiparty sessions
S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019
112019
Denotational and operational preciseness of subtyping: A roadmap
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
Theory and Practice of Formal Methods, 155-172, 2016
112016
On the partial hyperclone lattice
J Pantovic, G Vojvodic
35th International Symposium on Multiple-Valued Logic (ISMVL'05), 96-100, 2005
112005
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
102017
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
102015
On Maximal Hyperclones on {0, 1} a new approach
H Machida, J Pantovic
38th International Symposium on Multiple Valued Logic (ismvl 2008), 32-37, 2008
102008
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović
International Symposium on Trustworthy Global Computing, 263-280, 2006
102006
Monomial clones: local results and global properties
H Machida, J Pantovic
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL), 78-83, 2016
72016
One interval in the lattice of partial hyperclones
R Doroslovacki, J Pantovic, G Vojvodic
Czechoslovak Mathematical Journal 55 (3), 719-724, 2005
72005
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
Formal Aspects of Computing 28 (4), 643-667, 2016
62016
Galois connection for hyperclones
H Machida, J Pantovic, IG Rosenberg
2010 40th IEEE International Symposium on Multiple-Valued Logic, 201-204, 2010
62010
A typed model for dynamic authorizations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1602.03596, 2016
52016
Measuring linearity of curves in 2D and 3D
PL Rosin, J Pantović, J Žunić
Pattern Recognition 49, 65-78, 2016
52016
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1408.5977, 2014
52014
Three Classes of Maximal Hyperclones.
H Machida, J Pantović
Journal of Multiple-Valued Logic & Soft Computing 18 (2), 2012
52012
The system can't perform the operation now. Try again later.
Articles 1–20