@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={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={Ghilezan Silvia,Kasterovic Simona,Liquori Luigi,Marinkovic Bojan B,Ognjanovic Zoran D,Stefanovic Tamara},
year={2022},
title={Federating Digital Contact Tracing using Structured Overlay Networks},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={19},
number={3},
pages={1261-1282},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Kasterovic Simona},
year={2022},
title={Semantics for Combinatory Logic With Intersection Types},
journal={FRONTIERS IN COMPUTER SCIENCE},
volume={4},
number={},
pages={-},
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={Ghilezan Silvia,Ivetic Jelena B,Kasterovic Simona,Ognjanovic Zoran D,Savic Nenad},
year={2020},
title={Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case},
journal={FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020},
volume={12012},
number={},
pages={122-139},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kasterovic Simona,Ghilezan Silvia},
year={2020},
title={Kripke-style semantics and completeness for full simply typed Lambda calculus},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={30},
number={8},
pages={1567-1608},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V,Popovic Marko M,Ghilezan Silvia,Kordic Branislav A},
year={2020},
title={Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model},
journal={PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M,Popovic Miroslav V,Ghilezan Silvia,Kordic Branislav A},
year={2019},
title={Formal Verification of Local and Distributed Python Software Transactional Memories},
journal={REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE},
volume={64},
number={4},
pages={423-428},
document_type={Article},
} 

@ARTICLE{
author={Downen Paul,Ariola Zena M,Ghilezan Silvia},
year={2019},
title={The Duality of Classical Intersection and Union Types},
journal={FUNDAMENTA INFORMATICAE},
volume={170},
number={1-3},
pages={39-92},
document_type={Article},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Miroslav V,Ghilezan Silvia},
year={2019},
title={Formal Verification of Python Software Transactional Memory Based on Timed Automata},
journal={ACTA POLYTECHNICA HUNGARICA},
volume={16},
number={7},
pages={197-216},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Scalas Alceste,Yoshida Nobuko},
year={2019},
title={Precise subtyping for synchronous multiparty sessions},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={104},
number={},
pages={127-173},
document_type={Article},
} 

@ARTICLE{
author={Santo Jose Espirito,Ghilezan Silvia},
year={2017},
title={Characterization of strong normalizability for a sequent lambda calculus with co-control},
journal={PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017)},
volume={},
number={},
pages={163-174},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Miroslav V,Ghilezan Silvia,Basicevic Ilija V},
year={2017},
title={An Approach to Formal Verification of Python Software Transactional Memory},
journal={PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Miroslav V,Ghilezan Silvia,Basicevic Ilija V},
year={2017},
title={An Approach to Formal Verification of Python Software Transactional Memory},
journal={FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Jaksic Svetlana,Pantovic Jovanka B,Ghilezan Silvia},
year={2017},
title={Linked data privacy},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={27},
number={1},
pages={33-53},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Perez Jorge A,Vieira Hugo Torres},
year={2016},
title={Dynamic role authorization in multiparty conversations},
journal={FORMAL ASPECTS OF COMPUTING},
volume={28},
number={4},
pages={643-667},
document_type={Article},
} 

@ARTICLE{
author={Pantovic Jovanka B,Ghilezan Silvia,Zunic Jovisa},
year={2016},
title={Encoding of Multilevel S-Threshold Functions},
journal={JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING},
volume={26},
number={1-2},
pages={89-108},
document_type={Article},
} 

@ARTICLE{
author={Bartoletti Massimo,Castellani Ilaria,Denielou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka B,Perez Jorge A,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres},
year={2015},
title={Combining behavioural types with security analysis},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={84},
number={6},
pages={763-780},
document_type={Article},
} 

@ARTICLE{
author={Pantovic Jovanka B,Ghilezan Silvia,Zunic Jovisa},
year={2014},
title={On the Number of S-Threshold Functions on not Necessarily Binary Input},
journal={2014 IEEE 44TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2014)},
volume={},
number={},
pages={13-18},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ghilezan Silvia,Pantovic Jovanka B,Vojvodic Gradimir D},
year={2014},
title={Binary Relations and Algebras on Multisets},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={95},
number={109},
pages={111-117},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Paolini Luca},
year={2012},
title={Intersection Types and Related Systems (ITRS) Preface},
journal={FUNDAMENTA INFORMATICAE},
volume={121},
number={1-4},
pages={V-VI},
document_type={Editorial Material},
}