Istraživači

Rezultati 41-60 od 119
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2016Encoding of multilevel S-threshold functionsPantović, Jovanka  ; Gilezan, Silvia K.  ; Žunić, Joviša  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2016Probabilistic reasoning in type systemsGhilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, NenadKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Precise subtyping for synchronous multiparty sessionsMariangiola Dezani-Ciancaglini; Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Nobuko YoshidaKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Towards probabilistic reasoning about lambda terms with intersection typesGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Probabilistic reasoning in types systemsGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Dynamic Role Authorisation in Multiparty ConversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, A. Jorge; Torres, Vieira HugoNaučni članak
22M22 - Međunarodni časopis kategorije M22
2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, NobukoKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Types in Access Control and PrivacyGilezan, Silvia  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
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 TorresNaučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2015Normalisation in substructural term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015An Optimization of Lambda Type assignments via Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Naučni članak
Mp kategorija će biti prikazana naknadno.
2015Logic in Computer Science IIGilezan, Silvia  Monografija
Mp kategorija će biti prikazana naknadno.
2015Structural rules and resource control in logic and computationGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescannePoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2015An optimisation of lambda type assignments via resource controlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Linked data privacyJakšić, Svetlana ; Pantović, Jovanka  ; Gilezan, Silvia  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2015Finite vs Infinite - 'A lesson on scientific rigor and mathematical precisenessGilezan, Silvia  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Intersection Types Fit Well with Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Lambek's computational approach to conjugationGilezan, Silvia  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Naučni članak
Mp kategorija će biti prikazana naknadno.
2014Binary relations and algebras on multisetsGhilezan, Silvia  ; Pantović, Jovanka  ; Vojvodic, GradimirNaučni članak
23M23 - Međunarodni časopis kategorije M23