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 Authorization control | Behavioral types | Process calculi | Software verification | Type systems
- 1 Bag | Multiset
- 1 Böhm separability | Classical logic | Delimited control | Observational completeness
- 1 Classical logic | Intersection-types | Sequent calculus
- 1 combinatory logic | completeness | computational systems | equational theory | intersection types | semantics | soundness | type theory
- 1 Completeness | Curry-Howard correspondence | Kripke-style semantics | Lambda calculus
- 1 Concurrency | Multiparty session types | Process calculi | Subtyping
- 1 Correctness | Formal verification | Model checking | Timed automata | Transactional memory
- 1 Covid-19 | Digital Contact Tracing | Distributed Hash Tables | Structured Overlay Networks | Bluetooth | GPS
- 1 Curry-Howard isomorphism | Inhabitation | Intersection types | Intuitionistic propositional logic | Provability | Typed lambda calculus
- next >
Date issued
Results 21-40 of 41 (Search time: 0.005 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.001 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 |