Researchers
Ghilezan, Silvia
Results 1-20 of 37
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2022 | Semantics for Combinatory Logic With Intersection Types | Ghilezan, Silvia  ; Kašterović, Simona  | Article | 22M22 |
| 2022 | Probabilistic Reasoning about Typed Combinatory Logic | Kašterović, Simona ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2022 | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona | Conference Paper | Mp. category will be shown later |
| 2021 | Differential Privacy and Applications | Stefanović, Tamara ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2021 | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus | Kašterović, Simona ; Ghilezan, Silvia | Article | 21M21 |
| 2021 | Towards Logic of Combinatory Logic | Kašterović, Simona ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Conference Paper | Mp. category will be shown later |
| 2016 | Types and Privacy : Invited talk | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2015 | Types in access control and privacy : Invited talk | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2015 | Overview of the publication “Selected Topics in Logic in Computer Science” | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Reducibility method: an overview | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Proof Theory: Applications | Ghilezan, Silvia | Book parts | Mp. category will be shown later |
| 2012 | Intersection Types and Related Systems. Preface | Ghilezan, Silvia ; Paolini, Luca | Other | Mp. category will be shown later |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Article | 23M23 |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Article | Mp. category will be shown later |
| 2008 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele | Article | 22M22 |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Article | 22M22 |