Browsing by Author Jakšić, Svetlana
Showing results 4 to 9 of 9
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia | Linked data privacy | 1-Jan-2017 | Mathematical Structures in Computer Science; 27(1); 33-53 | M22 |
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 1-Apr-2019 | Journal of Logical and Algebraic Methods in Programming; 104; 127-173 | M21 |
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 | |
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 | |
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, Mariangiola | Types and Roles for Web Security | 2012 | Transactions on Advanced Research; 8; 16-21 | |
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 |