| 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 | 54 | 2019 |
| 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 | 43 | 2023 |
| Precise subtyping for synchronous multiparty sessions M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida arXiv preprint arXiv:1602.03593, 2016 | 37 | 2016 |
| Minimal partial hyperclones on a two-element set J Pantovic, G Vojvodic Proceedings. 34th International Symposium on Multiple-Valued Logic, 115-119, 2004 | 21 | 2004 |
| One interval in the lattice of partial hyperclones R Doroslovacki, J Pantovic, G Vojvodic Czechoslovak Mathematical Journal 55, 719-724, 2005 | 19 | 2005 |
| 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 | 18 | 2011 |
| 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 |
| 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 | 15 | 2015 |
| Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca Theoretical Computer Science 402 (2-3), 156-171, 2008 | 14 | 2008 |
| 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 |
| On the partial hyperclone lattice J Pantovic, G Vojvodic 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 96-100, 2005 | 13 | 2005 |
| Linked data privacy S Jakšić, J Pantović, S Ghilezan Mathematical Structures in Computer Science 27 (1), 33-53, 2017 | 11 | 2017 |
| 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 | 11 | 2016 |
| Measuring linearity of curves in 2D and 3D PL Rosin, J Pantović, J Žunić Pattern Recognition 49, 65-78, 2016 | 9 | 2016 |
| On compensation primitives as adaptable processes J Dedeić, J Pantović, JA Pérez arXiv preprint arXiv:1508.06709, 2015 | 9 | 2015 |
| Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007 | 9 | 2007 |
| 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 |
| Three Classes of Maximal Hyperclones. H Machida, J Pantović Journal of Multiple-Valued Logic & Soft Computing 18 (2), 2012 | 8 | 2012 |
| Session type isomorphisms M Dezani-Ciancaglini, L Padovani, J Pantovic arXiv preprint arXiv:1406.3486, 2014 | 7 | 2014 |
| Regular Sets of Operations. H Machida, J Pantović, IG Rosenberg Journal of Multiple-Valued Logic & Soft Computing 19, 2012 | 7 | 2012 |
Silvia GhilezanUniversity of Novi SadZweryfikowany adres z uns.ac.rs