| (М21а) Рад у међународном часопису изузетних вредности | Прокић И.: Цхарацтеризатион оф Мултипле-Валуед Тхресхолд Фунцтионс ин тхе Виленкин-Цхрестенсон Басис, Јоурнал оф Мултипле-Валуед Логиц анд Софт Цомпутинг, 2020, Вол. 34, Но. 3-4, пп. 223-238 |
| (М21) Рад у врхунском међународном часопису | ***Пантовић Ј., Прокић И., Гилезан С., Yосхида Н., Сцалас А.: Прецисе Субтyпинг фор Асyнцхроноус Мултипартy Сессионс. - &лт;у&гт;Није повезан часопис&лт;/у&гт;&лт;фонт стyле="цолор:#цц0000;"&гт;**греска**&лт;/фонт&гт; |
| (М21) Рад у врхунском међународном часопису | Симић М., Прокић И., Дедеић Ј., Сладић Г., Милосављевић Б.: Тоwардс едге цомпутинг ас а сервице: дyнамиц форматион оф тхе мицро дата-центерс, ИЕЕЕ Аццесс, 2021, пп. 1-17, ИССН 2169-3536 |
| (М21) Рад у врхунском међународном часопису | Прокић И., Торрес Виеира Х.: Тхе Цпи-цалцулус: А Модел фор Цонфидентиал Наме Пассинг, Јоурнал оф Логицал анд Алгебраиц Метходс ин Программинг, 2021, Вол. 119, ИССН 2352-2208 |
| (М21) Рад у врхунском међународном часопису | Прокић И., Пантовић Ј., Торрес Виеира Х.: А Цалцулус фор Моделинг Флоатинг Аутхоризатионс., Јоурнал оф Логицал анд Алгебраиц Метходс ин Программинг, 2019, Вол. 107, пп. 136-174, ИССН 2352-2208 |
| (М22) Рад у истакнутом међународном часопису | Прокић И., Пантовић Ј.: Цхарацтеризатион оф Генерализед С-Тхресхолд Фунцтионс бy Номура Параметерс, Јоурнал оф Мултипле Валуед Логиц анд Софт Цомпутинг, 2019, Вол. 33, Но 3, пп. 271-290, ИССН 1542-3980 |
| (М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 |
| (М71) Одбрањена докторска дисертација | Прокић И.: Формал моделинг анд аналyсис оф ресоурце усаге анд схаринг ин дистрибутед софтwаре сyстемс , Нови Сад, Универзитет у Новом Саду, Факултет техничких наука, 2020 |
