Publications
External links: DBLP
2025
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida, On Asynchronous Multiparty Session Types for Federated Learning, ICTAC 2025 - 22st International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science 16237, pages 164-182 (2025)
arXiv 2504.21108
doi
Miodrag Djukic, Ivan Prokić, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokić, Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT, International Journal on Software Tools for Technology Transfer, Volume 27, pages 21–34, Springer (2025)
open access
2023
Ivan Prokić, Silvia Ghilezan, Simona Kašterović, Miroslav Popovic, Marko Popovic, Ivan Kaštelan, Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP, ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden, Lecture Notes in Computer Science 14390, pp 274–288 (2023)
arXiv 2306.14529 doi
2022
Simona Kašterović, Silvia Ghilezan,
Logic of Combinatory Logic
arXiv
Silvia Ghilezan, Luigi Liquori, Bojan Marinković, Simona Kašterović, Zoran Ognjanović, Tamara Stefanović, Federating Digital Contact Tracing using Structured Overlay Networks, ComSIS – Computer Science and Information Systems, Volume 19, Issue 3, Pages: 1261-1282, doi
Silvia Ghilezan, Simona Kašterović: Semantics for combinatory logic with intersection types, Frontiers in Computer Science, 2022, doi
Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Pierre Lescanne:
L-types for resource awareness: an implicit name approach
arXiv
2020
Simona Kasterovic, Silvia Ghilezan: Kripke semantics and completeness for full simply typed lambda calculus, accepted Journal of Logic and Computation (2020).
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, and Nenad Savic. Towards probabilistic reasoning in type theory - the inter- section type case. In Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, pages 122–139, 2020.
2019
Simona Kašterović, Michele Pagani: The Discriminating Power of the Let-in Operator in the Lazy Call-by-Name Probabilistic λ-Calculus, FSCD 2019 - International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 24-30, 2019
2018
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic: Probabilistic reasoning about simply typed lambda terms, LFCS 2018 - Logical Foundations of Computer Science, Florida, USA, January 2018, Lecture Notes in Computer Science 10703: 170-189. doi