Istraživači

еНаука > Истраживачи > Prokić, Simona

Kašterović, Simona

Godina

1 2023
2 2022
1 2021
2 2020

Mp-kat.

6 M30/M60

Godina - raspon

Godina od:

Godina do:

Filtrirano po:

Godina: [2020 TO 2025]

Tip: Конференцијски рад

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2023	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP	Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2022	Probabilistic Reasoning about Typed Combinatory Logic	Kašterović, Simona ; Ghilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2022	Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing	Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2021	Towards Logic of Combinatory Logic	Kašterović, Simona ; Ghilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Towards Completeness of Full Simply Typed Lambda Calculus	Ghilezan, Silvia ; Kašterović, Simona	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2020	Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case	Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.