доц. Иван Прокић
Доцент
- (+381 21) 485
- prokic@uns.ac.rs
- Доцент (Катедра за математику)
Биографија
Радно место
Радови
Репрезентативне референце
Избори у звања
Биографија
Тренутно нема података о биографији запосленог!
Радно место
Актуелно
Историјско
| Радно место | Од | Организациона јединица |
|---|---|---|
|
Доцент
|
22. 07. 2021.
|
| Радно место | Од | Организациона јединица | |
|---|---|---|---|
| Асистент | 01. 11. 2015. | 01. 11. 2015. - | Катедра за математику |
| Сарадник у настави | 01. 11. 2014. | 01. 11. 2014. - 01. 10. 2015. | Департман за опште дисциплине у техници |
Актуелне
| Назив функције | Од | Организациона јединица |
|---|
Радови
| Назив | У Установи |
|---|---|
|
Функционално густе релационе аглебре Мастер рад Математика |
Природно-математички факултет 2014 |
Репрезентативне референце
| Критеријум продукције | Опис |
|---|---|
| Критеријум продукције (М21а) Рад у међународном часопису изузетних вредности |
Опис Прокић И.: Цхарацтеризатион оф Мултипле-Валуед Тхресхолд Фунцтионс ин тхе Виленкин-Цхрестенсон Басис, Јоурнал оф Мултипле-Валуед Логиц анд Софт Цомпутинг, 2020, Вол. 34, Но. 3-4, пп. 223-238 |
| Критеријум продукције (М21) Рад у врхунском међународном часопису |
Опис Пантовић Ј., Прокић И., Гилезан С., Yосхида Н., Сцалас А.: Прецисе Субтyпинг фор Асyнцхроноус Мултипартy Сессионс. , АЦМ Трансацтионс он Цомпутатионал Логиц, 2023, Вол. 24, Но. 2, пп. 1-73, ИССН 1529-3785 |
| Критеријум продукције (М21) Рад у врхунском међународном часопису |
Опис Симић М., Прокић И., Дедеић Ј., Сладић Г., Милосављевић Б.: Тоwардс едге цомпутинг ас а сервице: дyнамиц форматион оф тхе мицро дата-центерс, ИЕЕЕ Аццесс, 2021, пп. 1-17, ИССН 2169-3536 |
| Критеријум продукције (М21) Рад у врхунском међународном часопису |
Опис Прокић И., Торрес Виеира Х.: Тхе Цпи-цалцулус: А Модел фор Цонфидентиал Наме Пассинг, Јоурнал оф Логицал анд Алгебраиц Метходс ин Программинг, 2021, Вол. 119, ИССН 2352-2208 |
| Критеријум продукције (М21) Рад у врхунском међународном часопису |
Опис Прокић И., Пантовић Ј., Торрес Виеира Х.: А Цалцулус фор Моделинг Флоатинг Аутхоризатионс., Јоурнал оф Логицал анд Алгебраиц Метходс ин Программинг, 2019, Вол. 107, пп. 136-174, ИССН 2352-2208 |
| Критеријум продукције (М22) Рад у истакнутом међународном часопису |
Опис Симић М., Дедеић Ј., Стојков М., Прокић И.: А Хиерарцхицал Намеспаце Аппроацх фор Мулти-Тенанцy ин Дистрибутед Цлоудс, ИЕЕЕ Аццесс, 2024, пп. 1-1, ИССН 2169-3536 |
| Критеријум продукције (М22) Рад у истакнутом међународном часопису |
Опис Прокић И., Пантовић Ј.: Цхарацтеризатион оф Генерализед С-Тхресхолд Фунцтионс бy Номура Параметерс, Јоурнал оф Мултипле Валуед Логиц анд Софт Цомпутинг, 2019, Вол. 33, Но 3, пп. 271-290, ИССН 1542-3980 |
| Критеријум продукције (М33) Саопштење са међународног скупа штампано у целини |
Опис Прокић И., Гилезан С., Прокић С., Поповић М., Поповић М., Каштелан И.: Цоррецт орцхестратион оф Федератед Леарнинг генериц алгоритхмс: формалисатион анд верифицатион ин ЦСП, 8. Цонференце он тхе Енгинееринг оф Цомпутер Басед Сyстемс (ЕЦБС), Вестерос: Спрингер, 16-18 Оцтобер, 2023, пп. 274-288, ИСБН 978-3-031-49251-8 |
| Критеријум продукције (М33) Саопштење са међународног скупа штампано у целини |
Опис Прокић И.: Тхе Цпи-цалцулус: А Модел фор Цонфидентиал Наме Пассинг, 12. 12тх Интерацтион анд Цонцурренцy Еxпериенце, Копенхаген: ЕПТЦС, 20-21 Јун, 2019, пп. 115-136 |
| Критеријум продукције (М33) Саопштење са међународног скупа штампано у целини |
Опис Прокић И.: Цхарацтеризатион оф Qуатернарy Тхресхолд Фунцтионс ин тхе Виленкин-Цхрестенсон Басис, 48. 48тх Интернатионал Сyмпосиум он Мултипле-Валуед Логиц, Линз: ИЕЕЕ, 16-18 Мај, 2018, пп. 13-18, ИСБН 978-1-5386-4465-2 |
| Критеријум продукције (М33) Саопштење са међународног скупа штампано у целини |
Опис Пантовић Ј., Прокић И., Торрес Виеира Х.: А Цалцулус фор Моделинг Флоатинг Аутхоризатионс, 38. Формал Тецхниqуес фор Дистрибутед Објецтс, Цомпонентс, анд Сyстемс, Мадрид: Спрингер, 18-20 Јун, 2018, пп. 101-120, ИСБН 978-3-319-92612-4 |
| Критеријум продукције (М33) Саопштење са међународног скупа штампано у целини |
Опис Прокић И., Пантовић Ј.: Номура Параметерс фор С-Тхресхолд Фунцтионс, 46. Интернатионал Сyмпосиум он Мултипле-Валуед Логиц, Нови Сад, 22-24 Мај, 2017, пп. 248-253 |
| Критеријум продукције (М44) Поглавље у књизи М41 или рад у истакнутом тематском зборнику водећег националног значаја |
Опис Николић А., Прокић И.: Мирко Стојаковић (1915-1985), Београд, Живот и дело српских научника, Биографије и библиографије, САНУ, 2016, стр. 205-254, ИСБН 978-86-7025-707-8 |
| Критеријум продукције (М63) Саопштење са скупа националног значаја штампано у целини |
Опис Прокић И., Дедеић Ј.: АН ИНВИТАТИОН ТО ГРАПХ ТРАНСФОРМАТИОНС (Парт 2), 8. Цонференце он Матхематицс ин Енгинееринг: Тхеорy анд Апплицатионс, Нови Сад: Фацултy оф Тецхницал Сциенцес, 27 Мај, 2023, ИСБН 978-86-6022-578-0 |
| Критеријум продукције (М63) Саопштење са скупа националног значаја штампано у целини |
Опис Дедеић Ј., Прокић И.: АН ИНВИТАТИОН ТО ГРАПХ ТРАНСФОРМАТИОНС (Парт 1), 8. Цонференце он Матхематицс ин Енгинееринг: Тхеорy анд Апплицатионс, Нови Сад: Фацултy оф Тецхницал Сциенцес, 27 Мај, 2023, ИСБН 978-86-6022-578-0 |
| Критеријум продукције (М64) Саопштење са скупа националног значаја штампано у изводу |
Опис Прокић И., Гилезан С., Прокић С., Поповић М., Поповић М., Каштелан И.: Оркестрација алгоритама федеративног учења из угла формализације и верификације, 1. Конференција "Вештачка интелигенција", Београд: САНУ, 26-27 Децембар, 2023 |
| Критеријум продукције (М71) Одбрањена докторска дисертација |
Опис Прокић И.: Формал моделинг анд аналyсис оф ресоурце усаге анд схаринг ин дистрибутед софтwаре сyстемс , Нови Сад, Универзитет у Новом Саду, Факултет техничких наука, 2020 |
Избори у звања
| Звање | Ужа научна област | Високошколска установа | Датум избора |
|---|---|---|---|
| Доцент | Теоријска и примењена математика | Факултет техничких наука | 22. 07. 2021. |
| Асистент - др наука | Теоријска и примењена математика | Факултет техничких наука | 15. 09. 2020. |
| Асистент | Теоријска и примењена математика | Факултет техничких наука | 01. 11. 2018. |
| Асистент | Теоријска и примењена математика | Факултет техничких наука | 01. 11. 2015. |
| Сарадник у настави | Математика | Факултет техничких наука | 01. 11. 2014. |
