出版物

2020

• J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。自动时间均衡分析：多人游戏的验证和合成。在人工智能第287卷，2020年10月
  [PDF]（PDF格式）

2019

• J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。并行博弈的均衡设计。在第三十届并行理论国际会议论文集（CONCUR-2019）荷兰阿姆斯特丹，2019年8月。
  [PDF]（PDF格式）
• J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。理性验证的计算牵引性。在第28届国际人工智能联合会议记录（IJCAI-2019），中国澳门，2019年8月。
  [PDF]（PDF格式）

2018

• J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。EVE：时间平衡分析工具。在第十六届自动验证和分析技术国际研讨会会议记录（ATVA-2018）2018年10月，洛杉矶。
  [PDF]（PDF格式）