Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kašterović, Simona
18  Ergebnisse:
Personensuche X
?
1

Correct Orchestration of Federated Learning Generic Algorit..:

, In: Engineering of Computer-Based Systems; Lecture Notes in Computer Science,
Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona... - p. 274-288 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Semantics for Combinatory Logic With Intersection Types:

Ghilezan, Silvia ; Kašterović, Simona
Frontiers in Computer Science.  4 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
3

Federating digital contact tracing using structured overlay..:

Ghilezan, Silvia ; Kasterovic, Simona ; Liquori, Luigi...
Computer Science and Information Systems.  19 (2022)  3 - p. 1261-1282 , 2022
Link: https://doi.org/10.2298/..
 
?
4

Kripke-style Semantics and Completeness for Full Simply Typ..:

Kašterović, Simona ; Ghilezan, Silvia
Journal of Logic and Computation.  30 (2020)  8 - p. 1567-1608 , 2020
Link: https://doi.org/10.1093/..
 
?
5

Towards Probabilistic Reasoning in Type Theory - The Inters..:

, In: Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems,
Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona.. - p. 122-139 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Correct orchestration of Federated Learning generic algorit..:

Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona...
http://arxiv.org/abs/2306.14529.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Logic of Combinatory Logic:

Kašterović, Simona ; Ghilezan, Silvia
http://arxiv.org/abs/2212.06675.  , 2022
Link: http://arxiv.org/abs/221..
 
?
8

Federating Digital Contact Tracing using Structured Overlay..:

Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi...
info:eu-repo/semantics/altIdentifier/doi/10.2298/CSIS210825029G.  , 2022
Link: https://inria.hal.scienc..
 
?
9

Federating Digital Contact Tracing using Structured Overlay..:

Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi...
hal-03127890.  , 2021
Link: https://hal.inria.fr/hal..
 
?
10

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

Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona.
info:eu-repo/semantics/altIdentifier/arxiv/2112.11062.  , 2021
Link: https://hal.science/hal-..
 
?
11

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

Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona.
info:eu-repo/semantics/altIdentifier/arxiv/2112.11062.  , 2021
Link: https://hal.archives-ouv..
 
?
12

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

Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona.
info:eu-repo/semantics/altIdentifier/arxiv/2112.11062.  , 2021
Link: https://hal.science/hal-..
 
?
13

Federating Digital Contact Tracing using Structured Overlay..:

Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi...
hal-03127890.  , 2021
Link: https://hal.inria.fr/hal..
 
?
14

Federating Digital Contact Tracing using Structured Overlay..:

Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi...
hal-03127890.  , 2021
Link: https://hal.inria.fr/hal..
 
?
15

Federating Digital Contact Tracing using Structured Overlay..:

Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi...
hal-03127890.  , 2021
Link: https://hal.inria.fr/hal..
 
1-15