乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。 将补偿处理的原语作为可适应的进程。 （英文） 兹比尔1518.68231 J.日志。阿尔盖布。方法计划。 121，文章ID 100675，65 p.（2021）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dedeić}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100675，65 p.（2021；Zbl 1518.68231） 全文： 内政部 链接
路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。;弗兰克·芬宁;伯纳多·托尼霍 域软件会话类型。 （英文） Zbl 07649947号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第39条，第17页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}等人，LIPIcs——莱布尼茨国际程序。通知。140，第39条，第17页（2019年；Zbl 07649947） 全文： 内政部 arXiv公司
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 （英文） 兹比尔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） 全文： 内政部 arXiv公司
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;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） 全文： 内政部 arXiv公司
路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。;乔·科斯塔·塞科;雨果·托雷斯·维埃拉;劳西奥·费朗 以数据为中心的系统中基于类型的访问控制。 （英文） Zbl 1326.68082号 Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602136-155（2011）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}等人，Lect。注释计算。科学。6602136--155（2011年；Zbl 1326.68082） 全文： 内政部