Истраживачи

Филтрирано по:
Година:  [2010 TO 2019]

Резултати 1-20 од 77
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2019Formal Verification of Local and Distributed Python Software Transactional MemoriesPopović, Marko; Popović, Miroslav  ; Gilezan, Silvia K.  ; KORDIĆ, BRANISLAV A.  Научни чланак
22M22 - Међународни часопис категорије M22
2019Precise subtyping for synchronous multiparty sessionsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Scalas, Alceste; Yoshida, NobukoНаучни чланак
21M21 - Водећи међународни часопис категорије M21
2019The Duality of Classical Intersection and Union TypesDownen, Paul; Ariola, Zena M.; Gilezan, Silvia  Научни чланак
22M22 - Међународни часопис категорије M22
2019Formal verification of python software transactional memory serializability based on the push/pull semantic modelPopovic, Miroslav  ; Popovic, Marko; Gilezan, Silvia  ; Kordić, Branislav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Formal verification of python software transactional memory based on timed automataKORDIĆ, BRANISLAV A.  ; Popović, Miroslav  ; Gilezan, Silvia K.  Научни чланак
22M22 - Међународни часопис категорије M22
2019Kripke Semantics for Lambda Calculus - with Pairs and Disjoint SumsKašterović, Simona  ; Gilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Denotational and Operational Preciseness of Subtyping : Invited talkGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Kripke Semantics for Lambda Calculus with Pairs and Disjoint SumsKašterović, Simona; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savic, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018Preciseness of Subtyping: from extensional to intensional aspects : Invited talkGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Towards probabilistic reasoning about typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018PrefaceGhilezan, Silvia  ; Geuvers, Herman; Ivetić, Jelena  Остало
Мп категорија ће бити приказана накнадно.
2018Preciseness of Subtyping: from extensional to intensional aspectsGilezan, Silvia K.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Doctoral School towards Knowledge Based SocietyGilezan, Silvia K.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Mathematical methods for privacy protectionTodorović, Milan  ; Gilezan, Silvia  ; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Doctoral School towards Knowledge Based Society : Invited talkGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017An approach to formal verification of python software transactional memoryKordić, Branislav  ; Popović, Miroslav  ; Gilezan, Silvia  ; Bašičević, IlijaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2017Characterization of strong normalizability for a lambda-calculus with co-controlEspirito Santo, Jose; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Towards Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, Nenad Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Sound and complete subtyping on intersection and union typesGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.