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 1-5 of 5 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Basold, Henning; Cockx, Jesper; Ghilezan, Silvia 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference) - Proceedings2022M36
2Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming2021PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021M36
3Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
4Ghilezan, Silvia ; Geuvers, Herman; Ivetić, JelenaPreface1-Oct-2018Leibniz International Proceedings in Informatics, LIPIcs; 22nd International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 through 26 May 2016; 97; VII
5Ghilezan, 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