Ivan Prokic

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Human Communication

Threshold Functions

Top Venues

J. Log. Algebraic Methods Program.

J. Multiple Valued Log. Soft Comput.

Publications

Milos Simic, Jovana Dedeic, Milan Stojkov, Ivan Prokic
A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds. IEEE Access 12 (2024)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR (2023)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS (2023)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24 (2) (2023)
Ivan Prokic, Hugo Torres Vieira
-calculus: A model for confidential name passing. J. Log. Algebraic Methods Program. 119 (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Milos Simic, Ivan Prokic, Jovana Dedeic, Goran Sladic, Branko Milosavljevic
Towards Edge Computing as a Service: Dynamic Formation of the Micro Data-Centers. IEEE Access 9 (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR (2020)
Ivan Prokic
Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis. J. Multiple Valued Log. Soft Comput. 34 (3-4) (2020)
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
A calculus for modeling floating authorizations. J. Log. Algebraic Methods Program. 107 (2019)
Ivan Prokic, Jovanka Pantovic
Characterization of Generalized S-Threshold Functions by Nomura Parameters. J. Multiple Valued Log. Soft Comput. 33 (3) (2019)
Ivan Prokic
-calculus: a Model for Confidential Name Passing. ICE (2019)
Ivan Prokic
Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis. ISMVL (2018)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
A Calculus for Modeling Floating Authorizations. CoRR (2018)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
A Calculus for Modeling Floating Authorizations. FORTE (2018)
Ivan Prokic, Jovanka Pantovic
Nomura Parameters for S-Threshold Functions. ISMVL (2017)