Simona Kasterovic

According to our database, Simona Kasterovic authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

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

2022

Semantics for Combinatory Logic With Intersection Types.

Silvia Ghilezan, Simona Kasterovic

Frontiers Comput. Sci., 2022

Logic of Combinatory Logic.

Simona Kasterovic, Silvia Ghilezan

CoRR, 2022

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

2021

L-types for resource awareness: an implicit name approach.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Pierre Lescanne

CoRR, 2021

2020

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.

Simona Kasterovic, Silvia Ghilezan

J. Log. Comput., 2020

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019

The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus.

Simona Kasterovic, Michele Pagani

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Probabilistic Reasoning About Simply Typed Lambda Terms.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018