Follow
Ivan Prokić
Title
Cited by
Cited by
Year
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
402023
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
212021
The Cπ-calculus: A model for confidential name passing
I Prokić, HT Vieira
Journal of Logical and Algebraic Methods in Programming 119, 100622, 2021
52021
Characterization of Generalized S-Threshold Functions by Nomura Parameters.
I Prokić, J Pantović
Journal of Multiple-Valued Logic & Soft Computing 33 (3), 2019
52019
Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis.
I PROKIć
Journal of Multiple-Valued Logic & Soft Computing 34, 2020
32020
Formal modeling and analysis of resource usage and sharing in distributed software systems
I Prokić
PQDT-Global, 2019
32019
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
32018
Nomura Parameters for S-Threshold Functions
I Prokić, J Pantović
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 248-253, 2017
32017
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
22023
A calculus for modeling floating authorizations
I Prokić, J Pantović, HT Vieira
Journal of Logical and Algebraic Methods in Programming 107, 136-174, 2019
22019
A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds
M Simić, J Dedeić, M Stojkov, I Prokić
IEEE Access, 2024
12024
A calculus for modeling floating authorizations
J Pantović, I Prokić, HT Vieira
International Conference on Formal Techniques for Distributed Objects …, 2018
12018
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, ...
The system can't perform the operation now. Try again later.
Articles 1–15