Istraživači
Gilezan, Silvia
Rezultati 41-60 od 119
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | Encoding of multilevel S-threshold functions | Pantović, Jovanka   ; Gilezan, Silvia K. ; Žunić, Joviša | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2016 | Probabilistic reasoning in type systems | Ghilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Precise subtyping for synchronous multiparty sessions | Mariangiola Dezani-Ciancaglini; Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Types in Access Control and Privacy | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2015 | Logic in Computer Science II | Gilezan, Silvia | Monografija | Mp kategorija će biti prikazana naknadno. |
| 2015 | Structural rules and resource control in logic and computation | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Linked data privacy | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2015 | Finite vs Infinite - 'A lesson on scientific rigor and mathematical preciseness | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Lambek's computational approach to conjugation | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Resource control and intersection types: an intrinsic connection | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |