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 serializability based on the push/pull semantic model | Popovic, Miroslav   ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Denotational and Operational Preciseness of Subtyping : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums | Kašterović, Simona; Ghilezan, Silvia | 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 | Doctoral School towards Knowledge Based Society : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Preface | Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Ostalo | 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 | 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. |
| 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 | 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 | 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 | 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 | Sound and complete subtyping on intersection and union types | Gilezan, Silvia | 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 | Introduction to Type Theory : Invited talk | 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. |