Ivan Prokić | Fakultet Tehničkih Nauka | FTN

×

Univerzitet u Novom Sadu

Fakultet tehničkih nauka

doc. dr Ivan Prokić

Docent

Biografija

Radno mesto

Radovi

Reprezentativne reference

Izbori u zvanja

Biografija

Trenutno nema podataka o biografiji zaposlenog!

Radno mesto

Aktuelno

Radno mesto	Od	Organizaciona jedinica
Docent	22. 07. 2021.	Katedra za matematiku

Istorijsko

Radno mesto	Od	Organizaciona jedinica
Asistent	01. 11. 2015.	01. 11. 2015. -	Katedra za matematiku
Saradnik u nastavi	01. 11. 2014.	01. 11. 2014. - 01. 10. 2015.	Departman za opšte discipline u tehnici

Aktuelne

Naziv funkcije	Od	Organizaciona jedinica

Radovi

Naziv	U Ustanovi
Funkcionalno guste relacione aglebre Master rad Matematika	Prirodno-matematički fakultet u Novom Sadu 2014
Fromal modeling and analysis of resource usage and sharing in distributed software systems Doktorat Teorijska i primenjena matematika	Fakultet tehničkih nauka 2020

Reprezentativne reference

Kriterijum produkcije	Opis
Kriterijum produkcije (M21a) Rad u vodećem međunarodnom časopisu kategorije M21a	Opis 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
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis 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
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis 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
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis 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
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis 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
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis 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
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis 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
Kriterijum produkcije (M44) Poglavlje u monografiji M41 ili rad u istaknutom tematskom zborniku vodećeg nacionalnog značaja	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M63) Saopštenje sa skupa nacionalnog značaja štampano u celini	Opis 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
Kriterijum produkcije (M64) Saopštenje sa skupa nacionalnog značaja štampano u izvodu	Opis 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
Kriterijum produkcije (M71) Odbranjena doktorska disertacija	Opis 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

Izbori u zvanja

Zvanje	Uža naučna oblast	Visokoškolska ustanova	Datum izbora
Docent	Teorijska i primenjena matematika	Fakultet tehničkih nauka	22. 07. 2021.
Asistent - dr nauka	Teorijska i primenjena matematika	Fakultet tehničkih nauka	15. 09. 2020.
Asistent	Teorijska i primenjena matematika	Fakultet tehničkih nauka	01. 11. 2018.
Asistent	Teorijska i primenjena matematika	Fakultet tehničkih nauka	01. 11. 2015.
Saradnik u nastavi	Matematika	Fakultet tehničkih nauka	01. 11. 2014.

Univerzitet u Novom Sadu

Fakultet tehničkih nauka

© 2024. Fakultet tehničkih nauka, Računarski centar

Kontakt:

Trg Dositeja Obradovića 6, 21102 Novi Sad

Telefon: (+381) 21 450 810
(+381) 21 6350 413

Faks: (+381) 21 458 133
Imejl: ftndean@uns.ac.rs

© 2024. Fakultet tehničkih nauka