朱利安·古铁雷斯；保罗·哈伦斯坦；迈克尔·伍尔德里奇 从模型检查到平衡检查：用于理性验证的反应性模块。 （英语） Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Artif。智力。248123-157（2017；Zbl 1420.68129） 全文： DOI程序 链接
朱利安·古铁雷斯；保罗·哈伦斯坦；迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 （英语） 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，编号2373-403（2017；Zbl 1400.03057） 全文： DOI程序
朱利安·古铁雷斯；保罗·哈伦斯坦；迈克尔·伍尔德里奇 表达能力和复杂性是战略推理的结果。 （英语） Zbl 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） 全文： DOI程序
朱利安·古铁雷斯；保罗·哈伦斯坦；迈克尔·伍尔德里奇 迭代布尔游戏。 （英语） 兹比尔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） 全文： DOI程序