Gilezan, Silvia

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 119 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2019	Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums	Kašterović, Simona; Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	Denotational and Operational Preciseness of Subtyping : Invited talk	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Mathematical methods for privacy protection	Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Towards probabilistic reasoning about typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Preciseness of Subtyping: from extensional to intensional aspects : Invited talk	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Preface	Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena	Остало	Мп категорија ће бити приказана накнадно.
2018	Preciseness of Subtyping: from extensional to intensional aspects	Gilezan, Silvia K.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Doctoral School towards Knowledge Based Society	Gilezan, Silvia K.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Doctoral School towards Knowledge Based Society : Invited talk	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	An approach to formal verification of python software transactional memory	Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Characterization of strong normalizability for a sequent lambda calculus with co-control	Gilezan, Silvia ; Espirito Santo, J.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Matematički metodi i zaštita privatnosti	Gilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Sound and complete subtyping on intersection and union types	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Introduction to Type Theory : Invited talk	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Denotational and Operational Preciseness of Subtyping	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Probabilistic reasoning with lambda terms	Kašterović, Simona; Ghilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	A typed model for dynamic authorizations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres	Konferencijski rad	Mp kategorija će biti prikazana naknadno.