Istraživači
Ghilezan, Silvia
Godina
Rezultati 1-20 od 37
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2022 | Semantics for Combinatory Logic With Intersection Types | Ghilezan, Silvia  ; Kašterović, Simona  | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2022 | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Probabilistic Reasoning about Typed Combinatory Logic | Kašterović, Simona ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Differential Privacy and Applications | Stefanović, Tamara ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus | Kašterović, Simona ; Ghilezan, Silvia | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2021 | Towards Logic of Combinatory Logic | Kašterović, Simona ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Types and Privacy : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Types in access control and privacy : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Overview of the publication “Selected Topics in Logic in Computer Science” | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Reducibility method: an overview | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Proof Theory: Applications | Ghilezan, Silvia | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection Types and Related Systems. Preface | Ghilezan, Silvia ; Paolini, Luca | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2008 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |