Simona Kasterovic

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Overlay Network

Probabilistic Reasoning

Database Query Languages

Sound And Complete Axiomatization

Top Venues

J. Log. Comput.

Publications

Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR (2023)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS (2023)
Simona Kasterovic, Silvia Ghilezan
Logic of Combinatory Logic. CoRR (2022)
Silvia Ghilezan, Simona Kasterovic
Semantics for Combinatory Logic With Intersection Types. Frontiers Comput. Sci. 4 (2022)
Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19 (3) (2022)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Pierre Lescanne
L-types for resource awareness: an implicit name approach. CoRR (2021)
Simona Kasterovic, Silvia Ghilezan
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. J. Log. Comput. 30 (8) (2020)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS (2020)
Simona Kasterovic, Michele Pagani
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus. FSCD (2019)
Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
Probabilistic Reasoning About Simply Typed Lambda Terms. LFCS (2018)