Ivan Prokic

According to our database, Ivan Prokic authored at least 15 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types.

Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida

CoRR, April, 2025

Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT.

Miodrag Djukic, Ivan Prokic, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokic

Int. J. Softw. Tools Technol. Transf., February, 2025

Data Overlay Mesh in Distributed Clouds Allowing Collaborative Applications.

Milos Simic, Jovana Dedeic, Milan Stojkov, Ivan Prokic

IEEE Access, 2025

On Asynchronous Multiparty Session Types for Federated Learning.

Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida

Proceedings of the Theoretical Aspects of Computing - ICTAC 2025, 2025

2024

A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds.

Milos Simic, Jovana Dedeic, Milan Stojkov, Ivan Prokic

IEEE Access, 2024

2023

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.

Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2021

Precise subtyping for asynchronous multiparty sessions.

Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida

Proc. ACM Program. Lang., 2021

The <i>C</i>_<i>π</i>-calculus: A model for confidential name passing.

Ivan Prokic, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2021

Towards Edge Computing as a Service: Dynamic Formation of the Micro Data-Centers.

Milos Simic, Ivan Prokic, Jovana Dedeic, Goran Sladic, Branko Milosavljevic

IEEE Access, 2021

2020

Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis.

Ivan Prokic

J. Multiple Valued Log. Soft Comput., 2020

2019

Characterization of Generalized S-Threshold Functions by Nomura Parameters.

Ivan Prokic, Jovanka Pantovic

J. Multiple Valued Log. Soft Comput., 2019

The C_π-calculus: a Model for Confidential Name Passing.

Ivan Prokic

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

2018

Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis.

Ivan Prokic

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

A Calculus for Modeling Floating Authorizations.

Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Nomura Parameters for S-Threshold Functions.

Ivan Prokic, Jovanka Pantovic

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017