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

Refined By:
Author:  Pantović, Jovanka

Results 1-11 of 11 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
1Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21
2Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
3Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia Linked data privacy1-Jan-2017Mathematical Structures in Computer Science; 27(1); 33-53M22
4Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2016Formal Aspects of Computing; 28(4); 643-667M23
5Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša Encoding of multilevel S-threshold functions1-Jan-2016Journal of Multiple-Valued Logic and Soft Computing; 26(1-2); 89-108M23
6Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo TorresCombining behavioural types with security analysis1-Nov-2015Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780M21
7Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
8Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, MariangiolaTypes and Roles for Web Security2012Transactions on Advanced Research; 8; 16-21
9Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, DanieleSecurity types for dynamic web data8-Aug-2008Theoretical Computer Science; 402(2-3); 156-171M22
10Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, JovankaSecurity types for dynamic web data1-Dec-2007Lecture 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-280M23
11Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Separating points by parallel hyperplanes-characterization problem1-Sep-2007IEEE Transactions on Neural Networks; 18(5); 1356-1363M21a

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