Истраживачи

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

Резултати 21-40 од 77
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2017Probabilistic reasoning with lambda termsKašterović, Simona; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Denotational and Operational Preciseness of SubtypingGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Characterization of strong normalizability for a sequent lambda calculus with co-controlGilezan, Silvia  ; Espirito Santo, J.Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Introduction to Type Theory : Invited talkGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Matematički metodi i zaštita privatnostiGilezan, Silvia  ; Ognjanović, Zoran  ; Todorović, Milan  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016A typed model for dynamic authorizationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Pérez, Jorge A.; Vieira, Hugo TorresКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016Encoding of multilevel S-threshold functionsPantović, Jovanka  ; Gilezan, Silvia K.  ; Žunić, Joviša  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2016Probabilistic reasoning in types systemsGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Precise subtyping for synchronous multiparty sessionsMariangiola Dezani-Ciancaglini; Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Nobuko YoshidaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016Probabilistic reasoning in type systemsGhilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016Dynamic Role Authorisation in Multiparty ConversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, A. Jorge; Torres, Vieira HugoНаучни чланак
22M22 - Међународни часопис категорије M22
2016Towards probabilistic reasoning about lambda terms with intersection typesGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, NobukoКонференцијски рад
Мп категорија ће бити приказана накнадно.
2015An Optimization of Lambda Type assignments via Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Научни чланак
Мп категорија ће бити приказана накнадно.
2015Normalisation in substructural term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Конференцијски рад
Мп категорија ће бити приказана накнадно.
2015Combining behavioural types with security analysisBartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia  ; Pantović, Jovanka  ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo TorresНаучни чланак
21M21 - Водећи међународни часопис категорије M21
2015Structural rules and resource control in logic and computationGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2015An optimisation of lambda type assignments via resource controlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Конференцијски рад
Мп категорија ће бити приказана накнадно.
2015Logic in Computer Science IIGilezan, Silvia  Монографија
Мп категорија ће бити приказана накнадно.
2015Types in Access Control and PrivacyGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.