编辑配置文件(在新选项卡中打开) 朱利安·古铁雷斯 合著者距离 作者ID: 古铁雷斯·朱利安 发布日期: 朱利安·古铁雷斯;朱利安·古铁雷斯 主页: http://www.cs.ox.ac.uk/people/julian.gutierrez/ 外部链接: MGP公司·ORCID公司·数据库管理程序 已编制索引的文档: 42出版物自2007年以来,包括2个附加arXiv预打印 1名编辑贡献 合著者: 27位合著者具有37联合出版物 690名Co-Co作者 全部的 前5名合著者 4 单作者的 20 迈克尔·J·伍尔德里奇。 8 朱塞佩·佩雷利 7 戈麦斯、迪奥戈·路易斯·阿奎尔 7 保罗·哈伦斯坦 4 温克尔,格林 3 尤里·阿什拉夫扬。 3 Bakaryan,Tigran K。 3 朱利安·查尔斯·布拉德菲尔德 3 穆罕默德·纳吉布 3 托马斯·斯蒂普尔斯 2 皮埃尔·克莱兰堡 2 费利克斯·克莱特克 2 马丁·兰格 2 马修·劳里埃 2 里卡多·里贝罗 1 法比奥·波特勒 1 克里斯蒂娜·费尔南德斯。 1 大卫·C·海兰德。 1 科瓦拉(Szymon Kowara) 1 萨里特·克劳斯 1 阿尼埃洛·穆拉诺 1 佩雷斯(Jorge A.Pérez)。 1 戴维·里普利 1 萨沙·鲁宾 1 卡米洛·鲁埃达 1 亚历克西斯·图米 1 弗兰克·巴伦西亚。 1 艾玛·范·迪克 1 瓦莱里亚·扎霍兰斯基 全部的 前5名系列 5 信息与计算 3 人工智能 2 游戏 1 信息学报 1 应用数学与优化 1 计算机与系统科学杂志 1 合成 1 理论计算机科学 1 逻辑科公报 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 数学科学中的传播 1 计算机科学中的逻辑方法 1 SIAM金融数学杂志 1 极小极大理论及其应用 1 工程数学 全部的 前5名领域 30 计算机科学(68至XX) 26 博弈论、经济学、金融和其他社会和行为科学(91-XX) 20 数学逻辑和基础(03-XX) 5 偏微分方程(35-XX) 4 变分法与最优控制;最优化(49至XX) 3 组合数学(05-XX) 2 概率论与随机过程(60-XX) 2 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用141中的次67文件 引用人▼ 年份▼ 迭代布尔游戏。 Zbl 1318.91012号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 23 2015 并发游戏的获胜方式。 兹比尔1362.68206 皮埃尔·克莱兰堡;朱利安·古铁雷斯;温克尔,格林 11 2012 从模型检查到平衡检查:用于理性验证的反应性模块。 Zbl 1420.68129号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 11 2017 表达能力和复杂性是战略推理的结果。 Zbl 1374.68332号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 10 2015 关于类游戏并发系统中平衡的推理。 Zbl 1400.03057号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 9 2017 并发游戏中自动验证纳什均衡的工具。 Zbl 1471.68157号 Alexis图米;朱利安·古铁雷斯;迈克尔·伍尔德里奇 9 2015 纳什均衡和互模拟不变性。 Zbl 1442.68143号 朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 7 2017 用于并发、因果和冲突的逻辑和互模拟游戏。 Zbl 1234.68300号 朱利安·古铁雷斯 6 2009 项目结构上并发博弈的均衡。 Zbl 1401.68228号 朱利安·古铁雷斯;迈克尔·伍尔德里奇 6 2014 具有部分顺序模型的定点逻辑的模型检查游戏。 Zbl 1254.68150号 朱利安·古铁雷斯;朱利安·布拉德菲尔德 5 2009 带噪声的平均场博弈价格模型。 Zbl 1498.91194号 戈麦斯、迪奥戈;朱利安·古铁雷斯;里卡多·里贝罗 5 2021 \(\mu\)-微积分交替层次结构在具有受限连通性的结构上崩溃。 Zbl 1327.03016号 朱利安·古铁雷斯;费利克斯·克莱特克;马丁·兰格 4 2014 自动时间均衡分析:多层游戏的验证和合成。 Zbl 1493.68360号 朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 4 2020 价格形成MFG模型的对偶方法。 Zbl 1515.49021号 尤里·阿什拉夫扬;提格兰巴卡良;戈麦斯、迪奥戈;朱利安·古铁雷斯 4 2023 部分序上的并发逻辑博弈。 Zbl 1291.03066号 朱利安·古铁雷斯 3 2011 用于分析生物系统的时间并发约束编程。 Zbl 1277.68188号 朱利安·古铁雷斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 3 2007 反应模块游戏中的信息不完整。 Zbl 1395.68188号 朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 3 2018 纳什均衡和互模拟不变性。 Zbl 1442.68142号 朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 3 2019 定性和定量目标相结合的博弈均衡。 Zbl 1483.68193号 朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 2 2021 部分顺序布尔博弈:基于逻辑的战略互动模型中的信息独立性。 Zbl 1397.91017号 朱利安·布拉德菲尔德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 2 2016 逻辑和并发游戏中的不完全信息。 Zbl 1264.91031号 皮埃尔·克莱兰堡;朱利安·古铁雷斯;温克尔,格林 2 2013 关于Tuza关于三角剖分和小树宽图的猜想。 Zbl 07515178号 F.波特勒。;C.G.费尔南德斯。;J.古铁雷斯。 2 2019 部分订单游戏。 Zbl 1484.91013号 瓦莱丽娅·扎霍兰斯基;朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 2 2022 并发游戏的均衡设计。 Zbl 07649930号 朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 2 2019 一个随机供应平均场博弈价格模型。 Zbl 1511.35350号 戈麦斯、迪奥戈;朱利安·古铁雷斯;里卡多·里贝罗 2 2023 具有部分顺序模型的定点逻辑的模型检查游戏。 Zbl 1215.68149号 朱利安·古铁雷斯;朱利安·布拉德菲尔德 1 2011 具有无限赢集的事件结构上并发博弈的确定性。 Zbl 1291.03067号 朱利安·古铁雷斯;温克尔,格林 1 2014 演算交替层次结构在连接受限的结构上崩溃。 Zbl 1469.03050号 朱利安·古铁雷斯;费利克斯·克莱特克;马丁·兰格 1 2012 价格形成MFG模型的对偶方法。 Zbl 1515.49021号 尤里·阿什拉夫扬;提格兰巴卡良;戈麦斯、迪奥戈;朱利安·古铁雷斯 4 2023 一个随机供应平均场博弈价格模型。 Zbl 1511.35350号 戈麦斯、迪奥戈;朱利安·古铁雷斯;里卡多·里贝罗 2 2023 部分订单游戏。 Zbl 1484.91013号 瓦莱里亚·扎霍兰斯基;朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 2 2022 带噪声的平均场博弈价格模型。 Zbl 1498.91194号 戈麦斯、迪奥戈;朱利安·古铁雷斯;里卡多·里贝罗 5 2021 定性和定量目标相结合的博弈均衡。 Zbl 1483.68193号 朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 2 2021 自动时间均衡分析:多层游戏的验证和合成。 Zbl 1493.68360号 朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 4 2020 纳什均衡和互模拟不变性。 Zbl 1442.68142号 朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 3 2019 关于Tuza关于三角剖分和小树宽图的猜想。 Zbl 07515178号 F.波特勒。;C.G.费尔南德斯。;J.古铁雷斯。 2 2019 并发游戏的均衡设计。 兹比尔07649930 朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 2 2019 反应模块游戏中的信息不完整。 Zbl 1395.68188号 朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 3 2018 从模型检查到平衡检查:用于理性验证的反应性模块。 Zbl 1420.68129号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 11 2017 关于类游戏并发系统中平衡的推理。 Zbl 1400.03057号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 9 2017 纳什均衡和互模拟不变性。 Zbl 1442.68143号 朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 7 2017 部分顺序布尔博弈:基于逻辑的战略互动模型中的信息独立性。 Zbl 1397.91017号 朱利安·布拉德菲尔德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 2 2016 迭代布尔游戏。 兹比尔1318.91012 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 23 2015 表达能力和复杂性是战略推理的结果。 Zbl 1374.68332号 朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 10 2015 并发游戏中自动验证纳什均衡的工具。 Zbl 1471.68157号 亚历克西斯·图米;朱利安·古铁雷斯;迈克尔·伍尔德里奇 9 2015 项目结构上并发博弈的均衡。 Zbl 1401.68228号 朱利安·古铁雷斯;迈克尔·伍尔德里奇 6 2014 演算交替层次结构在连接受限的结构上崩溃。 Zbl 1327.03016号 朱利安·古铁雷斯;费利克斯·克莱特克;马丁·兰格 4 2014 具有无限赢集的事件结构上并发博弈的确定性。 兹比尔1291.03067 朱利安·古铁雷斯;温克尔,格林 1 2014 逻辑和并发游戏中的不完整信息。 Zbl 1264.91031号 皮埃尔·克莱兰堡;朱利安·古铁雷斯;温克尔,格林 2 2013 并发游戏的获胜方式。 Zbl 1362.68206号 皮埃尔·克莱兰堡;朱利安·古铁雷斯;温克尔,格林 11 2012 演算交替层次结构在连接受限的结构上崩溃。 Zbl 1469.03050号 朱利安·古铁雷斯;费利克斯·克莱特克;马丁·兰格 1 2012 部分序上的并发逻辑博弈。 Zbl 1291.03066号 朱利安·古铁雷斯 3 2011 具有部分顺序模型的定点逻辑的模型检查游戏。 Zbl 1215.68149号 朱利安·古铁雷斯;朱利安·布拉德菲尔德 1 2011 用于并发、因果和冲突的逻辑和互模拟游戏。 Zbl 1234.68300号 朱利安·古铁雷斯 6 2009 具有部分顺序模型的定点逻辑的模型检查游戏。 Zbl 1254.68150号 朱利安·古铁雷斯;朱利安·布拉德菲尔德 5 2009 用于分析生物系统的定时并发约束编程。 Zbl 1277.68188号 朱利安·古铁雷斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 3 2007 所有引用出版物 前5名被引用出版物 全部的 前5名102位作者引用 23 朱利安·古铁雷斯 17 迈克尔·J·伍尔德里奇。 8 朱塞佩·佩雷利 8 温克尔,格林 6 保罗·哈伦斯坦 5 阿尼埃洛·穆拉诺 4 马西莫·贝内雷切蒂 4 皮埃尔·克莱兰堡 4 法比奥·莫加维罗 3 保罗·巴尔丹 3 朱利安·查尔斯·布拉德菲尔德 3 戈麦斯、迪奥戈·路易斯·阿奎尔 3 Marta Z.Kwiatkowska。 3 穆罕默德·纳吉布 3 萨沙·鲁宾 3 卡米洛·鲁埃达 3 托马斯·斯蒂普尔斯 2 亚历山德罗·阿巴特 2 弗朗西斯科·贝拉迪内利 2 迪伦·贝利尔 2 西蒙·卡斯特伦 2 黛拉·莫妮卡,达里奥 2 福克斯,詹姆斯 2 马萨基州藤井市 2 刘易斯·哈蒙德 2 马丁·兰格 2 瓦迪姆·马尔文 2 格钦·诺曼 2 托马索·帕多安 2 佩雷斯(Jorge A.Pérez)。 2 桑托斯,加布里埃尔·皮涅罗·阿尔维斯 2 弗兰克·巴伦西亚。 1 费德里卡·阿多巴蒂 1 奥罗雷·阿尔科莱 1 本杰明·阿米诺夫 1 杰苏斯·阿兰达 1 尤里·阿什拉夫扬。 1 阿夫尼,盖伊 1 Bakaryan,Tigran K。 1 马特·巴克 1 Bernardinello,卢卡 1 最好的,艾克 1 帕特里夏·鲍耶 1 弗洛里安·布鲁斯 1 凯莉、瑞恩 1 西尔维亚·克拉法 1 乔瓦娜·达戈斯蒂诺 1 马克·德·维斯梅 1 皮埃尔·德贡德 1 汤姆·埃弗里特 1 帕特里克·加迪 1 瓦伦丁·F·戈兰科。 1 丹尼尔·戈拉 1 翁贝托·格兰迪 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 什巴希斯·古哈 1 乔纳森·马克·海曼 1 安德烈亚斯·赫齐格 1 大卫·C·海兰德。 1 海兰德·J·马丁·E·。 1 沃伊切赫·贾姆罗加 1 Ju、Fengkui 1 费利克斯·克莱特克 1 科瓦拉(Szymon Kowara) 1 萨里特·克劳斯 1 Kuijer、Louwe Bouke 1 奥尔纳·库普弗曼 1 马克·拉森 1 马修·劳里埃 1 玛丽娜·莱妮莎 1 刘昌娟 1 阿莱西奥·洛穆西奥 1 多米尼克·隆吉 1 埃米利亚诺·洛里尼 1 马特·麦克德莫特 1 尼古拉斯·马基 1 约翰内斯·马蒂 1 拉尔夫·马丁 1 安卡·穆斯科尔 1 米拉贝尔·穆尔斯 1 阿里安娜·诺瓦罗 1 卡洛斯·奥拉特 1 阿德里亚诺·佩隆 1 劳伦特·佩鲁塞尔 1 伊恩·菲利普斯。 1 露西娅·波梅尔 1 里卡多·里贝罗 1 伊万诺·萨尔沃 1 杰里米·塞利格曼。 1 马里亚·斯沃雷奥娃 1 秋池高桥 1 德克兰·汤普森 1 伊雷克·乌利多夫斯基 1 van Benthem,Johan F.A.K。 1 范德霍克,威比 1 维尼马,伊德 1 伊琳娜·B·维碧茨卡岩。 1 魏晓鹏 1 瓦莱丽娅·扎霍兰斯基 1 张强 …还有另外两位作者 全部的 前5名25篇连载文章中引用 7 信息与计算 6 人工智能 3 游戏 2 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 逻辑、语言与信息杂志 2 ACM计算逻辑事务 2 SIAM金融数学杂志 1 信息学报 1 应用数学与优化 1 Automatica公司 1 计算机与系统科学杂志 1 合成 1 计算的形式方面 1 骨髓间充质干细胞。计算机科学中的数学结构 1 应用科学中的数学模型与方法 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 约束条件 1 欧洲控制杂志 1 计算系统理论 1 欧洲应用和工业数学系列(ESAIM):控制、优化和变分计算 1 美国计算机学会期刊 1 计算机科学中的逻辑方法 1 极小极大理论及其应用 全部的 前5名11个领域引用 51 计算机科学(68至XX) 37 博弈论、经济学、金融和其他社会和行为科学(91-XX) 33 数学逻辑和基础(03-XX) 4 偏微分方程(35-XX) 4 变分法与最优控制;最优化(49至XX) 2 组合数学(05-XX) 2 范畴理论;同调代数(18-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 按年份列出的引文