编辑配置文件（在新选项卡中打开） 尤德·卢斯蒂格 合著者距离 作者ID： 卢西格·尤德 发布日期： 尤德·卢斯蒂格 已编制索引的文档： 14出版物自2003年起 合著者： 14合著者具有14联合出版物 374位合作作者 全部的 前5名合著者 0 单作者的 7 奥尔纳·库普弗曼 6 莫西·亚亚科夫·瓦尔迪 4 达纳·菲斯曼 2 苏米特·奈恩 1 辛迪·艾斯纳 1 丹尼尔·盖斯特 1 马克·金兹堡 1 约翰·W·哈夫利切克。 1 安东尼·麦克萨克 1 Ishai Rabinovitz 1 奥哈德·沙查姆 1 雷切尔·索雷夫 1 戴维·范·坎本霍特 1 米哈利斯·亚纳卡基斯 系列 1 国际计算机科学基础杂志 1 计算机科学中的逻辑方法 领域 14 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用165中的次157文件 引用人▼ 年份▼ 理性综合。 Zbl 1284.68396号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 46 2010 格自动机。 Zbl 1132.68455号 奥尔纳·库普弗曼;尤德·卢斯蒂格 44 2007 在截断路径上使用时态逻辑进行推理。 Zbl 1278.68168号 辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克;尤德·卢斯蒂格;安东尼·麦克萨克;戴维·范·坎本霍特 26 2003 从组件库合成。 Zbl 1234.68260号 尤德·卢斯蒂格;莫舍·瓦尔迪。 16 2009 格子模拟关系和游戏。 Zbl 1200.68155号 奥尔纳·库普弗曼;尤德·卢斯蒂格 9 2010 验证分布式协议的容错性。 Zbl 1134.68317号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 6 2008 在本地可检查属性上。 Zbl 1165.68408号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。 5 2006 晶格模拟关系和游戏。 兹比尔1141.68473 奥尔纳·库普弗曼;尤德·卢斯蒂格 4 2007 Büchi确定的模块化方法。 Zbl 1374.68258号 达纳·菲斯曼;尤德·卢斯蒂格 4 2015 有界系统和环境的时间合成。 Zbl 1230.68144号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 三 2011 递归组件库的合成。 Zbl 1457.68065号 尤德·卢斯蒂格;莫舍·瓦尔迪。 1 2011 概率成分合成。 Zbl 1335.68061号 尤德·卢斯蒂格;苏米特·奈恩;莫舍·瓦尔迪。 1 2014 Büchi确定的模块化方法。 Zbl 1374.68258号 达纳·菲斯曼;尤德·卢斯蒂格 4 2015 概率成分合成。 Zbl 1335.68061号 尤德·卢斯蒂格;苏米特·奈恩;莫舍·瓦尔迪。 1 2014 有界系统和环境的时间合成。 Zbl 1230.68144号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 三 2011 从递归组件库合成。 Zbl 1457.68065号 尤德·卢斯蒂格;莫舍·瓦尔迪。 1 2011 理性综合。 Zbl 1284.68396号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 46 2010 格子模拟关系和游戏。 Zbl 1200.68155号 奥尔纳·库普弗曼;尤德·卢斯蒂格 9 2010 从组件库合成。 Zbl 1234.68260号 尤德·卢斯蒂格;莫舍·瓦尔迪。 16 2009 验证分布式协议的容错性。 Zbl 1134.68317号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 6 2008 格自动机。 Zbl 1132.68455号 奥尔纳·库普弗曼;尤德·卢斯蒂格 44 2007 格子模拟关系和游戏。 兹比尔1141.68473 奥尔纳·库普弗曼;尤德·卢斯蒂格 4 2007 在本地可检查属性上。 Zbl 1165.68408号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。 5 2006 在截断路径上使用时序逻辑进行推理。 兹比尔1278.68168 辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克;尤德·卢斯蒂格;安东尼·麦克萨克;戴维·范·坎本霍特 26 2003 所有引用出版物 前5名被引用出版物 全部的 前5名272位作者引用 25 奥尔纳·库普弗曼 12 阿夫尼，盖伊 11 朱利安·古铁雷斯 11 迈克尔·J·伍尔德里奇。 10 朱塞佩·佩雷利 8 托马斯·亨辛格（Thomas A.Henzinger）。 8 莫西·亚亚科夫·瓦尔迪 7 曼弗雷德·德罗斯特 7 Jean-François拉斯金 6 李永明 5 维罗尼克·布鲁埃 5 达纳·菲斯曼 5 塔米尔、塔米 4 托马斯·布里海耶 4 克里希南德·查特吉 4 阿琳·戈敏 4 古哈，柴桥 4 英格玛·梅内克 4 阿尼埃洛·穆拉诺 三 博克，乌迪 三 帕特里夏·鲍耶 三 曹永志 三 陈一香 三 阿德里安·弗兰卡兰扎 三 保罗·哈伦斯坦 三 伊戈尔·康诺夫（Igor V.Konnov）。 三 尼古拉斯·马基 三 穆罕默德·纳吉布 三 潘海宇 三 乔治·拉霍尼斯 三 约瑟夫·威德 三 吴，衡阳 2 卢卡·埃特罗 2 米拉德·阿加乔哈里 2 弗兰兹·巴德 2 安德烈亚斯·鲍尔 2 肖姆·本·达维德 2 朱利安·布鲁内尔 2 戴维·谢穆伊尔 2 哈娜·乔克勒 2 米罗斯拉夫·奇·伊里奇。 2 邓婷 2 邓雨欣 2 雷娜·迪米特洛娃 2 劳伦特·多恩 2 吕迪格·埃勒斯 2 辛迪·艾斯纳 2 安吉洛·费兰多 2 伯恩德·芬克贝纳 2 帕特里克·加迪 2 保罗·加斯丁 2 瓦伦丁·F·戈兰科。 2 怀、金鹏 2 Anna Ingólfsdóttir 2 马丁·勒克 2 奥德·马勒 2 埃琳·曼德拉利 2 德扬·尼科维奇 2 拉斐尔·佩尼亚洛扎 2 萨沙·鲁宾 2 塞萨尔·桑切斯 2 克里斯蒂安·夏尔哈特 2 托马斯·斯蒂普尔斯 2 纳迪亚·塔比 2 加尔省瓦尔迪 2 赫尔穆特·维思 2 魏秀娟 1 阿布·拉迪·巴德 1 安东尼斯·阿奇利奥斯 1 西里亚克·艾斯瓦里亚 1 沙乌尔·阿尔马戈 1 拉杰夫·阿鲁尔 1 本杰明·阿米诺夫 1 达纳州安格鲁因 1 保罗·C·阿蒂。 1 肖恩·阿佐帕迪 1 乔治·巴奇 1 乔瓦尼·巴奇 1 埃齐奥·巴托西 1 巴希奇，米兰 1 啤酒，伊兰 1 弗朗西斯科·贝拉迪内利 1 瓦利德·贝尔基尔 1 尼古拉·贝内什 1 萨德克·本萨勒姆 1 哈什·贝哈尔 1 拉斐尔·伯顿 1 西蒙·布利兹 1 阿德里安·博伊雷特 1 贝内迪克特·博利格 1 马吕斯·博兹加 1 劳拉·博泽利 1 罗曼·布伦吉尔 1 贝内迪克特·布吕奇 1 卜天明 1 阿拉里科坎佩特利 1 迈克尔·坎通尼 1 拉斐尔·卡多佐（Rafael C.Cardoso）。 1 朱西·卡斯蒂格利奥内 1 伊万娜·乔纳 …还有172位作者 全部的 前5名29篇连载文章中引用 16 信息与计算 13 理论计算机科学 12 系统设计中的形式化方法 9 计算机科学中的逻辑方法 6 ACM计算逻辑事务 5 人工智能 5 模糊集与系统 4 国际近似推理杂志 三 信息学报 三 自动推理杂志 三 离散事件动态系统 2 信息科学 2 数学与人工智能年鉴 2 科学中国。信息科学 2 程序设计中的逻辑和代数方法杂志 1 Automatica公司 1 计算机与系统科学杂志 1 符号计算杂志 1 国际计算机科学基础杂志 1 数学与应用杂志。Neuvième Série 1 逻辑、语言与信息杂志 1 计算系统理论 1 软计算 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 伊朗模糊系统杂志 1 理论计算机科学的基础和发展趋势 1 游戏 1 计算机科学评论 全部的 前5名在9个字段中引用 143 计算机科学（68至XX） 60 数学逻辑和基础（03-XX） 39 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 组合数学（05-XX） 5 系统论；控制（93至XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文