朱利安·古铁雷斯；穆罕默德·纳吉布；朱塞佩·佩雷利；迈克尔·伍尔德里奇 理性验证的复杂性。 （英语） Zbl 07730283号 安。数学。Artif公司。智力。 91，第4号，409-430（2023）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《数学年鉴》。Artif公司。智力。91，编号4409-430（2023；兹bl 07730283） 全文： 内政部 arXiv公司
帕特里夏·鲍耶；奥尔纳·库普弗曼；尼古拉斯·马基；巴斯蒂安·莫伯特；阿尼埃洛·穆拉诺；朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 （英语） Zbl 07713582号 ACM事务处理。计算。日志。 24，第3号，第21号论文，38页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，ACM Trans。计算。日志。24，第3号，第21号论文，38页（2023；Zbl 07713582） 全文： 内政部 arXiv公司
朱利安·古铁雷斯；朱塞佩·佩雷利；迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 （英语） Zbl 1497.68305号 Inf.计算。 276，文章ID 104555，17 p.（2021）.MSC公司：60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《信息计算》。276，文章ID 104555，17 p.（2021；Zbl 1497.68305） 全文： 内政部 arXiv公司
朱利安·古铁雷斯；穆罕默德·纳吉布；朱塞佩·佩雷利；迈克尔·伍尔德里奇 自动时间均衡分析：多层游戏的验证和合成。 （英语） Zbl 1493.68360号 Artif公司。智力。 287，文章ID 103353，26 p.（2020）.MSC公司：68T42型 60年第68季度 91A06型 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Artif。智力。287，文章ID 103353，26 p.（2020；Zbl 1493.68360） 全文： 内政部 arXiv公司
劳拉，博泽利；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；洛雷达纳·索伦蒂诺 分层成本平价游戏。 （英语） Zbl 1464.68232号 西奥。计算。科学。 847, 147-174 (2020).MSC公司：68问题85 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Theor。计算。科学。847147-174（2020年；Zbl 1464.68232） 全文： 内政部 链接
朱利安·古铁雷斯；穆罕默德·纳吉布；朱塞佩·佩雷利；迈克尔·伍尔德里奇 并发游戏的均衡设计。 （英语） Zbl 07649930号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第22条，第16页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，LIPIcs——莱布尼茨国际程序。通知。140，第22条，第16页（2019年；Zbl 07649930） 全文： 内政部 arXiv公司
盖尔·方丹；法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 （英语） Zbl 1400.68123号 Inf.计算。 262，第2部分，265-279（2018）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人，《信息计算》。262，第2部分，265--279（2018；Zbl 1400.68123） 全文： 内政部 arXiv公司
朱利安·古铁雷斯；朱塞佩·佩雷利；迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 （英语） Zbl 1395.68188号 Inf.计算。 261，第4部分，650-675（2018）.MSC公司：60年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《信息计算》。261，第4部分，650--675（2018；Zbl 1395.68188） 全文： 内政部 链接
朱利安·古铁雷斯；保罗·哈伦斯坦；朱塞佩·佩雷利；迈克尔·伍尔德里奇 纳什均衡和互模拟不变性。 （英语） 兹比尔1442.68143 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第17条，第16页（2017年）。MSC公司：68问题85 03B70号 68T42型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，LIPIcs——莱布尼茨国际程序。通知。85，第17条，第16页（2017；Zbl 1442.68143） 全文： 内政部
盖尔·方丹；法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；洛雷达纳·索伦蒂诺 计算树逻辑中的循环检测。 （英语） Zbl 1478.68158号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226164-177（2016）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226164--177（2016；Zbl 1478.68158） 全文： 链接
奥尔纳·库普弗曼；朱塞佩·佩雷利；莫舍·瓦尔迪。 合理环境的合成。 （英语） Zbl 1372.68173号 安。数学。Artif公司。智力。 78，第1期，3-20（2016）.MSC公司：60年第68季度 03B70号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，《数学年鉴》。Artif公司。智力。78，第1号，第3--20号（2016；Zbl 1372.68173） 全文： 内政部
法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；莫舍·瓦尔迪。 关于策略的推理：关于模型检查问题。 （英语） Zbl 1354.68178号 ACM事务处理。计算。日志。 第15号第4条第34条第47页（2014年）.MSC公司：60年第68季度 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，ACM Trans。计算。日志。15，第4号，第34条，47页（2014年；Zbl 1354.68178） 全文： 内政部 arXiv公司