Gilezan, Silvia

Type

Date issued

102 2000 - 2027
18 1901 - 1999

Mp-cat.

75 М30/М60
13 M20/M50
10 M22
8 M10/M40
6 other
3 M21
3 M23
1 M53
1 M70

Date issued - custom

Year from:

Year to:

Results 41-60 of 120 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2016	Probabilistic reasoning in types systems	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2016	Precise subtyping for synchronous multiparty sessions	Mariangiola Dezani-Ciancaglini; Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida	Conference Paper	Mp. category will be shown later
2016	Probabilistic reasoning in type systems	Ghilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2016	A typed model for dynamic authorizations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres	Conference Paper	Mp. category will be shown later
2016	Encoding of multilevel S-threshold functions	Pantović, Jovanka ; Gilezan, Silvia K. ; Žunić, Joviša	Article	21M21
2016	Dynamic Role Authorisation in Multiparty Conversations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo	Article	22M22
2016	Towards probabilistic reasoning about lambda terms with intersection types	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2016	Denotational and operational preciseness of subtyping: A roadmap	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko	Conference Paper	Mp. category will be shown later
2015	An optimisation of lambda type assignments via resource control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2015	Structural rules and resource control in logic and computation	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Book parts	Mp. category will be shown later
2015	Logic in Computer Science II	Gilezan, Silvia	Monograph	Mp. category will be shown later
2015	Normalisation in substructural term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2015	Types in Access Control and Privacy	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2015	An Optimization of Lambda Type assignments via Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Article	Mp. category will be shown later
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	Article	21M21
2015	Linked data privacy	Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia	Article	22M22
2015	Intersection Types Fit Well with Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Conference Paper	Mp. category will be shown later
2015	Finite vs Infinite - 'A lesson on scientific rigor and mathematical preciseness	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
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 ; Дорословачки, Ксенија	Text book	Mp. category will be shown later
2014	Preciseness of subtyping on intersection and union types	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later