doc. Ivan Prokić
Docent
- (+381 21) 485
- prokic@uns.ac.rs
- Docent (Katedra za matematiku)
Biografija
Radno mesto
Radovi
Reprezentativne reference
Izbori u zvanja
Biografija
Trenutno nema podataka o biografiji zaposlenog!
Radno mesto
Aktuelno
Istorijsko
| Radno mesto | Od | Organizaciona jedinica |
|---|---|---|
|
Docent
|
22. 07. 2021.
|
| 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 radMatematika |
Prirodno-matematički fakultet 2014 |
Reprezentativne reference
| Kriterijum produkcije | Opis |
|---|---|
| Kriterijum produkcije (M21a) Rad u međunarodnom časopisu izuzetnih vrednosti |
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 vrhunskom međunarodnom časopisu |
Opis ***Pantović J., Prokić I., Gilezan S., Yoshida N., Scalas A.: Precise Subtyping for Asynchronous Multiparty Sessions. - <u>Nije povezan časopis</u><font style="color:#cc0000;">**greska**</font> |
| Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu |
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 vrhunskom međunarodnom časopisu |
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 vrhunskom međunarodnom časopisu |
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 (M22) Rad u istaknutom međunarodnom časopisu |
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.: 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 knjizi 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 (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. |
