Истраживачи

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

Резултати 61-77 од 77
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2013Reducibility method and resource controlGilezan, Silvia  ; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Proof TheoryGilezan, Silvia  ; Barendregt, HenkПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2012Types and Roles for Web SecurityGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Dezani-Cianciaglini, MariangiolaНаучни чланак
53M53 - Национални часопис категорије M53
2012The resource control and strong normalisationGhilezan, Silvia  ; Ivetić, Jelena  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Intersection types and related systemsGilezan, Silvia  ; Paolini, LucaНаучни чланак
22M22 - Међународни часопис категорије M22
2012A journey through resource control lambda calculi and explicit substitution using intersection typesGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2012Intersection types for explicit substitution with resource controlIvetić, Jelena  ; Silvia Gilezan  ; Pierre Lescanne; Silvia Likavec  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Privacy for Linked DataGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Computational interpretation of classical logic with explicit structural rulesSilvia Ghilezan  ; Pierre Lescanne; Žunić, Dragiša  Остало
Мп категорија ће бити приказана накнадно.
2012Računske interpretacije intuicionističke i klasične logikeGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Proof Theory Chapter 6CGilezan, Silvia  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011Intersection types for the resource control lambda calculiSilvia Ghilezan  ; Ivetić, Jelena  ; Silvia Likavec  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011Resource control calculiGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2011Types for role-based access control of dynamic web dataGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Mariangiola, Dezani-CianciagliniКонференцијски рад
Мп категорија ће бити приказана накнадно.
2010Computational interpretations of logicGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2010Resource control in sequent lambda calculusGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.