@ARTICLE{
author={Prokic Ivan,Prokic Simona B,Ghilezan Silvia,Scalas Alceste,Yoshida Nobuko},
year={2026},
title={On Asynchronous Multiparty Session Types for Federated Learning},
journal={THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025},
volume={16237},
number={},
pages={164-182},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Djukic Miodrag M,Prokic Ivan,Popovic Miroslav V,Ghilezan Silvia,Popovic Marko M,Prokic Simona B},
year={2025},
title={Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT},
journal={INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Simic Milos,Dedeic Jovana,Stojkov Milan,Prokic Ivan},
year={2025},
title={Data Overlay Mesh in Distributed Clouds Allowing Collaborative Applications},
journal={IEEE ACCESS},
volume={13},
number={},
pages={6180-6203},
document_type={Article},
} 

@ARTICLE{
author={Simic Milos,Dedeic Jovana,Stojkov Milan,Prokic Ivan},
year={2024},
title={A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds},
journal={IEEE ACCESS},
volume={12},
number={},
pages={32597-32617},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Pantovic Jovanka B,Prokic Ivan,Scalas Alceste,Yoshida Nobuko},
year={2023},
title={Precise Subtyping for Asynchronous Multiparty Sessions},
journal={ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},
volume={24},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Simic Milos,Prokic Ivan,Dedeic Jovana,Sladic Goran S,Milosavljevic Branko},
year={2021},
title={Towards Edge Computing as a Service: Dynamic Formation of the Micro Data-Centers},
journal={IEEE ACCESS},
volume={9},
number={},
pages={114468-114484},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Pantovic Jovanka B,Prokic Ivan,Scalas Alceste,Yoshida Nobuko},
year={2021},
title={Precise Subtyping for Asynchronous Multiparty Sessions},
journal={PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL},
volume={5},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Prokic Ivan,Vieira Hugo Torres},
year={2021},
title={The C-pi-calculus: A model for confidential name passing},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={119},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Prokic Ivan},
year={2020},
title={Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis},
journal={JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING},
volume={34},
number={3-4},
pages={223-238},
document_type={Article},
} 

@ARTICLE{
author={Prokic Ivan,Pantovic Jovanka B},
year={2019},
title={Characterization of Generalized S-Threshold Functions by Nomura Parameters},
journal={JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING},
volume={33},
number={3},
pages={271-290},
document_type={Article},
} 

@ARTICLE{
author={Prokic Ivan,Pantovic Jovanka B,Vieira Hugo Torres},
year={2019},
title={A calculus for modeling floating authorizations},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={107},
number={},
pages={136-174},
document_type={Article},
}