Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Date issued
Type
Results 1-13 of 13 (Search time: 0.005 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | 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 | |
| 2 | 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 |
| 3 | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Combining behavioural types with security analysis | 1-Nov-2015 | Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780 | M21 |
| 4 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Preciseness of subtyping on intersection and union types | 1-Jan-2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 25th International Conference on Rewriting Techniques and Applications, RTA 2014 and 12th International Conference on Typed Lambda Calculus and Applications, TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014; Vienna; Austria; 14 July 2014 through 17 July 2014; 8560 LNCS; 194-207 | M33 |
| 5 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, Mariangiola | Types and Roles for Web Security | 2012 | Transactions on Advanced Research; 8; 16-21 | |
| 6 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka | Types for role-based access control of dynamic web data | 1-Jun-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010; Madrid; Spain; 17 January 2010 through 17 January 2010; 6559 LNCS; 1-29 | M33 |
| 7 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, Daniele | Security types for dynamic web data | 8-Aug-2008 | Theoretical Computer Science; 402(2-3); 156-171 | M22 |
| 8 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Security types for dynamic web data | 1-Dec-2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 2nd International Symposium on Trustworthy Global Computing, TGC 2006; Lucca; Italy; 7 November 2006 through 9 November 2006; 4661 LNCS; 263-280 | M23 |
| 9 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Behavioural inverse limit λ-models | 28-May-2004 | Theoretical Computer Science; 316(1-3); 49-74 | M22 |
| 10 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Two behavioural lambda models | 1-Dec-2003 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Workshop on Types for Proofs and Programs, TYPES 2002; 2646; 127-147 | |
| 11 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A behavioural lambda model | 2003 | Schedae Informaticae Universitas Iagelonica; 12; 35-47 | |
| 12 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A lambda model characterizing computational behaviours of terms | 2001 | Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118 | M32 |
| 13 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | The “Relevance” of intersection and union types | 1-Jan-1997 | Notre Dame Journal of Formal Logic; 38(2); 246-269 |
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 |