Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 discipline | duality | Intersection types | reducibility candidates | sequent calculus | soundness and completeness | strong normalization | symmetric candidates | type safety | union types
- 1 Discrete moments | Encoding | Enumerating | Neural networks | Threshold function
- 1 Discrete moments | Encoding | Multilevel threshold function | Multilinear partitions | Neural networks | Storage complexity
- 1 Dynamic web data | Pi-calculus | Security types | XML
- 1 Formal verification | Push/pull semantic model | Serializability | Python | Software transactional memory (STM)
- 1 Intersection types | Lambda calculus | Models of lambda calculus | Reducibility method | Stone dualities
- 1 lambda calculus | simple types | reducibility model
- 1 reduction | lambda calculus
- < previous
Date issued
Type
- 41 Article
Results 21-40 of 41 (Search time: 0.003 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 21 | Ghilezan, Silvia ; Ivetić, Jelena | Intersection types for λGtz-calculus | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 85-91 | |
| 22 | Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Separating points by parallel hyperplanes-characterization problem | 1-Sep-2007 | IEEE Transactions on Neural Networks; 18(5); 1356-1363 | M21a |
| 23 | Ghilezan, Silvia ; Ivetić, Jelena | Intersection types for intuitionistic lambda-Gentzen calculus | 2007 | Publications de l'Institute Mathematique; 82(96); 159-164 | |
| 24 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Strong normalization of the dual classical sequent calculus | 1-Jan-2005 | Lecture 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-183 | M22 |
| 25 | Ghilezan, Silvia ; Lescanne, Pierre | Classical Proofs, Typed Processes, and Intersection Types Extended Abstract | 1-Dec-2004 | Lecture 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-241 | M22 |
| 26 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Behavioural inverse limit λ-models | 28-May-2004 | Theoretical Computer Science; 316(1-3); 49-74 | M22 |
| 27 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Two behavioural lambda models | 1-Dec-2003 | Lecture 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 | |
| 28 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A behavioural lambda model | 2003 | Schedae Informaticae Universitas Iagelonica; 12; 35-47 | |
| 29 | Ghilezan, Silvia ; Kunčak, Viktor | Confluence of untyped lambda calculus via simple types | 1-Jan-2001 | Lecture 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-49 | M21 |
| 30 | Ghilezan, Silvia | Full intersection types and topologies in lambda calculus | 1-Jan-2001 | Journal of Computer and System Sciences; 62(1); 1-14 | M21 |
| 31 | Ghilezan, Silvia ; Kunčak, Viktor | Reducibility method in simply typed lambda calculus | 2001 | Novi Sad Journal of Mathematics; 31; 27-32 | |
| 32 | Barendregt, Henk; Ghilezan, Silvia | Lambda terms for natural deduction, sequent calculus and cut elimination | 1-Jan-2000 | Journal of Functional Programming; 10(1); 121-134 | |
| 33 | Ghilezan, Silvia | Natural deduction and sequent typed lambda calculus | 1999 | Novi Sad Journal of Mathematics; 29(2); 209-220 | |
| 34 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | The “Relevance” of intersection and union types | 1-Jan-1997 | Notre Dame Journal of Formal Logic; 38(2); 246-269 | |
| 35 | Ghilezan, Silvia | Strong normalization and typability with intersection types | 1-Jan-1996 | Notre Dame Journal of Formal Logic; 37(1); 44-52 | |
| 36 | Ghilezan, Silvia | Generalized finiteness of developments | 1996 | Journal of Automata, Languages and Combinatorics; 247-257 | |
| 37 | Ghilezan, Silvia | Some topological properties of the lambda calculus | 1996 | Scientific Review. Series, Science and Engineering; Kurepa's Symposium, Belgrade, Yugoslavia; 19-20; 65-73 | |
| 38 | Ghilezan, Silvia | Application of typed lambda calculi in the untyped lambda calculus | 1-Jan-1994 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 3rd International Symposium on Logical Foundations of Computer Science, LFCS 1994; St. Petersburg; Russian Federation; 11 July 1994 through 14 July 1994; 813 LNCS; 129-139 | M23 |
| 39 | Ghilezan, Silvia | Conjugation in SerboCroatian | 1994 | Linguistic Analysis; 24; 142-150 | |
| 40 | Ghilezan, Silvia | Inhabitation in intersection and union type assignment systems | 1-Dec-1993 | Journal of Logic and Computation; 3(6); 671-685 |
Results 1-2 of 2 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |