| 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 |
| Towards edge computing as a service: Dynamic formation of the micro data-centers M Simić, I Prokić, J Dedeić, G Sladić, B Milosavljević IEEE Access 9, 114468-114484, 2021 | 26 | 2021 |
| The Cπ-calculus: A model for confidential name passing I Prokić, HT Vieira Journal of Logical and Algebraic Methods in Programming 119, 100622, 2021 | 5 | 2021 |
| Characterization of Generalized S-Threshold Functions by Nomura Parameters. I Prokić, J Pantović Journal of Multiple-Valued Logic & Soft Computing 33 (3), 2019 | 5 | 2019 |
| A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds M Simić, J Dedeić, M Stojkov, I Prokić IEEE Access, 2024 | 3 | 2024 |
| Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis. I PROKIć Journal of Multiple-Valued Logic & Soft Computing 34, 2020 | 3 | 2020 |
| Formal modeling and analysis of resource usage and sharing in distributed software systems I Prokić PQDT-Global, 2019 | 3 | 2019 |
| Characterization of quaternary threshold functions in the Vilenkin-Chrestenson basis I Prokic 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), 13-18, 2018 | 3 | 2018 |
| Nomura Parameters for S-Threshold Functions I Prokić, J Pantović 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 248-253, 2017 | 3 | 2017 |
| Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP I Prokić, S Ghilezan, S Kašterović, M Popovic, M Popovic, I Kaštelan International Conference on Engineering of Computer-Based Systems, 274-288, 2023 | 2 | 2023 |
| A calculus for modeling floating authorizations I Prokić, J Pantović, HT Vieira Journal of Logical and Algebraic Methods in Programming 107, 136-174, 2019 | 2 | 2019 |
| A calculus for modeling floating authorizations J Pantović, I Prokić, HT Vieira International Conference on Formal Techniques for Distributed Objects …, 2018 | 1 | 2018 |
| Precise Subtyping for Asynchronous Multiparty S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida | | |
| ISMVL2020 Reviewers G Dueck, V Gaudet, M Hassan, T Hirayama, I Hodaka, N Homma, A Ito, ... | | |
| ISMVL 2018 RS Stankovic, J Astola, C Moraga, M Suzuki, R Ueno, I Prokic, T Waho, ... | | |
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs