Autori: Prokic Ivan
| Naslov | On Asynchronous Multiparty Session Types for Federated Learning (Proceedings Paper) |
| Autori | Prokic Ivan Prokic Simona B Ghilezan Silvia Scalas Alceste Yoshida Nobuko |
| Info | THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025, (2026), vol. 16237 br. , str. 164-182 |
| Projekat | Horizon EU [101093006 TaRDIS, 451-03-137/2025-03/200156, 01-50/295]; COST [CA20111 EuroProofNet]; EPSRC [EP/T006544/2, EP/N027833/2, EP/T014709/2, EP/V000462/1, EP/X015955/1, EP/Y005244/1] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT (Article; Early Access) |
| Autori | Djukic Miodrag M Prokic Ivan Popovic Miroslav V Ghilezan Silvia Popovic Marko M Prokic Simona B |
| Info | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, (2025), vol. br. , str. - |
| Projekat | European Union [101093006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | Data Overlay Mesh in Distributed Clouds Allowing Collaborative Applications (Article) |
| Autori | Simic Milos Dedeic Jovana Stojkov Milan Prokic Ivan |
| Info | IEEE ACCESS, (2025), vol. 13 br. , str. 6180-6203 |
| Projekat | European Union (Trustworthy And Resilient Decentralised Intelligence For Edge Systems (TaRDIS) [101093006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds (Article) |
| Autori | Simic Milos Dedeic Jovana Stojkov Milan Prokic Ivan |
| Info | IEEE ACCESS, (2024), vol. 12 br. , str. 32597-32617 |
| Projekat | European Union (Trustworthy And Resilient Decentralised Intelligence For Edge Systems (TaRDIS) |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Precise Subtyping for Asynchronous Multiparty Sessions (Article) |
| Autori | Ghilezan Silvia Pantovic Jovanka B Prokic Ivan Scalas Alceste Yoshida Nobuko |
| Info | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, (2023), vol. 24 br. 2, str. - |
| Projekat | EU [830929]; EU COST Actions [CA15123, IC1201]; EPSRC [EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T014709/1, EP/V000462/1, EP/X015955/1]; NCSS/EPSRC VeTSS; MPNTR; SFRS [6526707, 6458932]; Danmark Industriens Fond Cyberprogram [2020-0489] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Towards Edge Computing as a Service: Dynamic Formation of the Micro Data-Centers (Article) |
| Autori | Simic Milos Prokic Ivan Dedeic Jovana Sladic Goran S Milosavljevic Branko |
| Info | IEEE ACCESS, (2021), vol. 9 br. , str. 114468-114484 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Precise Subtyping for Asynchronous Multiparty Sessions (Article) |
| Autori | Ghilezan Silvia Pantovic Jovanka B Prokic Ivan Scalas Alceste Yoshida Nobuko |
| Info | PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, (2021), vol. 5 br. , str. - |
| Projekat | EU [830929]; EU COST Actions [CA15123, IC1201]; EPSRC [EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T014709/1, EP/V000462/1]; NCSS/EPSRC VeTSS; MPNTR; SFRS [6526707]; EPSRC [EP/T006544/1, EP/K034413/1, EP/K011715/1, EP/T014709/1, EP/N027833/1, EP/N028201/1, EP/L00058X/1] Funding Source: UKRI; ISCF [EP/V000462/1] Funding Source: UKRI |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | The C-pi-calculus: A model for confidential name passing (Article) |
| Autori | Prokic Ivan Vieira Hugo Torres |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2021), vol. 119 br. , str. - |
| Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026]; European Regional Development Fund (ERDF) through the Programa Operacional Regional do Centro(Centro 2020) [Centro-01-0145-FEDER-000019 - C4] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis (Article) |
| Autori | Prokic Ivan |
| Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2020), vol. 34 br. 3-4, str. 223-238 |
| Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026] |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Characterization of Generalized S-Threshold Functions by Nomura Parameters (Article) |
| Autori | Prokic Ivan Pantovic Jovanka B |
| Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2019), vol. 33 br. 3, str. 271-290 |
| Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026, III44006] |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
