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

Results 81-100 of 142 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
81Ghilezan, Silvia ; Likavec, SilviaReducibility method and resource control2013UNILOG 2013 - The 4th World Congress on Universal Logic, 29/03-04/04/2013, Rio de Janeiro, Brasil; 161-162
82Ghilezan, Silvia Reducibility method and logical relations in intuitionistic logic and programming languages2013CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, SerbiaM32
83Ghilezan, Silvia ; Paolini, LucaIntersection Types and Related Systems. Preface1-Dec-2012Fundamenta Informaticae; 121(1-4)M23
84Ghilezan, Silvia Privacy for Linked Data2012Cost Action Richmodels meeting, 04/11/2012, Haifa, Israel
85Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, MariangiolaTypes and Roles for Web Security2012Transactions on Advanced Research; 8; 16-21
86Ghilezan, Silvia Računske interpretacije intuicionističke i klasične logike2012Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia
287Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types for explicit substitution with resource control2012Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)
288Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types for the resource control lambda calculi19-Sep-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011; Johannesburg; South Africa; 31 August 2011 through 2 September 2011; 6916 LNCS; 116-134M33
289Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Žunić, DragišaIntuitionistic sequent-style calculus with explicit structural rules1-Aug-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009; Bakuriani; Georgia; 21 September 2009 through 25 September 2009; 6618 LNAI; 101-124M33
290Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, JovankaTypes for role-based access control of dynamic web data1-Jun-2011Lecture 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-29M33
291Ghilezan, Silvia Computational interpretations of logic2010Higher Order Rewritting, July 14, 2010, Edinburgh, UK
292Ghilezan, Silvia Resource control in sequent lambda calculus2010TYPES 2010, 13-16/10/2010, Warsaw, Poland
293Ghilezan, Silvia ; Likavec, SilviaComputational interpretations of logics2009Zbornik Radova; 12(20); 159-215M14
54Herbelin, Hugo; Ghilezan, Silvia An approach to call-by-name delimited continuations1-Dec-2008Conference Record of the Annual ACM Symposium on Principles of Programming Languages; 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08; San Francisco, CA; United States; 7 January 2008 through 12 January 2008; 383-394
55Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, DanieleSecurity types for dynamic web data8-Aug-2008Theoretical Computer Science; 402(2-3); 156-171M22
56Espí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
57Dougherty, 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
58Herbelin, Hugo; Ghilezan, Silvia An approach to call-by-name delimited continuations1-Jan-2008ACM SIGPLAN Notices; 43(1); 383-394M23
59Dezani-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
60Ghilezan, Silvia ; Ivetić, JelenaIntersection types for λGtz-calculus1-Dec-2007Publications de l'Institut Mathematique; 96; 85-91

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