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-8 of 8 (Search time: 0.004 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia | Types and Privacy : Invited talk | Oct-2016 | 1st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, Cyprus | M32 |
2 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 10-Feb-2016 | Electronic 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 | |
3 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | A typed model for dynamic authorizations | 10-Feb-2016 | Electronic 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 | |
4 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | Dynamic role authorization in multiparty conversations | 1-Jan-2016 | Formal Aspects of Computing; 28(4); 643-667 | M23 |
5 | Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša | Encoding of multilevel S-threshold functions | 1-Jan-2016 | Journal of Multiple-Valued Logic and Soft Computing; 26(1-2); 89-108 | M23 |
6 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Denotational and operational preciseness of subtyping: A roadmap | 1-Jan-2016 | Lecture 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-172 | M33 |
7 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning in type systems | 2016 | 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24 | M34 |
8 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about lambda terms with intersection types | 2016 | The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016 | M34 |
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 |