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 101-120 of 142 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
101Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Separating points by parallel hyperplanes-characterization problem1-Sep-2007IEEE Transactions on Neural Networks; 18(5); 1356-1363M21a
102Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Partitioning finite d-dimensional integer grids with applications1-Jan-2007Handbook of Approximation Algorithms and Metaheuristics; 55-1
103Ghilezan, Silvia Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic.2007Reflections on Type Theory, Lambda Calculus and the Mind, Essays dedicated to Henk Barendregt
104Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreA general technique for analyzing termination in symmetric proof calculi2007WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007
105Ghilezan, Silvia ; Ivetić, JelenaIntersection types for intuitionistic lambda-Gentzen calculus2007Publications de l'Institute Mathematique; 82(96); 159-164
106Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreIntersection and union types in the λ̄μμ̃-calculus19-Jul-2005Electronic Notes in Theoretical Computer Science; 3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004; 136; 153-172
107Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, SilviaStrong normalization of the dual classical sequent calculus1-Jan-2005Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005; Montego Bay; Jamaica; 2 December 2005 through 6 December 2005; 3835 LNAI; 169-183M22
108Ghilezan, Silvia ; Lescanne, PierreClassical Proofs, Typed Processes, and Intersection Types Extended Abstract1-Dec-2004Lecture 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 2003; 3085; 226-241M22
109Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, SilviaBehavioural inverse limit λ-models28-May-2004Theoretical Computer Science; 316(1-3); 49-74M22
110Dougherty, Dan; Ghilezan, Silvia ; Lescanne, PierreCharacterizing strong normalization in a language with control operators1-Jan-2004Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; Verona; Italy; 24 August 2004 through 26 August 2004; 155-166
111Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Two behavioural lambda models1-Dec-2003Lecture 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
112Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A behavioural lambda model2003Schedae Informaticae Universitas Iagelonica; 12; 35-47
113Ghilezan, Silvia ; Likavec, SilviaExtensions of the reducibility method2003PLS4 - The 4th Panhellenic Logic Symposium; 107-112M33
114Ghilezan, Silvia ; Likavec, SilviaReducibility: a ubiguitous method in lambda calculus with intersection types2002Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70M33
115Ghilezan, Silvia ; Kunčak, ViktorConfluence of untyped lambda calculus via simple types1-Jan-2001Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 7th Italian Conference on Theoretical Computer Science, ICTCS 2001; Torino; Italy; 4 October 2001 through 6 October 2001; 2202; 38-49M21
116Ghilezan, Silvia Full intersection types and topologies in lambda calculus1-Jan-2001Journal of Computer and System Sciences; 62(1); 1-14M21
117Ghilezan, Silvia ; Kunčak, ViktorReducibility method in simply typed lambda calculus2001Novi Sad Journal of Mathematics; 31; 27-32
118Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A lambda model characterizing computational behaviours of terms2001Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118M32
119Ghilezan, Silvia Types and confluence in lambda calculus20013rd Panhellenic Logic Symposium - PLS3, Crete, Greece (2001)
120Ghilezan, Silvia ; Kunčak, Viktor; Likavec, SilviaReducibility method for termination properties of typed lambda terms2001Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16

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