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
232016
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
202019
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
202010
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
182007
Minimal partial hyperclones on a two-element set
J Pantovic, G Vojvodic
Proceedings. 34th International Symposium on Multiple-Valued Logic, 115-119, 2004
182004
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
172008
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
142008
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
132015
On the partial hyperclone lattice
J Pantovic, G Vojvodic
35th International Symposium on Multiple-Valued Logic (ISMVL'05), 96-100, 2005
132005
Precise subtyping for asynchronous multiparty sessions
S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
122021
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
112017
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović
International Symposium on Trustworthy Global Computing, 263-280, 2006
112006
One interval in the lattice of partial hyperclones
R Doroslovacki, J Pantovic, G Vojvodic
Czechoslovak Mathematical Journal 55 (3), 719-724, 2005
112005
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
102016
Monomial clones: local results and global properties
H Machida, J Pantovic
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL), 78-83, 2016
82016
Measuring linearity of curves in 2D and 3D
PL Rosin, J Pantović, J Žunić
Pattern Recognition 49, 65-78, 2016
82016
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
72016
Three classes of closed sets of monomials
H Machida, J Pantović
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 100-105, 2017
62017
On compensation primitives as adaptable processes
J Dedeić, J Pantović, JA Pérez
arXiv preprint arXiv:1508.06709, 2015
62015
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1408.5977, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20