| 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 synchronous multiparty sessions M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida arXiv preprint arXiv:1602.03593, 2016 | 37 | 2016 |
| 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 |
| Exception handling for copyless messaging S Jakšić, L Padovani Science of Computer Programming 84, 22-51, 2014 | 14 | 2014 |
| 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 |
| Non-intrusive MC/DC measurement based on traces F Ahishakiye, S Jakšić, V Stolz, FD Lange, M Schmitz, D Thoma 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 8 | 2019 |
| 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 | 6 | 2016 |
| A typed model for dynamic authorizations S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira arXiv preprint arXiv:1602.03596, 2016 | 5 | 2016 |
| Dynamic role authorization in multiparty conversations S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira arXiv preprint arXiv:1408.5977, 2014 | 5 | 2014 |
| Types and roles for web security S Ghilezan, S Jaksic, J Pantovic, M Dezani The IPSI BgD Transactions on Advanced Research 8, 16-21, 2012 | 4 | 2012 |
| Stream-based dynamic data race detection S Jakšić, D Li, KI Pun, V Stolz NIK 2018, 2018 | 3 | 2018 |
| COEMS - open traces from the industry VS Svetlana Jaksic, Martin Leucker, Dan Li RV-CuBES 2017, 96-105, 2017 | 2* | 2017 |
| Journal of Logical and Algebraic Methods in Programming S Ghilezan, S Jakšic, J Pantovic, A Scalas, N Yoshida | | 2018 |
| Static analysis for dynamic data race detection with TeSSLa S Jakšić, M Schmitz, V Stolz, D Thoma NWPT'18, 2018 | | 2018 |
| Types for Access and Memory Control S Jakšić PQDT-Global, 2016 | | 2016 |
| Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus P Di Gianantonio, S Jakšić, M Lenisa International Conference on Concurrency Theory, 358-372, 2010 | | 2010 |
| Per public call for the period 2008-2009 S Gilezan, J Pantović, N Sladoje, S Likavec, T Lukić, J Jevtić, S Jakšić, ... | | |
| Modeli mobilnih procesa S Jakšic | | |
| Input/Output Types for Dynamic Web Data S Jakšic | | |
Jovanka PantovicUniversity of Novi SadZweryfikowany adres z uns.ac.rs