约瓦娜·德代奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。 将补偿处理的原语作为可适应的进程。 （英语） Zbl 1518.68231号 J.日志。阿尔盖布。方法程序。 121，文章ID 100675，第65页（2021）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dedeić}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100675，65 p.（2021；Zbl 1518.68231） 全文： DOI程序 链接
伊万·普罗基奇;约万卡·潘托维奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 （英语） Zbl 1431.68080号 J.日志。阿尔盖布。方法程序。 107, 136-174 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}等人，J.Log。阿尔盖布。方法计划。107136-174（2019年；Zbl 1431.68080） 全文： DOI程序 arXiv公司
约万卡·潘托维奇;伊万·普罗基奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 （英语） Zbl 1508.68250号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 101-120 (2018).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Pantović}等人，莱克特。注释计算。科学。10854、101-120（2018年；Zbl 1508.68250） 全文： DOI程序 哈尔
斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 链接数据隐私。 （英语） 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程序
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 （英语） Zbl 1345.68235号 正式Asp。计算。 28，第4号，643-667（2016）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，正式Asp。计算。28，第4号，643--667（2016；Zbl 1345.68235） 全文： DOI程序 arXiv公司 OA许可证
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;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程序 链接