Ivan Prokic

20 papers C 2Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT.
Int. J. Softw. Tools Technol. Transf.
Miodrag Djukic, Ivan Prokic, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokic
2025 J jnl
Data Overlay Mesh in Distributed Clouds Allowing Collaborative Applications.
IEEE Access
Milos Simic, Jovana Dedeic, Milan Stojkov, Ivan Prokic
2025 C conf
On Asynchronous Multiparty Session Types for Federated Learning.
ICTAC
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2025 J jnl
Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types.
CoRR
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2024 J jnl
A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds.
IEEE Access
Milos Simic, Jovana Dedeic, Milan Stojkov, Ivan Prokic
2023 — conf
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.
ECBS
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
2023 J jnl
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP.
CoRR
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
2023 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
ACM Trans. Comput. Log.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2021 J jnl
Precise subtyping for asynchronous multiparty sessions.
Proc. ACM Program. Lang.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2021 J jnl
The
J. Log. Algebraic Methods Program.
Ivan Prokic, Hugo Torres Vieira
2021 J jnl
Towards Edge Computing as a Service: Dynamic Formation of the Micro Data-Centers.
IEEE Access
Milos Simic, Ivan Prokic, Jovana Dedeic, Goran Sladic, Branko Milosavljevic
2020 J jnl
Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis.
J. Multiple Valued Log. Soft Comput.
Ivan Prokic
2020 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
CoRR
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2019 J jnl
A calculus for modeling floating authorizations.
J. Log. Algebraic Methods Program.
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira
2019 J jnl
Characterization of Generalized S-Threshold Functions by Nomura Parameters.
J. Multiple Valued Log. Soft Comput.
Ivan Prokic, Jovanka Pantovic
2019 — conf
The C
ICE
Ivan Prokic
2018 C conf
A Calculus for Modeling Floating Authorizations.
FORTE
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
2018 J jnl
A Calculus for Modeling Floating Authorizations.
CoRR
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
2018 — conf
Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis.
ISMVL
Ivan Prokic
2017 — conf
Nomura Parameters for S-Threshold Functions.
ISMVL
Ivan Prokic, Jovanka Pantovic