Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ghilezan, Silvia
106  Ergebnisse:
Personensuche X
?
1

A Simple Python Testbed for Federated Learning Algorithms:

, In: 2023 Zooming Innovation in Consumer Technologies Conference (ZINC),
Popovic, Miroslav ; Popovic, Marko ; Kastelan, Ivan.. - p. 148-153 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Privacy-preserving contact tracing:

, In: Mathematics for Human Flourishing in the Time of COVID-19 and Post COVID-19,
Ghilezan, Silvia ; Stefanović, Tamara - p. 171-182 , 2023
Link: https://doi.org/10.1515/..
 
?
3

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/..
 
?
4

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic.  , 2022
Link: https://doi.org/10.1145/..
 
?
5

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/..
 
?
6

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic.  24 (2022)  2 - p. 1-73 , 2022
Link: https://doi.org/10.1145/..
 
?
7

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/..
 
?
8

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-28 , 2021
Link: https://doi.org/10.1145/..
 
?
9

23rd International Symposium on Principles and Practice of ..:

Veltri, Niccolò ; Benton, Nick ; Ghilezan, Silvia , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Type Systems for Trustworthiness –- from Mathematics to Lar..:

, In: 7th Conference on the Engineering of Computer Based Systems,
Ghilezan, Silvia - p. 1-2 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Preserving Privacy in Caller ID Applications:

, In: IFIP Advances in Information and Communication Technology; Privacy and Identity Management,
Stefanović, Tamara ; Ghilezan, Silvia - p. 151-168 , 2021
Link: https://doi.org/10.1007/..
 
?
13

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/..
 
?
14

Logic and Applications - LAP Meeting:

, In: Logic, Language, and Security; Lecture Notes in Computer Science,
Šikić, Zvonimir ; Ghilezan, Silvia ; Ognjanović, Zoran. - p. 98-100 , 2020
Link: https://doi.org/10.1007/..
 
?
15

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/..
 
1-15