西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 （英语） 兹伯利07672673 ACM事务处理。计算。日志。 24，第2条，第14条，73页（2023年）。理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，ACM Trans。计算。日志。24，第2号，第14条，73页（2023；Zbl 07672673） 全文： 内政部 arXiv公司 OA许可证
乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。 将补偿处理的原语作为可适应的进程。 （英语） Zbl 1518.68231号 J.日志。阿尔盖布。方法计划。 121，文章ID 100675，65 p.（2021）。理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dedeić}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100675，65 p.（2021；Zbl 1518.68231） 全文： 内政部 链接
伊万·普罗基奇;约万卡·潘托维奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 （英语） Zbl 1431.68080号 J.日志。阿尔盖布。方法计划。 107, 136-174 (2019)。理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}等人，J.Log。阿尔盖布。方法计划。107136-174（2019年；Zbl 1431.68080） 全文： 内政部 arXiv公司
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 同步多方会话的精确子类型。 （英语） Zbl 1423.68306号 J.日志。阿尔盖布。方法计划。 104, 127-173 (2019)。理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Ghilezan｝等人，J.日志。阿尔盖布。方法计划。104、127--173（2019年；Zbl 1423.68306） 全文： 内政部 arXiv公司
约万卡·潘托维奇;伊万·普罗基奇;雨果·托雷斯·维埃拉 浮动授权建模的演算。 （英语） Zbl 1508.68250号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分，DisCoTec 2018，2018年6月18日至21日，西班牙马德里。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1085101-120（2018）中所述。理学硕士：68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Pantović}等人，莱克特。注释计算。科学。10854、101-120（2018年；Zbl 1508.68250） 全文： 内政部 哈尔
斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 链接数据隐私。 （英语） Zbl 1364.68073号 数学。结构。计算。科学。 27，第1号，33-53（2017）。理学硕士：68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人，数学。结构。计算。科学。27、第1号、第33-53号（2017；Zbl 1364.68073） 全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko 子类型的含义和操作精确性：路线图。在弗兰克·德·波尔60岁生日之际献给他。 （英语） Zbl 1475.68082号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 155-172 (2016).理学硕士：68号30 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \文本{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。9660，155--172（2016；Zbl 1475.68082） 全文： 内政部
罗森，保罗·L·。;约万卡·潘托维奇;朱维沙·尤尼奇 测量（2D）和（3D）中曲线的线性。 （英语） Zbl 1394.68420号 模式识别 第49页，第65-78页（2016年）。理学硕士：68单位05 68分10秒 68T45型 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Rosin}等人，模式识别49，65--78（2016；Zbl 1394.68420） 全文： 内政部
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 （英语） Zbl 1345.68235号 正式Asp。计算。 28，第4号，643-667（2016）。理学硕士：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，正式Asp。计算。28，第4号，643--667（2016；Zbl 1345.68235） 全文： 内政部 arXiv公司 OA许可证
乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。 将补偿原语作为可适应的进程。 （英语） Zbl 1476.68171号 Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，16-30（2015）。理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dedeić}等人，《电子》。程序。西奥。计算。科学。（EPTCS）190，16--30（2015；Zbl 1476.68171） 全文： arXiv公司 链接
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 （英语） Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）。理学硕士：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法计划。84，第6号，763--780（2015；Zbl 1330.68045） 全文： 内政部 arXiv公司
罗森，保罗·L·。;约万卡·潘托维奇;朱维沙·尤尼奇 测量有限数量的2D和3D曲线的连接配置的线性度。 （英语） Zbl 1330.68313号 数学杂志。成像视觉。 53，第1期，第1-11页（2015年）。理学硕士：68单位05 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Rosin}等人，J.Math。成像视觉。53，编号1，1--11（2015；兹bl 1330.68313） 全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇 动态web数据的基于角色的访问控制类型。 （英语） 兹比尔1327.68169 Mariño，Julio（编辑），功能和约束逻辑编程。2010年1月17日在西班牙马德里举行的2010年世界粮食计划署第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20774-7/pbk）。计算机科学课堂讲稿6559，1-29（2011）。理学硕士：68问题85 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。6559，1--29（2011；Zbl 1327.68169） 全文： 内政部 链接
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;丹尼尔·瓦拉卡 动态web数据的安全类型。 （英语） 兹比尔1146.68014 西奥。计算。科学。 402，编号2-3，156-171（2008）。理学硕士：68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Theor。计算。科学。402，编号2--3，156-171（2008；Zbl 1146.68014） 全文： 内政部 哈尔
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇 动态web数据的安全类型。 （英语） Zbl 1211.68267号 Montanari，Ugo（编辑）等人，《值得信赖的全球计算》。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75333-9/pbk）。计算机科学课堂讲稿4661263-280（2007）。理学硕士：68问题85 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。4661、263--280（2007年；Zbl 1211.68267） 全文： 内政部 哈尔