Istraživači
Gilezan, Silvia
Rezultati 21-40 od 120
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A.   ; Popović, Miroslav ; Gilezan, Silvia K. | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2019 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2019 | The Duality of Classical Intersection and Union Types | Downen, Paul; Ariola, Zena M.; Gilezan, Silvia | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2018 | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Doctoral School towards Knowledge Based Society : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Doctoral School towards Knowledge Based Society | Gilezan, Silvia K. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Preciseness of Subtyping: from extensional to intensional aspects | Gilezan, Silvia K. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Mathematical methods for privacy protection | Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Preface | Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Gilezan, Silvia ; Espirito Santo, J. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Introduction to Type Theory : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Characterization of strong normalizability for a lambda-calculus with co-control | Espirito Santo, Jose; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Probabilistic reasoning with lambda terms | Kašterović, Simona; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Denotational and Operational Preciseness of Subtyping | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Sound and complete subtyping on intersection and union types | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |