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 41-60 of 139 (Search time: 0.006 seconds).

Author(s)TitleIssue DateAppears inRank
41Ghilezan, 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
42Kaš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
43Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, IlijaAn approach to formal verification of python software transactional memory31-Aug-2017ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524
44Ghilezan, Silvia Introduction to Type Theory : Invited talkJul-2017EUTypes Summer School, 10-14 July 2017, Ohird, MacedoniaM32
45Espirito 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
46Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia Linked data privacy1-Jan-2017Mathematical Structures in Computer Science; 27(1); 33-53M22
47Ghilezan, Silvia Denotational and Operational Preciseness of SubtypingJan-2017EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, SloveniaM34
48Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan Matematicki metodi i zastita privatnosti2017Privatnost u digitalnom dobu: iluzija ili nacionalni izazovM60
49Ghilezan, Silvia Types and Privacy : Invited talkOct-20161st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, CyprusM32
50Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions10-Feb-2016Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 29-43
51Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresA typed model for dynamic authorizations10-Feb-2016Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 73-84
52Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2016Formal Aspects of Computing; 28(4); 643-667M23
53Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša Encoding of multilevel S-threshold functions1-Jan-2016Journal of Multiple-Valued Logic and Soft Computing; 26(1-2); 89-108M23
54Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoDenotational and operational preciseness of subtyping: A roadmap1-Jan-2016Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Frank de Boer on the Occasion of His 60th Birthday, 2016; Porto; Portugal; 5 July 2016 through 5 July 2016; 9660; 155-172M33
55Ghilezan, 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
56Ghilezan, 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
57Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo TorresCombining behavioural types with security analysis1-Nov-2015Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780M21
58Ghilezan, Silvia Finite vs Infinite - A lesson on scientific rigor and mathematical preciseness2015Liber Amicorum Henk Barendregt; 34
59Ghilezan, 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
60Ivetić, 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

Projects


Results 1-2 of 2 (Search time: 0.001 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