@ARTICLE{
author={Bartoletti Massimo,Castellani Ilaria,Denielou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka B,Perez Jorge A,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres},
year={2015},
title={Combining behavioural types with security analysis},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={84},
number={6},
pages={763-780},
document_type={Article},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Pantovic Jovanka B,Varacca Daniele},
year={2008},
title={Security types for dynamic web data},
journal={THEORETICAL COMPUTER SCIENCE},
volume={402},
number={2-3},
pages={156-171},
document_type={Article},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Likavec Silvia J},
year={2004},
title={Behavioural inverse limit lambda-models},
journal={THEORETICAL COMPUTER SCIENCE},
volume={316},
number={1-3},
pages={49-74},
document_type={Article},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia},
year={2002},
title={Two behavioural lambda models},
journal={TYPES FOR PROOFS AND PROGRAMS},
volume={2646},
number={},
pages={127-147},
document_type={Article},
}