Asst. Prof. Ivan Prokić


Missing picture!

Ivan Prokić

Assistant Professor


Telephone(+381 21) 485
E-mail
Academic titleAssistant Professor
Employee's biography not found!
Assistant Professor
22.07.2021.
PositionFromToOrganizational unit
Assistant - Master01.11.2015.Chair of Mathematics
Teaching Associate01.11.2014.01.10.2015.Department of Fundamentals Sciences
TitleIn institution
Funkcionalno guste relacione aglebre

Master's thesis

Mathematical Science

Faculty of Sciences

2014

Criterium of productionDescription
() Researches published in the journals of the international importanceProkić 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 journalSimić 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 journalProkić 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 journalProkić 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 prominent international journalProkić 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 entiretyProkić 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 entiretyProkić 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 entiretyPantović 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 entiretyProkić 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 importanceNikolić 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
() Defended Doctoral dissertationProkić 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
TitleScientific areaHigher education institutionElection date
Assistant ProfessorTeorijska i primenjena matematikaFaculty of Technical Sciences22.07.2021.
Assistant with PhDTeorijska i primenjena matematikaFaculty of Technical Sciences15.09.2020.
Assistant - MasterTeorijska i primenjena matematikaFaculty of Technical Sciences01.11.2018.
Assistant - MasterTeorijska i primenjena matematikaFaculty of Technical Sciences01.11.2015.
Teaching AssociateMathematicsFaculty of Technical Sciences01.11.2014.