Probabilistic Reasoning About Simply Typed Lambda Terms. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (LFCS, 2018)

The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus. - Simona Kasterovic; Michele Pagani (FSCD, 2019)

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (FoIKS, 2020)

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. - Simona Kasterovic; Silvia Ghilezan (J. Log. Comput., 2020)

L-types for resource awareness: an implicit name approach. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Pierre Lescanne (CoRR, 2021)

Federating digital contact tracing using structured overlay networks. - Silvia Ghilezan; Simona Kasterovic; Luigi Liquori; Bojan Marinkovic; Zoran Ognjanovic; Tamara Stefanovic (Comput. Sci. Inf. Syst., 2022)

Logic of Combinatory Logic. - Simona Kasterovic; Silvia Ghilezan (CoRR, 2022)

Semantics for Combinatory Logic With Intersection Types. - Silvia Ghilezan; Simona Kasterovic (Frontiers Comput. Sci., 2022)

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. - Ivan Prokic; Silvia Ghilezan; Simona Kasterovic; Miroslav Popovic; Marko Popovic; Ivan Kastelan (ECBS, 2023)