Istraživači

eNauka > Istraživači > Prokić, Ivan

Prokić, Ivan

Godina

2 2020 - 2024
4 2010 - 2019

Mp-kat.

6 M30/M60

Godina - raspon

Godina od:

Godina do:

Filtrirano po:

Tip: Konferencijski rad

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2023	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP	Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2021	Precise subtyping for asynchronous multiparty sessions	Gilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2019	The Cpi-calculus: A Model for Confidential Name Passing	Prokić, Ivan S.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2018	A Calculus for Modeling Floating Authorizations	Pantović, Jovanka ; Prokić, Ivan ; Vieira, Hugo Torres	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2018	Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis	Prokić, Ivan S.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2017	Nomura Parameters for S-Threshold Functions	Prokić, Ivan S. ; PANTOVIĆ, JOVANKA B.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.