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 21-40 of 120 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2019	Formal verification of python software transactional memory based on timed automata	KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K.	Article	22M22
2019	Precise subtyping for synchronous multiparty sessions	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko	Article	21M21
2019	The Duality of Classical Intersection and Union Types	Downen, Paul; Ariola, Zena M.; Gilezan, Silvia	Article	22M22
2018	Preciseness of Subtyping: from extensional to intensional aspects : Invited talk	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Conference Paper	Mp. category will be shown later
2018	Doctoral School towards Knowledge Based Society : Invited talk	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2018	Towards probabilistic reasoning about typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2018	Doctoral School towards Knowledge Based Society	Gilezan, Silvia K.	Conference Paper	Mp. category will be shown later
2018	Preciseness of Subtyping: from extensional to intensional aspects	Gilezan, Silvia K.	Conference Paper	Mp. category will be shown later
2018	Mathematical methods for privacy protection	Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran	Conference Paper	Mp. category will be shown later
2018	Preface	Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena	Other	Mp. category will be shown later
2017	Characterization of strong normalizability for a sequent lambda calculus with co-control	Gilezan, Silvia ; Espirito Santo, J.	Conference Paper	Mp. category will be shown later
2017	Introduction to Type Theory : Invited talk	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2017	Characterization of strong normalizability for a lambda-calculus with co-control	Espirito Santo, Jose; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2017	Probabilistic reasoning with lambda terms	Kašterović, Simona; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2017	Denotational and Operational Preciseness of Subtyping	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2017	Matematički metodi i zaštita privatnosti	Gilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan	Conference Paper	Mp. category will be shown later
2017	An approach to formal verification of python software transactional memory	Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija	Conference Paper	Mp. category will be shown later
2017	Sound and complete subtyping on intersection and union types	Gilezan, Silvia	Conference Paper	Mp. category will be shown later