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 combinatory logic | classical propositional logic | simple types | axiomatization | semantics | soundness | completeness
- 1 Covid-19 | Digital Contact Tracing | Structured Overlay Networks
- 1 Data Privacy | Blockchain | Contact Tracing
- 1 Differential Privacy | Privacy on Graphs | Location Privacy | Blockchain
- 1 Logic in computer science
- 1 Privacy | Internet of Things | Cloud computing | Mathematical models | Formal methods
- 1 Probabilistic reasoning | combinatory logic | simple types | classical propositional logic
Date issued
Type
Results 1-20 of 30 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Kašterović, Simona; Ghilezan, Silvia | Probabilistic Reasoning about Typed Combinatory Logic | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31 | M34 |
2 | Stefanović, Tamara; Ghilezan, Silvia ; Kašterović, Simona | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 47-48 | M34 |
3 | Kašterović, Simona; Ghilezan, Silvia | Towards Logic of Combinatory Logic | 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; 34-36 | M34 |
4 | 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 |
5 | Stefanović, Tamara; Ghilezan, Silvia | Differential Privacy and Applications | 2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54 | M34 |
6 | Stefanović, Tamara; Ghilezan, Silvia | An overview of Mathematical Models of Data Privacy | Sep-2020 | Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 27-29 | M34 |
7 | Kašterović, Simona; Ghilezan, Silvia | Kripke-style semantics for Full Simply Types Lambda Calculus | Sep-2020 | Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 12-14 | M34 |
8 | Ghilezan, Silvia ; Kašterović, Simona | Towards Completeness of Full Simply Typed Lambda Calculus | Mar-2020 | 26th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italy; 164-166 | M34 |
9 | Kašterović, Simona; Ghilezan, Silvia | Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums | Sep-2019 | Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25 | M34 |
10 | 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 |
11 | 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 |
12 | Ghilezan, Silvia | Sound and complete subtyping on intersection and union types | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17 | M34 |
13 | Kašterović, Simona; Ghilezan, Silvia | Probabilistic reasoning with lambda terms | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, Croatia | M34 |
14 | Espirito Santo, Jose; Ghilezan, Silvia | Characterization of strong normalizability for a lambda-calculus with co-control | Jun-2017 | TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58 | M34 |
15 | Ghilezan, Silvia | Denotational and Operational Preciseness of Subtyping | Jan-2017 | EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, Slovenia | M34 |
16 | 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 |
17 | 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 |
18 | Ghilezan, Silvia | Overview of the publication “Selected Topics in Logic in Computer Science” | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 19-20 | M34 |
19 | Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | An optimization of lambda type assignment via resource control | 2015 | International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23 | M34 |
20 | Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | An optimisation of lambda type assignments via resource control | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22 | 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 |