Истраживачи
Gilezan, Silvia
Резултати 1-20 од 77
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories![]() | Popović, Marko; Popović, Miroslav | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Precise subtyping for synchronous multiparty sessions![]() | Gilezan, Silvia | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2019 | The Duality of Classical Intersection and Union Types![]() | Downen, Paul; Ariola, Zena M.; Gilezan, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model![]() | Popovic, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Formal verification of python software transactional memory based on timed automata![]() | KORDIĆ, BRANISLAV A. | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums![]() | Kašterović, Simona | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Denotational and Operational Preciseness of Subtyping : Invited talk![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums![]() | Kašterović, Simona; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Probabilistic reasoning about simply typed lambda terms![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Towards probabilistic reasoning about typed lambda terms![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Preface![]() | Ghilezan, Silvia | Остало | Мп категорија ће бити приказана накнадно. |
| 2018 | Preciseness of Subtyping: from extensional to intensional aspects![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Doctoral School towards Knowledge Based Society![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Mathematical methods for privacy protection![]() | Todorović, Milan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Doctoral School towards Knowledge Based Society : Invited talk![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | An approach to formal verification of python software transactional memory![]() | Kordić, Branislav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Characterization of strong normalizability for a lambda-calculus with co-control![]() | Espirito Santo, Jose; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Sound and complete subtyping on intersection and union types![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
