Ghilezan, Silvia

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 61-80 of 139 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
61Ghilezan, Silvia Types in access control and privacy : Invited talk2015NII Shonan meeting 069: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, JapanM32
62Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaStructural rules and resource control in logic and computation2015Logic in Computer Science; 18(26); 79-109M14
63Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadAn optimisation of lambda type assignments via resource control2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22M34
64Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types fit well with resource control201521. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, EstoniaM34
65Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadNormalisation in substructural term calculi2015UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, TurkeyM34
66Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
67Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša On the number of S-threshold functions on not necessarily binary input1-Jan-2014Proceedings of The International Symposium on Multiple-Valued Logic; 44th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2014; Bremen; Germany; 19 May 2014 through 21 May 2014; 13-18
68Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2014Electronic Proceedings in Theoretical Computer Science, EPTCS; 3rd Workshop on Behavioural Types, BEAT 2014; Rome; Italy; 1 September 2014; 162; 1-8
69Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Preciseness of subtyping on intersection and union types1-Jan-2014Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 25th International Conference on Rewriting Techniques and Applications, RTA 2014 and 12th International Conference on Typed Lambda Calculus and Applications, TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014; Vienna; Austria; 14 July 2014 through 17 July 2014; 8560 LNCS; 194-207M33
70Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaSome advantages of the lambda calculi with resource control2014Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014M34
71Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaApproaching substructural term calculi via the resource control calculus2014LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14M34
72Ghilezan, Silvia ; Ivetić, Jelena; Likaves, SilviaChurch-Rosser Theorem for sequent lambda calculi2014TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, FranceM34
73Ghilezan, Silvia Lambek's computational approach to conjugation2014LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8M34
74Ghilezan, Silvia Computational approach to conjugation2014VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia; 33M34
75Ghilezan, Silvia Proof Theory: Applications1-Jan-2013Lambda Calculus with Types; 323-376M14
76Borisavljević, Mirjana; Ghilezan, Silvia ; Janičić, Predrag; Krapež, Aleksandar ; Kurilić, Miloš; Mijajlović, Žarko; Marković, Zoran ; Ognjanović, Zoran ; Pantović, Jovanka; Petrić, Zoran ; Stanković, Miomir S.; Stanković, Radomir ; Stojmenović, Ivan; Vukomanović, ĐorđeHistory of Mathematical Logic in Serbia2013Logic in Central and Eastern Europe History, Science, and Discourse; 470-495M14
77Ghilezan, Silvia Reducibility method: an overview2013LAP 2013 - 2nd Conference Logic and Applications, Dubrovnik, Croatia, 16-21/09/2013; 2-3
78Ghilezan, Silvia ; Likavec, SilviaReducibility method and resource control2013UNILOG 2013 - The 4th World Congress on Universal Logic, 29/03-04/04/2013, Rio de Janeiro, Brasil; 161-162
79Ghilezan, Silvia Reducibility method and logical relations in intuitionistic logic and programming languages2013CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, SerbiaM32
80Ghilezan, Silvia ; Paolini, LucaIntersection Types and Related Systems. Preface1-Dec-2012Fundamenta Informaticae; 121(1-4)M23

Projects


Results 1-2 of 2 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia