Година
Резултати 1-20 од 37
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | Semantics for Combinatory Logic With Intersection Types | Ghilezan, Silvia  ; Kašterović, Simona  | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2022 | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | Probabilistic Reasoning about Typed Combinatory Logic | Kašterović, Simona ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Differential Privacy and Applications | Stefanović, Tamara ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus | Kašterović, Simona ; Ghilezan, Silvia | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2021 | Towards Logic of Combinatory Logic | Kašterović, Simona ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Types and Privacy : Invited talk | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Types in access control and privacy : Invited talk | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Overview of the publication “Selected Topics in Logic in Computer Science” | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Reducibility method: an overview | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Proof Theory: Applications | Ghilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection Types and Related Systems. Preface | Ghilezan, Silvia ; Paolini, Luca | Остало | Мп категорија ће бити приказана накнадно. |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2008 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele | Научни чланак | 22M22 - Међународни часопис категорије M22 |