Истраживачи

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

Резултати 41-60 од 77
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2015Linked data privacyJakšić, Svetlana ; Pantović, Jovanka  ; Gilezan, Silvia  Научни чланак
22M22 - Међународни часопис категорије M22
2015Intersection Types Fit Well with Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2015Finite vs Infinite - 'A lesson on scientific rigor and mathematical precisenessGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Lambek's computational approach to conjugationGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2014Internationalisation of Doctoral education - a good practiseGilezan, Silvia  ; Ivetić, Jelena  ; Marković, Zoran; Ognjanović, Zoran  ; Pantović, Jovanka  ; Davidović, Tatjana  ; M. Lenisa; Stojaković, Mila  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014On the number of S-threshold functions on not necessarily binary inputPantović, Jovanka  ; Gilezan, Silvia  ; Žunić, Joviša  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Approaching substructural term calculi via the resource control calculusGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Preciseness of subtyping on intersection and union typesDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Some Advantages of the Lambda Calculi with Resourse ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Binary relations and algebras on multisetsGhilezan, Silvia  ; Pantović, Jovanka  ; Vojvodic, GradimirНаучни чланак
23M23 - Међународни часопис категорије M23
2014Zbirka rešenih zadataka iz verovatnoće i statistikeGilezan, Silvia  ; Lužanin, Zorana  ; Grbić, Tatjana  ; Mihailović, Biljana  ; Nedović, Ljubo  ; Ovcin, Zoran  ; Ivetić, Jelena  ; Дорословачки, Ксенија  Уџбеник
Мп категорија ће бити приказана накнадно.
2014Dynamic role authorization in multiparty conversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, Jorge; Hugo Torres, VieiraКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Computational approach to conjugationGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Živa teorema, Sedrik VilaniGilezan, Silvia  Монографија
Мп категорија ће бити приказана накнадно.
2013Reducibility method and logical relations in intuitionistic logic and programming languagesGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Constructive approach to relevant and affine term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013History of Mathematical Logic in SerbiaBorisavljević, Mirjana  ; Đorđe Vukomanović; Gilezan, Silvia  ; Janičić, Predrag Đ.  ; Krapež, Aleksandar  ; Kurilić, Miloš S.  ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran  ; Pantović, Jovanka  ;
Petrić, Zoran  ; Miomir Stanković; Stanković, Radomir  ; Ivan Stojmenović;
Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2013Resource aware computing with proofsGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Resource control and strong normalisationGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.