Autori: Prokic Ivan
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 | 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 | 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: 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 | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | A calculus for modeling floating authorizations (Article) |
Autori | Prokic Ivan Pantovic Jovanka B Vieira Hugo Torres |
Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2019), vol. 107 br. , str. 136-174 |
Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026]; EU COST Action [IC1405] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|