Follow
Jovanka Pantovic
Title
Cited by
Cited by
Year
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
472019
Precise subtyping for asynchronous multiparty sessions
S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida
ACM Transactions on Computational Logic 24 (2), 1-73, 2023
432023
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
362016
Minimal partial hyperclones on a two-element set
J Pantovic, G Vojvodic
Proceedings. 34th International Symposium on Multiple-Valued Logic, 115-119, 2004
212004
One interval in the lattice of partial hyperclones
R Doroslovacki, J Pantovic, G Vojvodic
Czechoslovak Mathematical Journal 55, 719-724, 2005
192005
Separating points by parallel hyperplanes—Characterization problem
S Ghilezan, J Pantovic, J Zunic
IEEE transactions on neural networks 18 (5), 1356-1363, 2007
182007
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
Functional and Constraint Logic Programming: 19th International Workshop …, 2011
172011
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
162015
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
152008
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
132008
On the partial hyperclone lattice
J Pantovic, G Vojvodic
35th International Symposium on Multiple-Valued Logic (ISMVL'05), 96-100, 2005
132005
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
112017
Denotational and Operational Preciseness of Subtyping: A Roadmap: Dedicated to Frank de Boer on the Occasion of His 60th Birthday
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
102016
Measuring linearity of curves in 2D and 3D
PL Rosin, J Pantović, J Žunić
Pattern Recognition 49, 65-78, 2016
92016
On compensation primitives as adaptable processes
J Dedeić, J Pantović, JA Pérez
arXiv preprint arXiv:1508.06709, 2015
92015
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007
92007
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
Three Classes of Maximal Hyperclones.
H Machida, J Pantović
Journal of Multiple-Valued Logic & Soft Computing 18 (2), 2012
82012
Session type isomorphisms
M Dezani-Ciancaglini, L Padovani, J Pantovic
arXiv preprint arXiv:1406.3486, 2014
72014
Regular Sets of Operations.
H Machida, J Pantović, IG Rosenberg
Journal of Multiple-Valued Logic & Soft Computing 19, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20