Silvia Ghilezan

2008
22	EE	Hugo Herbelin, Silvia Ghilezan: An approach to call-by-name delimited continuations. POPL 2008: 383-394
21	EE	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. 398(1-3): 114-128 (2008)
20	EE	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008)
2007
19	EE	José Espírito Santo, Silvia Ghilezan, J. Ivetic: Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES 2007: 85-99
18	EE	Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic: Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Transactions on Neural Networks 18(5): 1356-1363 (2007)
2006
17	EE	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic: Security Types for Dynamic Web Data. TGC 2006: 263-280
2005
16	EE	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec: Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183
15	EE	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Intersection and Union Types in the lambda-my-my/tilde-calculus. Electr. Notes Theor. Comput. Sci. 136: 153-172 (2005)
2004
14	EE	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Characterizing strong normalization in a language with control operators. PPDP 2004: 155-166
13	EE	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec: Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004)
2003
12	EE	Silvia Ghilezan, Pierre Lescanne: Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. TYPES 2003: 226-241
2002
11	EE	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan: Two Behavioural Lambda Models. TYPES 2002: 127-147
10	EE	Silvia Ghilezan, Silvia Likavec: Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
2001
9	EE	Silvia Ghilezan, Viktor Kuncak: Confluence of Untyped Lambda Calculus via Simple Types. ICTCS 2001: 38-49
8		Silvia Ghilezan: Full Intersection Types and Topologies in Lambda Calculus. J. Comput. Syst. Sci. 62(1): 1-14 (2001)
2000
7		Silvia Ghilezan: Intersection Types and Topologies and Lambda Calculus. ICALP Satellite Workshops 2000: 303-304
6		Henk Barendregt, Silvia Ghilezan: Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. 10(1): 121-134 (2000)
1997
5		Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The ``Relevance'' of Intersection and Union Types. Notre Dame Journal of Formal Logic 38(2): 246-269 (1997)
1996
4		Silvia Ghilezan: Generalized Finitness of Developments in Typed Lambda Calculi. Journal of Automata, Languages and Combinatorics 1(4): 247-258 (1996)
3		Silvia Ghilezan: Strong Normalization and Typability with Intersection Types. Notre Dame Journal of Formal Logic 37(1): 44-52 (1996)
1994
2		Silvia Ghilezan: Application of Typed Lambda Calculi in the Untyped Lambda Calculus. LFCS 1994: 129-139
1993
1		Silvia Ghilezan: Inhabitation in Intersection and Union Type Assignment Systems. J. Log. Comput. 3(6): 671-685 (1993)

Coauthor Index

1	Hendrik Pieter Barendregt (Henk Barendregt)	[6]
2	Mariangiola Dezani-Ciancaglini	[5] [11] [13] [17] [20]
3	Daniel J. Dougherty	[14] [15] [16] [21]
4	Hugo Herbelin	[22]
5	J. Ivetic	[19]
6	Viktor Kuncak	[9]
7	Pierre Lescanne	[12] [14] [15] [16] [21]
8	Silvia Likavec	[10] [13] [16]
9	Jovanka Pantovic	[17] [18] [20]
10	José Espírito Santo	[19]
11	Daniele Varacca	[20]
12	Betti Venneri	[5]
13	Jovisa D. Zunic	[18]

Colors in the list of coauthors