大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 （英语） Zbl 07810626号 Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379344-358（2023年）。MSC公司：91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，344--358（2023；Zbl 07810626） 全文： 内政部 arXiv公司
朱利安·古铁雷斯;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 具有\（\omega \）-常规规范的Mean-payoff游戏。 （英语） Zbl 1484.91080号 游戏 13，第1号，第19号论文，37页（2022年）.MSC公司：91A43型 91A10号 91A06型 91A05型 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Games 13，No.1，Paper No.19，37 p.（2022年；Zbl 1484.91080） 全文： 内政部 OA许可证
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 定性和定量目标相结合的博弈均衡。 （英语） Zbl 1483.68193号 学报信息。 58，第6号，585-610（2021）.MSC公司：60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《信息学报》58，第6期，585--610（2021年；Zbl 1483.68193） 全文： 内政部 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 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） 全文： 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查：用于理性验证的反应性模块。 （英语） Zbl 1420.68129号 Artif公司。智力。 248123-157（2017）.MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Artif。因特尔。248123-157（2017；Zbl 1420.68129） 全文： 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 （英语） Zbl 1400.03057号 Ann.纯粹应用。逻辑 168，第2号，373-403（2017）. 审核人：马丁·兰格（卡塞尔） MSC公司：03B70号 03B44号 91A40型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Ann.Pure Appl。逻辑168，No.2，373--403（2017；Zbl 1400.03057） 全文： 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 表达能力和复杂性是战略推理的结果。 （英语） 兹比尔1374.68332 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，268-282（2015）。MSC公司：68问题85 60年第68季度 91A06型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，LIPIcs——莱布尼茨国际程序。通知。42、268--282（2015年；Zbl 1374.68332） 全文： 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 迭代布尔游戏。 （英语） 兹比尔1318.91012 Inf.计算。 242, 53-79 (2015).MSC公司：91A10号 03B44号 65年第68季度 65年第68季度 91A20型 91A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《信息计算》。242、53--79（2015年；Zbl 1318.91012） 全文： 内政部
托马斯·奥戈特内斯;范德霍克，威比;迈克尔·伍尔德里奇 定性联盟博弈的逻辑。 （英语） Zbl 1171.03008号 日志。J.IGPL公司 17，第3期，299-321（2009）.MSC公司：03B44号 03B45号 68T27型 91A12号机组 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人，日志。J.IGPL 17，第3号，299--321（2009；Zbl 1171.03008） 全文： 内政部 链接