| Precise subtyping for synchronous multiparty sessions M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida arXiv preprint arXiv:1602.03593, 2016 | 27 | 2016 |
| 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 | 24 | 2019 |
| 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 | 19 | 2010 |
| Separating points by parallel hyperplanes—Characterization problem S Ghilezan, J Pantovic, J Zunic IEEE transactions on neural networks 18 (5), 1356-1363, 2007 | 18 | 2007 |
| Minimal partial hyperclones on a two-element set J Pantovic, G Vojvodic Proceedings. 34th International Symposium on Multiple-Valued Logic, 115-119, 2004 | 18 | 2004 |
| 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 | 16 | 2021 |
| Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca Theoretical Computer Science 402 (2-3), 156-171, 2008 | 16 | 2008 |
| One interval in the lattice of partial hyperclones R Doroslovacki, J Pantovic, G Vojvodic Czechoslovak Mathematical Journal 55 (3), 719-724, 2005 | 14 | 2005 |
| On the partial hyperclone lattice J Pantovic, G Vojvodic 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 96-100, 2005 | 14 | 2005 |
| 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 | 13 | 2008 |
| 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 | 12 | 2015 |
| Linked data privacy S Jakšić, J Pantović, S Ghilezan Mathematical Structures in Computer Science 27 (1), 33-53, 2017 | 11 | 2017 |
| 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 | 11 | 2016 |
| 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 | 11 | 2016 |
| Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović International Symposium on Trustworthy Global Computing, 263-280, 2006 | 11 | 2006 |
| On compensation primitives as adaptable processes J Dedeić, J Pantović, JA Pérez arXiv preprint arXiv:1508.06709, 2015 | 9 | 2015 |
| Monomial clones: local results and global properties H Machida, J Pantovic 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL), 78-83, 2016 | 8 | 2016 |
| Measuring linearity of curves in 2D and 3D PL Rosin, J Pantović, J Žunić Pattern Recognition 49, 65-78, 2016 | 7 | 2016 |
| Three classes of closed sets of monomials H Machida, J Pantović 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 100-105, 2017 | 6 | 2017 |
| Encoding of Multilevel S-Threshold Functions. J Pantović, S Ghilezan, J Žunić Journal of Multiple-Valued Logic & Soft Computing 26, 2016 | 6 | 2016 |
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
