Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Pantovic Jovanka B,Varacca Daniele (2008) Security types for dynamic web data, THEORETICAL COMPUTER SCIENCE, vol. 402, br. 2-3, str. 156-171 (Article) 

Herbelin Hugo,Gilezan Silvia (2008) An approach to call-by-name delimited continuations, ACM SIGPLAN NOTICES, vol. 43, br. 1, str. 383-394 (Article) 

Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre (2008) Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage, THEORETICAL COMPUTER SCIENCE, vol. 398, br. 1-3, str. 114-128 (Article) 

Gilezan Silvia,Pantovic Jovanka B,Zunic Jovisa (2007) Separating points by parallel hyperplanes - Characterization problem, IEEE TRANSACTIONS ON NEURAL NETWORKS, vol. 18, br. 5, str. 1356-1363 (Article) 

Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre,Likavec Silvia J (2005) Strong normalization of the dual classical sequent calculus, LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, vol. 3835, br. , str. 169-183 (Article) 

Gilezan Silvia,Lescanne Pierre (2004) Classical proofs, typed processes, and intersection types, TYPES FOR PROOFS AND PROGRAMS, vol. 3085, br. , str. 226-241 (Article) 

Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Likavec Silvia J (2004) Behavioural inverse limit lambda-models, THEORETICAL COMPUTER SCIENCE, vol. 316, br. 1-3, str. 49-74 (Article) 

Dezani-Ciancaglini Mariangiola,Gilezan Silvia (2002) Two behavioural lambda models, TYPES FOR PROOFS AND PROGRAMS, vol. 2646, br. , str. 127-147 (Article) 

Gilezan Silvia (2001) Full intersection types and topologies in lambda calculus, JOURNAL OF COMPUTER AND SYSTEM SCIENCES, vol. 62, br. 1, str. 1-14 (Article)