Ivan Prokic

According to our database, Ivan Prokic authored at least 11 papers between 2017 and 2024.

Collaborative distances:

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

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

A calculus for modeling floating authorizations.

Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 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

2017

Nomura Parameters for S-Threshold Functions.

Ivan Prokic, Jovanka Pantovic

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