Publikacije
Rad u časopisu
- Ghilezan S., Pantović, Prokić I., Scalas A., Yoshida N.: Precise Subtyping for Asynchronous Multiparty Sessions, ACM Transaction on Computational Logic, 2022 [M21]
- 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 [M21]
- 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 [M21]
- 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 [M21a]
- 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 [M21]
- 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 [M22]
Radovi sa konferencije
- Prokić I., Ghilezan S., Kašterović S., Popovic M., Popovic M., Kaštelan I.: Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP, ECBS 2023 – 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden arXiv 2306.14529 (2023)
- Ghilezan S., Pantović, Prokić I., Scalas A., Yoshida N.: Precise Subtyping for Asynchronous Multiparty Sessions, Proceedings ACM Programming Languages 5 (POPL 2021): 1-28.
- Prokić I.: The Cpi-calculus: A Model for Confidential Name Passing, 12. Interaction and Concurrency Experience, Kopenhagen: EPTCS, 20-21 Jun, 2019, pp. 115-136
- Prokić I.: Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis, 48. International Symposium on Multiple-Valued Logic, Linz: IEEE, 16-18 Maj, 2018, pp. 13-18, ISBN 978-1-5386-4465-2
- 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
- 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
Knjige i poglavlja
- Nedović M., Arsić D., Prokić I., Kiš M., Miščević I.: Zbirka zadataka iz algebre: prvi deo, Fakultet tehnićkih nauka, 2021
- Lukić T., Ilić V., Prokić I., Đokić J.: Matematika 2: integralni račun i diferencijalne jednačine, Fakultet tehničkih nauka, 2021
- 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
Copyright © 2023 Ivan Prokić