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

Refined By:
Rank:  M34
Date Issued:  [2010 TO 2019]

Results 1-19 of 19 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
1Kašterović, Simona; Ghilezan, Silvia Kripke Semantics for Lambda Calculus with Pairs and Disjoint SumsSep-2019Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25M34
2Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about typed lambda termsJun-2018TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42M34
3Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran Mathematical methods for privacy protection2018Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43M34
4Ghilezan, Silvia Sound and complete subtyping on intersection and union typesSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17M34
5Kašterović, Simona; Ghilezan, Silvia Probabilistic reasoning with lambda termsSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, CroatiaM34
6Espirito Santo, Jose; Ghilezan, Silvia Characterization of strong normalizability for a lambda-calculus with co-controlJun-2017TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58M34
7Ghilezan, Silvia Denotational and Operational Preciseness of SubtypingJan-2017EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, SloveniaM34
8Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning in type systems20165th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24M34
9Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about lambda terms with intersection types2016The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016M34
10Ghilezan, Silvia Overview of the publication “Selected Topics in Logic in Computer Science”2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 19-20M34
11Ivetić, Jelena; Ghilezan, Silvia ; Savić, NenadAn optimization of lambda type assignment via resource control2015International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23M34
12Ghilezan, 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
13Ghilezan, 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
14Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadNormalisation in substructural term calculi2015UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, TurkeyM34
15Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaSome advantages of the lambda calculi with resource control2014Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014M34
16Ghilezan, 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
17Ghilezan, 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
18Ghilezan, Silvia Lambek's computational approach to conjugation2014LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8M34
19Ghilezan, Silvia Computational approach to conjugation2014VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia; 33M34

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