Gilezan, Silvia

Tip

Godina

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 41-60 od 119 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2016	Precise subtyping for synchronous multiparty sessions	Mariangiola Dezani-Ciancaglini; Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Encoding of multilevel S-threshold functions	Pantović, Jovanka ; Gilezan, Silvia K. ; Žunić, Joviša	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2016	A typed model for dynamic authorizations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Probabilistic reasoning in types systems	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Dynamic Role Authorisation in Multiparty Conversations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2016	Towards probabilistic reasoning about lambda terms with intersection types	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Denotational and operational preciseness of subtyping: A roadmap	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2015	Types in Access Control and Privacy	Gilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2015	An Optimization of Lambda Type assignments via Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Naučni članak	Mp kategorija će biti prikazana naknadno.
2015	Combining behavioural types with security analysis	Bartoletti, 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	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2015	Normalisation in substructural term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2015	An optimisation of lambda type assignments via resource control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2015	Logic in Computer Science II	Gilezan, Silvia	Monografija	Mp kategorija će biti prikazana naknadno.
2015	Structural rules and resource control in logic and computation	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2015	Linked data privacy	Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2015	Intersection Types Fit Well with Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2015	Finite vs Infinite - 'A lesson on scientific rigor and mathematical preciseness	Gilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Zbirka rešenih zadataka iz verovatnoće i statistike	Gilezan, Silvia ; Lužanin, Zorana ; Grbić, Tatjana ; Mihailović, Biljana ; Nedović, Ljubo ; Ovcin, Zoran ; Ivetić, Jelena ; Дорословачки, Ксенија	Udžbenik	Mp kategorija će biti prikazana naknadno.
2014	Resource control and intersection types: an intrinsic connection	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Naučni članak	Mp kategorija će biti prikazana naknadno.
2014	Some Advantages of the Lambda Calculi with Resourse Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Konferencijski rad	Mp kategorija će biti prikazana naknadno.