Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Type
Results 1-10 of 10 (Search time: 0.003 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic reasoning about simply typed lambda terms | Nov-2017 | Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12 | |
2 | Santo, José Espírito; Ghilezan, Silvia | Characterization of strong normalizability for a sequent lambda calculus with co-control | 9-Oct-2017 | ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174 | |
3 | Ghilezan, Silvia | Sound and complete subtyping on intersection and union types | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17 | M34 |
4 | Kašterović, Simona; Ghilezan, Silvia | Probabilistic reasoning with lambda terms | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, Croatia | M34 |
5 | Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, Ilija | An approach to formal verification of python software transactional memory | 31-Aug-2017 | ACM 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 | |
6 | Ghilezan, Silvia | Introduction to Type Theory : Invited talk | Jul-2017 | EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia | M32 |
7 | Espirito Santo, Jose; Ghilezan, Silvia | Characterization of strong normalizability for a lambda-calculus with co-control | Jun-2017 | TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58 | M34 |
8 | Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia | Linked data privacy | 1-Jan-2017 | Mathematical Structures in Computer Science; 27(1); 33-53 | M22 |
9 | Ghilezan, Silvia | Denotational and Operational Preciseness of Subtyping | Jan-2017 | EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, Slovenia | M34 |
10 | Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | Matematicki metodi i zastita privatnosti | 2017 | Privatnost u digitalnom dobu: iluzija ili nacionalni izazov | M60 |
Results 1-2 of 2 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |