Истраживачи
Gilezan, Silvia
Резултати 21-40 од 77
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2017 | Probabilistic reasoning with lambda terms![]() | Kašterović, Simona; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Denotational and Operational Preciseness of Subtyping![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Introduction to Type Theory : Invited talk![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Matematički metodi i zaštita privatnosti![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | A typed model for dynamic authorizations![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Encoding of multilevel S-threshold functions![]() | Pantović, Jovanka | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2016 | Probabilistic reasoning in types systems![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Precise subtyping for synchronous multiparty sessions![]() | Mariangiola Dezani-Ciancaglini; Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in type systems![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations![]() | Gilezan, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap![]() | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control![]() | Gilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Normalisation in substructural term calculi![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Combining behavioural types with security analysis![]() | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2015 | Structural rules and resource control in logic and computation![]() | Gilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Logic in Computer Science II![]() | Gilezan, Silvia | Монографија | Мп категорија ће бити приказана накнадно. |
| 2015 | Types in Access Control and Privacy![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
