Истраживачи
Gilezan, Silvia
Резултати 41-60 од 119
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | Encoding of multilevel S-threshold functions | Pantović, Jovanka   ; Gilezan, Silvia K. ; Žunić, Joviša | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2016 | Precise subtyping for synchronous multiparty sessions | Mariangiola Dezani-Ciancaglini; Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in type systems | Ghilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Combining behavioural types with security analysis | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Logic in Computer Science II | Gilezan, Silvia | Монографија | Мп категорија ће бити приказана накнадно. |
| 2015 | Structural rules and resource control in logic and computation | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Finite vs Infinite - 'A lesson on scientific rigor and mathematical preciseness | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Linked data privacy | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2015 | Types in Access Control and Privacy | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Lambek's computational approach to conjugation | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Resource control and intersection types: an intrinsic connection | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Научни чланак | 23M23 - Међународни часопис категорије M23 |