Simona Kašterović | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Pierre Lescanne
6 publications
Silvia Ghilezan
5 publications
Ivan Prokic
4 publications
Miroslav Popovic
3 publications
Marko Popovic
3 publications
Ivan Kastelan
2 publications
Jelena Ivetić
1 publication

research

∙ 06/26/2023

Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP

Federated learning (FL) is a machine learning setting where clients keep...

0 Ivan Prokic, et al. ∙

research

∙ 12/13/2022

Logic of Combinatory Logic

We develop a classical propositional logic for reasoning about combinato...

0 Simona Kašterović, et al. ∙

research

∙ 12/21/2021

L-types for resource awareness: an implicit name approach

Since the early work of Church on λI-calculus and Gentzen on structural ...

0 Silvia Ghilezan, et al. ∙