@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Scalas Alceste,Yoshida Nobuko},
year={2019},
title={Precise subtyping for synchronous multiparty sessions},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={104},
number={},
pages={127-173},
document_type={Article},
} 

@ARTICLE{
author={Jaksic Svetlana,Pantovic Jovanka B,Ghilezan Silvia},
year={2017},
title={Linked data privacy},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={27},
number={1},
pages={33-53},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Perez Jorge A,Vieira Hugo Torres},
year={2016},
title={Dynamic role authorization in multiparty conversations},
journal={FORMAL ASPECTS OF COMPUTING},
volume={28},
number={4},
pages={643-667},
document_type={Article},
} 

@ARTICLE{
author={Jaksic Svetlana,Padovani Luca},
year={2014},
title={Exception handling for copyless messaging},
journal={SCIENCE OF COMPUTER PROGRAMMING},
volume={84},
number={},
pages={22-51},
document_type={Article},
} 

@ARTICLE{
author={Di Gianantonio Pietro,Jaksic Svetlana,Lenisa Marina},
year={2010},
title={Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus},
journal={CONCUR 2010 - CONCURRENCY THEORY},
volume={6269},
number={},
pages={358-+},
document_type={Proceedings Paper},
}