() Researches published in the journals of the international importance
Prokić I.: Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis, Journal of Multiple-Valued Logic and Soft Computing, 2020, Vol. 34, No. 3-4, pp. 223-238
() Research published in the top international journal
Pantović J., Prokić I., Gilezan S., Yoshida N., Scalas A.: Precise Subtyping for Asynchronous Multiparty Sessions. , ACM Transactions on Computational Logic, 2023, Vol. 24, No. 2, pp. 1-73, ISSN 1529-3785
() Research published in the top international journal
Simić M., Prokić I., Dedeić J., Sladić G., Milosavljević B.: Towards edge computing as a service: dynamic formation of the micro data-centers, IEEE Access, 2021, pp. 1-17, ISSN 2169-3536
() Research published in the top international journal
Prokić I., Torres Vieira H.: The Cpi-calculus: A Model for Confidential Name Passing, Journal of Logical and Algebraic Methods in Programming, 2021, Vol. 119, ISSN 2352-2208
() Research published in the top international journal
Prokić I., Pantović J., Torres Vieira H.: A Calculus for Modeling Floating Authorizations., Journal of Logical and Algebraic Methods in Programming, 2019, Vol. 107, pp. 136-174, ISSN 2352-2208
() Research published in the prominent international journal
Simić M., Dedeić J., Stojkov M., Prokić I.: A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds, IEEE Access, 2024, pp. 1-1, ISSN 2169-3536
() Research published in the prominent international journal
Prokić I., Pantović J.: Characterization of Generalized S-Threshold Functions by Nomura Parameters, Journal of Multiple Valued Logic and Soft Computing, 2019, Vol. 33, No 3, pp. 271-290, ISSN 1542-3980
() Report from the international meeting printed in its entirety
Prokić I., Gilezan S., Prokić S., Popović M., Popović M., Kaštelan I.: Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP, 8. Conference on the Engineering of Computer Based Systems (ECBS), Vesteros: Springer, 16-18 October, 2023, pp. 274-288, ISBN 978-3-031-49251-8
() Report from the international meeting printed in its entirety
Prokić I.: The Cpi-calculus: A Model for Confidential Name Passing, 12. 12th Interaction and Concurrency Experience, Kopenhagen: EPTCS, 20-21 Jun, 2019, pp. 115-136
() Report from the international meeting printed in its entirety
Prokić I.: Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis, 48. 48th International Symposium on Multiple-Valued Logic, Linz: IEEE, 16-18 Maj, 2018, pp. 13-18, ISBN 978-1-5386-4465-2
() Report from the international meeting printed in its entirety
Pantović J., Prokić I., Torres Vieira H.: A Calculus for Modeling Floating Authorizations, 38. Formal Techniques for Distributed Objects, Components, and Systems, Madrid: Springer, 18-20 Jun, 2018, pp. 101-120, ISBN 978-3-319-92612-4
() Report from the international meeting printed in its entirety
Prokić I., Pantović J.: Nomura Parameters for S-Threshold Functions, 46. International Symposium on Multiple-Valued Logic, Novi Sad, 22-24 Maj, 2017, pp. 248-253
() Chapter in the M41 or research in the prominent thematic collection of the leading national importance
Nikolić A., Prokić I.: Mirko Stojaković (1915-1985), Beograd, Život i delo srpskih naučnika, Biografije i bibliografije, SANU, 2016, str. 205-254, ISBN 978-86-7025-707-8
() Report from the meeting of the national importance printed in its entirety
Prokić I., Dedeić J.: AN INVITATION TO GRAPH TRANSFORMATIONS (Part 2), 8. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad: Faculty of Technical Sciences, 27 Maj, 2023, ISBN 978-86-6022-578-0
() Report from the meeting of the national importance printed in its entirety
Dedeić J., Prokić I.: AN INVITATION TO GRAPH TRANSFORMATIONS (Part 1), 8. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad: Faculty of Technical Sciences, 27 Maj, 2023, ISBN 978-86-6022-578-0
() Report from the meeting of the national importance printed in extracts
Prokić I., Gilezan S., Prokić S., Popović M., Popović M., Kaštelan I.: Orkestracija algoritama federativnog učenja iz ugla formalizacije i verifikacije, 1. Konferencija "Veštačka inteligencija", Beograd: SANU, 26-27 Decembar, 2023
() Defended Doctoral dissertation
Prokić I.: Formal modeling and analysis of resource usage and sharing in distributed software systems , Novi Sad, Univerzitet u Novom Sadu, Fakultet tehničkih nauka, 2020
