出版物
2020
J、 古铁雷斯，纳吉布先生，佩雷利先生，伍尔德里奇先生。 自动时间均衡分析：多人博弈的验证与综合。 在 人工智能 ，第287卷，2020年10月
[PDF格式]
2019
J、 古铁雷斯，纳吉布先生，佩雷利先生，伍尔德里奇先生。 并发博弈的均衡设计。 在 第30届并发理论国际会议论文集（CONCUR-2019） ，荷兰阿姆斯特丹，2019年8月。
[PDF格式] J、 古铁雷斯，纳吉布先生，佩雷利先生，伍尔德里奇先生。 理性验证的计算可处理性。 在 第28届人工智能国际联席会议论文集（IJCAI-2019） ，中国澳门，2019年8月。
[PDF格式]
2018
J、 古铁雷斯，纳吉布先生，佩雷利先生，伍尔德里奇先生。 EVE：时间均衡分析工具。 在 第16届验证与分析自动化技术国际研讨会论文集（ATVA-2018） ，洛杉矶，2018年10月。
[PDF格式]