Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Covid-19 | Digital Contact Tracing | Structured Overlay Networks
- 1 Intersection types | Kripke-style semantics | Lambda calculus | Probabilistic reasoning | Soundness
- 1 Privacy | Internet of Things | Cloud computing | Mathematical models | Formal methods
- 1 Probabilistic logic | Simply typed lambda calculus | Soundness | Strong completeness
- 1 simply typed lambda calculus | probabilistic logic | soundness | strong completeness
Date issued
Type
Results 1-9 of 9 (Search time: 0.004 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Federating Digital Contact Tracing using Structured Overlay Networks | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 28-30 | M34 |
2 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | 1-Jan-2020 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139 | M33 |
3 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about typed lambda terms | Jun-2018 | TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42 | M34 |
4 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning about simply typed lambda terms | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189 | M33 |
5 | Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran | Mathematical methods for privacy protection | 2018 | Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43 | M34 |
6 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic reasoning about simply typed lambda terms | Nov-2017 | Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12 | |
7 | Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | Matematicki metodi i zastita privatnosti | 2017 | Privatnost u digitalnom dobu: iluzija ili nacionalni izazov | M60 |
8 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning in type systems | 2016 | 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24 | M34 |
9 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about lambda terms with intersection types | 2016 | The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016 | M34 |
Results 1-2 of 2 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |