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:
Type:  Article

Results 1-20 of 41 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ghilezan, Silvia ; Kašterović, SimonaSemantics for Combinatory Logic With Intersection Types12-Jul-2022Frontiers in Computer Science; 4; 792570
2Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
3Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21
4Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics and completeness for full simply typed Lambda calculus1-Jan-2021Journal of Logic and Computation; 30(8); 1567-1608~M21
5Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, BranislavFormal Verification of Local and Distributed Python Software Transactional Memories14-Oct-2019Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428M23
6Ghilezan, 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
7Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22
8Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22
9Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia Linked data privacy1-Jan-2017Mathematical Structures in Computer Science; 27(1); 33-53M22
10Ghilezan, 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
11Pantović, 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
12Bartoletti, 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
13Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
14Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, MariangiolaTypes and Roles for Web Security2012Transactions on Advanced Research; 8; 16-21
15Ghilezan, Silvia ; Likavec, SilviaComputational interpretations of logics2009Zbornik Radova; 12(20); 159-215M14
16Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, DanieleSecurity types for dynamic web data8-Aug-2008Theoretical Computer Science; 402(2-3); 156-171M22
17Espírito Santo, José; Ghilezan, Silvia ; Ivetić, JelenaCharacterising strongly normalising intuitionistic sequent terms9-Jun-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007; 4941 LNCS; 85-99M23
18Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreCharacterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage28-May-2008Theoretical Computer Science; 398(1-3); 114-128M22
19Herbelin, Hugo; Ghilezan, Silvia An approach to call-by-name delimited continuations1-Jan-2008ACM SIGPLAN Notices; 43(1); 383-394M23
20Dezani-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

Projects


Results 1-2 of 2 (Search time: 0.001 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