斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 链接数据隐私。 (英语) Zbl 1364.68073号 数学。结构。计算。科学。 27,第1号,33-53(2017).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人,数学。结构。计算。科学。27、第1号、第33-53号(2017;Zbl 1364.68073) 全文: DOI程序
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 (英语) Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84,第6号,763-780(2015).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法程序。84,第6号,763--780(2015;Zbl 1330.68045) 全文: DOI程序 arXiv公司
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇 动态web数据的基于角色的访问控制类型。 (英语) Zbl 1327.68169号 Mariño,Julio(编辑),功能和约束逻辑编程。2010年1月17日在西班牙马德里举行的2010年世界粮食计划署第19届国际研讨会。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-20774-7/pbk)。计算机科学课堂讲稿6559,1-29(2011)。MSC公司:68问题85 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人,Lect。注释计算。科学。6559,1--29(2011;Zbl 1327.68169) 全文: DOI程序 链接
斯特凡诺·贝拉尔迪;乌戈·德利古罗 微积分、类型和应用:纪念M.Coppo、M.Dezani-Ciancaglini和S.Ronchi della Rocca的论文。 (英语) Zbl 1138.01318号 西奥。计算。科学。 398,编号1-3,1-11(2008).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{U.de‘Ligoro},Theor。计算。科学。398,编号1--3,1--11(2008;Zbl 1138.01318) 全文: DOI程序