编辑配置文件（在新选项卡中打开） 莫西·亚亚科夫·瓦尔迪 合著者距离 作者ID: vardi.moshe-y公司 发布日期： 莫舍·瓦尔迪。;M.Y.瓦尔迪。;摩什·瓦尔迪;瓦尔迪，M。;莫西·亚亚科夫·瓦尔迪 更多。。。较少的 主页： https://www.cs.rice.edu/~vardi（瓦尔迪）/ 外部链接： MGP公司·ORCID公司·维基数据·谷歌学者·ResearchGate公司·推特·数学-网络。俄罗斯·数据库许可证·接地·ID参考 编入索引的文档： 286出版物自1981年以来，包括2本书和2个附加arXiv预打印 11作为编辑的贡献·1进一步贡献 传记参考： 1出版物 合著者： 196位合著者具有265联合出版物 4256位合作作者 全部的 前5名合著者 33 单作者的 60 奥尔纳·库普弗曼 17 阿尼埃洛·穆拉诺 16 Joseph Yehuda Halpern 15 罗纳德·费金 15 尼尔·皮特曼 12 Phokion G.科莱提斯。 11 塞斯·福格蒂。 10 法比奥·莫加维罗 9 皮埃尔·沃尔珀 8 朱塞佩·德贾科莫 8 张丽君 7 迭戈·卡尔瓦内斯 7 李建文 7 潘国强 7 米哈伊利斯·扬纳卡基斯 6 苏古曼·班萨尔 6 菲克斯，利莫 6 尤德·卢斯蒂格 6 苏米特·奈恩 6 Pu，葛光 6 托马斯·威尔克 5 凯特丽尔·比里 5 德米特里厄斯·德莫普洛斯。 5 拉南·弗雷尔 5 油炸，Dror 5 利迪亚·卡夫拉基。 5 莫里齐奥·伦泽里尼 5 李勇 5 摩西，约拉姆 5 朱塞佩·佩雷利 5 卢卡斯·塔巴哈拉。 5 蔡义权 4 谢尔盖·阿比特布尔 4 罗伊·阿莫尼 4 多龙·布斯坦 4 斯瓦拉特·乔杜里 4 哈娜·乔克勒 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 吉拉·卡米 4 加布里埃尔·M·库珀。 4 哈里·乔治·梅森 4 米盖尔·罗梅罗 4 克里斯汀·伊冯·罗泽尔 4 乌尔里克·萨特勒 4 罗伯托·塞巴斯蒂亚尼 4 伊莱·辛格曼 4 斯特凡诺·托内塔 4 朱淑芳 三 克里希南德·查特吉 三 安东尼奥·迪斯塔西奥 三 库沙·埃特萨米 三 阿隆·弗莱舍 三 何继峰 三 Legay、Axel 三 塞拉马多尔·海姆 三 库尔迪普·S·米尔。 三 Doron A.Peled。 三 伊利昂州普拉库 三 圣米盖尔·阿吉雷，阿方索 三 安德烈亚斯·蒂梅耶 三 安德烈亚·图里尼 三 维克托·维亚努 三 张志伟 2 拉杰夫·阿鲁尔 2 本杰明·阿米诺夫 2 巴勃罗·巴塞洛 2 皮耶罗·安德里亚·博纳蒂 2 卢卡斯·波尔多 2 克里斯蒂安·科尔法 2 拜伦·库克 2 科斯塔斯·库库贝蒂斯。 2 劳伦特·多恩 2 费德尔，托马斯 2 冯伟志 2 凯西·菲斯勒 2 埃胡德·弗里德古特 2 乔治·戈特洛布 2 埃里希·格拉德尔 2 奥尔纳·格隆伯格 2 大卫·哈雷 2 加布里埃尔·伊斯特拉特。 2 卡内拉基斯，巴黎克里斯托斯 2 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 Marta Z.Kwiatkowska。 2 莫特萨·拉希贾尼安 2 卡斯滕·卢茨 2 克里斯托弗·摩尔 2 乔尔·欧·瓦克宁。 2 阿米尔·普努利 2 胡安·卢特（Juan L.Reutter）。 2 萨沙·鲁宾 2 叶霍舒亚·萨吉夫 2 亚历山大·施瓦兹曼（Alexander A.Schwarzmann）。 2 Aditya A.Shrotri。 2 德维卡·苏布拉曼尼亚语 2 戴安·塔巴科夫 2 蔡明贤 2 杰弗里·戴维·乌尔曼 1 亚历山大·艾肯 1 加尔阿姆拉姆 …还有96位合作作者 全部的 前5名系列 14 信息与计算 12 计算机与系统科学杂志 12 系统设计中的形式化方法 9 理论计算机科学 9 计算机科学中的逻辑方法 5 信息处理信件 5 计算机协会杂志 5 SIAM计算机杂志 4 人工智能 4 计算机科学课堂讲稿 三 纯逻辑与应用逻辑年鉴 三 符号逻辑公报 三 约束条件 三 芝加哥理论计算机科学杂志 三 ACM计算逻辑事务 2 信息学报 2 逻辑与计算杂志 2 人工智能研究杂志 2 美国医学会杂志 2 理论计算机科学电子论文集（EPTCS） 1 倒排索引综述 1 ACM数据库系统事务 1 IEEE自动控制汇刊 1 信息和控制 1 国际博弈论杂志 1 符号逻辑杂志 1 算法杂志 1 逻辑程序设计杂志 1 自动推理杂志 1 计算的形式方面 1 随机结构与算法 1 国际计算机科学基础杂志 1 离散事件动态系统 1 游戏与经济行为 1 分布式计算 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 计算系统理论 1 自动机、语言和组合数学杂志 1 IGPL逻辑杂志 1 理论计算机科学课文。EATCS系列 全部的 前5名领域 281 计算机科学（68至XX） 105 数理逻辑与基础（03-XX） 22 博弈论、经济学、金融和其他社会和行为科学（91-XX） 11 总体主题；集合（00-XX） 6 运筹学、数学规划（90-XX） 三 历史和传记（01-XX） 三 组合数学（05-XX） 三 系统论；控制（93至XX） 1 阶、格、有序代数结构（06-XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 253出版物被引用4589次中的次3054文件 引用人▼ 年份▼ 关于知识的推理。 Zbl 0839.68095号 罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。;摩西，约拉姆;莫舍·瓦尔迪。 717 1995 单调单子SNP的计算结构和约束满足：通过数据日志和群论进行的研究。 Zbl 0914.68075号 费德尔，托马斯;莫舍·瓦尔迪。 326 1998 关于无限计算的推理。 Zbl 0827.03009 莫舍·瓦尔迪。;皮埃尔·沃尔珀 179 1994 一种用于分支时间模型检查的自动机理论方法。 兹比尔1133.68376 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 120 2000 程序模态逻辑的自动机理论技术。 Zbl 0622.03017号 莫舍·瓦尔迪。;皮埃尔·沃尔珀 89 1986 连接查询包含和约束满足。 Zbl 0963.68059号 Phokion G.科莱提斯。;莫舍·瓦尔迪。 84 2000 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0613.03015号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 82 1987 用双向自动机推理过去。 Zbl 0909.03019号 莫舍·瓦尔迪。 75 1998 参数化实时推理。 Zbl 1310.68139号 拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。;莫舍·瓦尔迪。 74 1993 关于二元一阶逻辑的决策问题。 Zbl 0873.03009号 埃里希·格拉德尔;Phokion G.科莱提斯。;莫舍·瓦尔迪。 70 1997 关于知识和时间的推理的复杂性。一： 下限。 兹伯利0672.03015 约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 58 1989 数据相关性的证明过程。 Zbl 0632.68097号 凯特丽尔·比里;莫舍·瓦尔迪。 57 1984 安全特性的模型检查。 Zbl 0995.68061号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 56 2001 交替细化关系。 Zbl 1070.68524号 拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;莫舍·瓦尔迪。 56 1998 弱交替自动机并没有那么弱。 Zbl 1171.68551号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 52 2001 有限模型理论及其应用。 Zbl 1133.03001号 埃里希·格拉德尔;Phokion G.科莱提斯。;利奥尼德·利金;马滕·马克思;乔尔·斯宾塞;莫舍·瓦尔迪。;维尼马，伊德;斯科特·温斯坦 51 2007 关于策略的推理：关于模型选择问题。 Zbl 1354.68178号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 51 2014 无穷逻辑和0-1定律。 Zbl 0762.03016号 Phokion G.科莱提斯。;莫舍·瓦尔迪。 49 1992 关于知识和时间的推理的完整公理化。 Zbl 1059.68127号 约瑟夫·霍尔珀（Joseph Y.Halpern）。;罗恩·范德梅登;莫舍·瓦尔迪。 48 2004 数据依赖的隐含问题（扩展抽象）。 兹伯利0462.68022 比里，C。;M.Y.瓦尔迪。 44 1981 具有两个变量的一阶逻辑和一元时态逻辑。 Zbl 1096.03013号 库沙·埃特萨米;莫舍·瓦尔迪。;托马斯·威尔克 42 2002 重写正则表达式和正则路径查询。 Zbl 1015.68083号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 39 2002 关于一元NP与一元co-NP。 Zbl 0835.68046号 罗纳德·费金;Stockmeyer，Larry J。;莫舍·瓦尔迪。 38 1995 单调单子SNP与约束满足。 Zbl 1310.68086号 费德尔，托马斯;莫舍·瓦尔迪。 37 1993 关于策略的推理。 Zbl 1245.68138号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 37 2010 从活泼到敏捷。 Zbl 1192.68416号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 34 2009 函数依赖和包含依赖的蕴涵问题是不可判定的。 Zbl 0603.68100号 Ashok K·钱德拉。;莫舍·瓦尔迪。 34 1985 为什么模态逻辑如此可靠？ Zbl 0881.03012号 莫舍·瓦尔迪。 34 1997 机器能知道什么？关于分布式系统中知识的性质。 Zbl 0799.68179号 罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 32 1992 改进了线性时序逻辑的自动机生成。 Zbl 1046.68588号 马可·丹尼尔;福斯托·金奇利亚;莫舍·瓦尔迪。 30 1999 弱交替自动机和树自动机为空。 Zbl 1005.68525号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 29 1998 信息不完整的合成。 兹比尔0953.68090 奥尔纳·库普弗曼;莫舍·瓦尔迪。 28 2000 数据库逻辑程序的无法说明的优化问题。 Zbl 0785.68021号 哈伊姆·盖夫曼;哈里·梅森;叶霍舒亚·萨吉夫;莫舍·瓦尔迪。 27 1993 建模知识和公共知识的层次方法。 Zbl 1061.68556号 罗纳德·费金;约翰·吉安纳科普洛斯;约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 27 1999 模块检查。 Zbl 1003.68071号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 26 2001 重温常识。 Zbl 1060.03008号 费金，R。;J.Y.Halpern。;Y.摩西。;M.Y.瓦尔迪。 26 2003 知识的模型理论分析。 Zbl 0799.68177号 罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 24 1991 ForSpec时态逻辑：一种新的时态属性特定语言。 Zbl 1043.68563号 罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;格特，罗布;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar，耶尔 24 2002 是什么使亚特兰大*可判定的？战略逻辑的一个决定性片段。 兹比尔1365.68329 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 24 2012 关于双向自动机简化为单向自动机的注记。 Zbl 0665.68045号 莫舍·瓦尔迪。 24 1989 合理环境的合成。 Zbl 1372.68173号 奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 24 2016 在通用关系模型的基础上。 Zbl 0563.68077号 大卫·迈尔;杰弗里·乌尔曼。;莫舍·瓦尔迪。 23 1984 马尔可夫决策过程的多目标模型检验。 Zbl 1161.68565号 库沙·埃特萨米;玛尔塔·奎亚特科夫斯卡;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 23 2008 经典自动机结构的实验评估。 Zbl 1143.68443号 戴安·塔巴科夫;莫舍·瓦尔迪。 23 2005 生成依赖关系的元组和等式的形式化系统。 Zbl 0544.68064号 比里，C。;M.Y.瓦尔迪。 22 1984 无安全成分合成。 Zbl 1188.68193号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 22 2006 教会的问题再次出现。 Zbl 0932.03029号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 21 1999 重温自动化理论模型检查。 Zbl 1132.68483号 莫舍·瓦尔迪。 21 2007 分级微积分的复杂性。 Zbl 1072.03014号 奥尔纳·库普弗曼;乌尔里克·萨特勒;莫舍·瓦尔迪。 21 2002 用于验证时间属性的内存高效算法。 Zbl 0786.68060号 库库贝蒂斯，C。;瓦尔迪，M。;P.沃尔珀。;亚纳卡基斯，M。 20 1991 还有另一个过程逻辑。 Zbl 0549.68020号 莫舍·瓦尔迪。;皮埃尔·沃尔珀 20 1984 分支与线性时间：最终决战。 Zbl 0986.68064号 莫舍·瓦尔迪。 20 2001 定点逻辑、关系机器和计算复杂性。 Zbl 0883.68070号 谢尔盖·阿比特布尔;莫舍·瓦尔迪。;维克托·维亚努。 20 1997 并发程序的验证：自动机理论框架。 Zbl 0725.03013号 莫舍·瓦尔迪。 20 1991 比奇互补传奇。 Zbl 1186.03062号 莫舍·瓦尔迪。 20 2007 信息不完全的战略逻辑。 Zbl 1458.68113号 拉斐尔·伯顿;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾;莫舍·瓦尔迪。 20 2017 逻辑全知问题的非标准方法。 Zbl 1014.03513号 罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 19 1995 数据依赖理论——一项调查。 兹伯利0617.68084 罗纳德·费金;莫舍·瓦尔迪。 19 1986 黑盒检查。 兹比尔0952.68012 多龙·贝利德;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 19 1999 混合微积分。 Zbl 0988.03053号 乌尔里克·萨特勒;莫舍·瓦尔迪。 19 2001 集合约束的复杂性。 Zbl 0953.68557号 A.艾肯。;科赞，D。;瓦尔迪，M。;Wimmers，F。 19 1994 关于无限状态系统推理的自动机理论方法。 Zbl 0974.68083号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 18 2000 反应环境中的开放系统：控制和合成。 Zbl 0999.68124号 奥尔纳·库普弗曼;马杜苏丹，P。;蒂亚加拉扬，P.S。;莫舍·瓦尔迪。 18 2000 二阶逻辑片段的0-1律和判定问题。 Zbl 0708.03004号 Phokion G.科莱提斯。;莫舍·瓦尔迪。 18 1990 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0577.03019号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 17 1985 关于Datalog的表达能力：工具和案例研究。 Zbl 1360.68397号 Phokion G.科莱提斯。;莫舍·瓦尔迪。 17 1995 黑盒检查。 Zbl 1046.68072号 多龙·贝利德;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 16 2002 从组件库合成。 Zbl 1234.68260号 尤德·卢斯蒂格;莫舍·瓦尔迪。 16 2009 策略推理：关于可满足性问题。 Zbl 1448.68312号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 16 2017 自动机：从逻辑到算法。 Zbl 1234.03026号 莫舍·瓦尔迪。;托马斯·威尔克 15 2008 时间模型检查中的真空检测。 Zbl 0961.68085号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 15 1999 富集计算的复杂性。 Zbl 1151.03016号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 15 2008 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;奥尔纳·格隆伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 下压规范。 Zbl 1023.68624号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 15 2002 基于知识的计划。 兹比尔1448.68406 罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。;摩西，约拉姆;莫舍·瓦尔迪。 15 1997 从线性时间到分支时间。 Zbl 1367.68195号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 15 2005 模型检验与定理证明：宣言。 Zbl 0755.68121号 约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 14 1991 用于验证时间属性的内存高效算法。 Zbl 0765.68120号 库库贝蒂斯，C。;瓦尔迪，M。;P.沃尔珀。;亚纳卡基斯，M。 14 1991 安全特性的模型检查。 Zbl 1046.68597号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 1999 经常出现真空。 Zbl 1159.68311号 多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格隆伯格;奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 2005 作为证明系统的约束传播。 Zbl 1152.68537号 阿尔伯特·阿塞里亚斯;Phokion G.科莱提斯。;莫舍·瓦尔迪。 14 2004 一元包含依赖的多项式时间蕴涵问题。 Zbl 0698.68090号 斯塔夫罗斯·科斯马达基斯。;Kanellakis，巴黎C。;莫舍·瓦尔迪。 14 1990 自动机理论的非传统应用。 Zbl 0942.68600号 莫舍·瓦尔迪。 13 1994 数据日志程序的不确定有界性问题。 Zbl 0876.68021号 盖德·希勒布兰德（Gerd G.Hillebrand）。;Kanellakis，巴黎C。;哈里·梅森。;莫舍·瓦尔迪。 13 1995 高效的Büchi通用性检查。 Zbl 1258.68076号 塞斯·福格蒂;莫舍·瓦尔迪。 13 2010 Armstrong功能和包含依赖性数据库。 Zbl 0501.68056号 罗纳德·费金;莫舍·瓦尔迪。 13 1983 查询逻辑数据库。 Zbl 0625.68079号 莫舍·瓦尔迪。 12 1986 无限状态系统的全局模型检查。 Zbl 1103.68077号 尼尔·皮特曼;莫舍·瓦尔迪。 12 2004 验证中的树宽：本地与全局。 Zbl 1143.68450号 安德烈亚·费拉拉;潘国强;莫舍·瓦尔迪。 12 2005 关联词和树自动机。 Zbl 1097.03034号 奥尔纳·库普弗曼;Shmuel萨夫拉;莫舍·瓦尔迪。 12 2006 互模拟最小化和符号模型检查。 Zbl 1018.68052号 凯茜·费斯勒;莫舍·瓦尔迪。 11 2002 关于验证并发转换系统的复杂性。 Zbl 1009.68082号 大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。 11 2002 基于BDD的模态逻辑决策程序K（K）. Zbl 1184.68466号 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 Büchi互补和规模变化终止。 Zbl 1234.68256号 塞斯·福格蒂;莫舍·瓦尔迪。 11 2009 有最好的符号循环检测算法吗？ Zbl 0986.68522号 凯西·菲斯勒;拉南·弗雷尔;吉拉·卡米;莫舍·瓦尔迪。;杨紫江 11 2001 \（mu）-微积分综合。 Zbl 0996.68107号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 11 2000 论认识推理的复杂性。 Zbl 0717.03006号 莫舍·瓦尔迪。 11 1989 马尔可夫决策过程的多目标模型检验。 Zbl 1186.68286号 Etessami，K。;Kwiatkowska，M。;M.Y.瓦尔迪。;亚纳卡基斯，M。 11 2007 基于知识的计划。 Zbl 1374.68102号 罗纳德·费金;摩西，约拉姆;约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 11 1995 什么是推理规则？ Zbl 0761.03010号 罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。;莫舍·瓦尔迪。 10 1992 基于SCC分解的Büchi自动机的分治判定。 Zbl 1514.68108号 李勇;安德烈亚·图里尼;冯伟志;莫舍·瓦尔迪。;张丽君 2 2022 从线性时序逻辑到Büchi自动机：早期和简单的原理。 兹比尔1522.68287 蔡义权;莫舍·瓦尔迪。 1 2022 通过输入-输出分离进行功能合成。 Zbl 07683088号 查克拉波蒂，苏普拉特克;油炸，Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 1 2022 Büchi自动机的同余关系。 Zbl 1521.68074号 李勇;蔡义权;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 三 2021 ProCount：带分级项目连接树的加权投影模型计数。 兹伯利07495571 杰弗里·杜德克。;Vu H.N.Phan。;莫舍·瓦尔迪。 2 2021 关于SAT解题器的不合理有效性。 Zbl 07469275号 维杰·加内什;莫舍·瓦尔迪。 1 2021 \（\mathrm{LTL}_f\)概率系统综合。 Zbl 07455747号 安德鲁·威尔斯（Andrew M.Wells）。;莫特萨·拉希贾尼安;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 2 2020 部分可观测性下的LTLf综合：从理论到实践。 Zbl 07455737号 卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 1 2020 关于Büchi互补中明确性的力量。 Zbl 07455748号 李勇;莫舍·瓦尔迪。;张丽君 1 2020 的一阶与二阶编码ltl公司\（_f\）到自动转换。 Zbl 1524.03030号 朱淑芳;浦、葛光;莫舍·瓦尔迪。 2 2019 任务时间LTL的可满足性检查。 Zbl 07805813号 李建文;莫舍·瓦尔迪。;克里斯汀·罗齐尔。 2 2019 并非所有的FPRAS都是相等的：为DNF计数揭开FPRAS的神秘面纱。 Zbl 1483.68498号 库尔迪普·S·米尔。;Aditya A.Shrotri。;莫舍·瓦尔迪。 1 2019 定量验证中的比较自动机。 Zbl 1504.68126号 苏古曼·班萨尔;斯瓦拉特·乔杜里;莫舍·瓦尔迪。 5 2018 基于散列的近似DNF计数方法。 Zbl 1491.68193号 库尔迪普·S·米尔。;Aditya A.Shrotri。;莫舍·瓦尔迪。 三 2018 解决平价游戏：显式与象征性。 Zbl 1509.68347号 安东尼奥·迪斯塔西奥;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 2 2018 流动游戏。 Zbl 1491.91037号 奥尔纳·库普弗曼;加尔省瓦尔迪;莫舍·瓦尔迪。 2 2018 顺序关系分解。 Zbl 1497.68172号 油炸，Dror;Legay、Axel;约尔·瓦克宁;莫舍·瓦尔迪。 2 2018 通过SAT求解器加速LTL可满足性检查。 Zbl 1410.68235号 李建文;浦、葛光;张丽君;莫舍·瓦尔迪。;何继峰 1 2018 信息不完全的战略逻辑。 Zbl 1458.68113号 拉斐尔·伯顿;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾;莫舍·瓦尔迪。 20 2017 策略推理：关于可满足性问题。 Zbl 1448.68312号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 16 2017 监督控制和反应合成：比较介绍。 Zbl 1379.93068号 吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 9 2017 图形数据库的常规查询。 Zbl 1375.68047号 胡安·卢特（Juan L.Reutter）。;米盖尔·罗梅罗;莫舍·瓦尔迪。 8 2017 正则图模式的同态问题。 Zbl 1457.68082号 米盖尔·罗梅罗;巴勃罗·巴塞洛;莫舍·瓦尔迪。 2 2017 用于评估有效Büchi普适性检查的随机模型。 Zbl 1483.68190号 科里·费希尔;塞斯·福格蒂;摩什·瓦尔迪 1 2017 合理环境的合成。 Zbl 1372.68173号 奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 24 2016 图形数据库的语义非循环性。 Zbl 1407.68123号 巴勃罗·巴塞洛;米盖尔·罗梅罗;莫舍·瓦尔迪。 8 2016 关于计算最小独立支持度及其在采样和计数中的应用。 兹比尔1334.90146 亚历山大·伊夫里伊;沙拉德·马利克;库尔迪普·S·米尔。;莫舍·瓦尔迪。 8 2016 使用基于自动机的算法求解奇偶博弈。 Zbl 1475.68475号 安东尼奥·迪斯塔西奥;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 7 2016 基于BDD的布尔函数综合。 Zbl 1411.68067号 油炸，Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 6 2016 交替时间逻辑中的相关战略推理。 Zbl 1354.68257号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 2 2016 Büchi词自动机的轮廓树及其在确定中的应用。 Zbl 1336.68155号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 6 2015 图形数据库的常规查询。 Zbl 1365.68219号 胡安·卢特（Juan L.Reutter）。;米盖尔·罗梅罗;莫舍·瓦尔迪。 6 2015 概率成分合成的复杂性。 Zbl 1440.68045号 克里希南德·查特吉;劳伦特·多恩;莫舍·瓦尔迪。 1 2015 关于策略的推理：关于模型检查问题。 Zbl 1354.68178号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 51 2014 具有有限记忆策略的部分观测随机奇偶博弈的复杂性。 Zbl 1405.68135号 克里希南德·查特吉;劳伦特·多恩;苏米特·奈恩;莫舍·瓦尔迪。 8 2014 比奇互补状态。 Zbl 1448.68278号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;蔡义权 7 2014 \（\mathrm{长期贷款}_{f} \）满意度检查。 兹比尔1366.68177 李建文;张丽君;浦、葛光;莫舍·瓦尔迪。;何继峰 2 2014 概率成分合成。 Zbl 1335.68061号 尤德·卢斯蒂格;苏米特·奈恩;莫舍·瓦尔迪。 1 2014 从Löwenheim到PSL和SVA。 Zbl 1486.68010号 莫舍·瓦尔迪。 1 2014 定期实际分析。 Zbl 1366.03217号 斯瓦拉特·乔杜里;桑卡拉纳拉亚南，斯里拉姆;莫舍·瓦尔迪。 8 2013 用不完善的信息检查下推模块。 兹比尔1282.68166 本杰明·阿米诺夫;Legay、Axel;阿尼埃洛·穆拉诺;奥利维尔·塞雷;莫舍·瓦尔迪。 6 2013 统一Büchi补语结构。 Zbl 1274.68158号 塞斯·福格蒂。;奥尔纳·库普弗曼;托马斯·威尔克;莫舍·瓦尔迪。 4 2013 部分未知环境下混合系统的迭代时间运动规划。 Zbl 1361.68272号 马修·马利。;莫特萨·拉希贾尼安;利迪亚·卡夫拉基。;Kress-Gazit，哈达斯;莫舍·瓦尔迪。 4 2013 解部分信息随机奇偶博弈。 Zbl 1369.91016号 苏米特·奈恩;莫舍·瓦尔迪。 4 2013 Büchi词自动机的轮廓树及其在确定中的应用。 Zbl 1464.68166号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 1 2013 关于模式映射的简化。 Zbl 1408.68046号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 1 2013 是什么使亚特兰大*可判定的？战略逻辑的一个决定性片段。 Zbl 1365.68329号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 24 2012 一次和为所有人. Zbl 1245.03022号 奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 9 2012 SystemcC的优化时间监视器。 Zbl 1284.68206号 戴安·塔巴科夫;克里斯汀·罗齐尔。;莫舍·瓦尔迪。 7 2012 作为程序分析任务的时间属性验证。 Zbl 1284.68171号 拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 5 2012 Büchi互补和规模变化终止。 兹比尔1241.68080 塞斯·福格蒂;莫舍·瓦尔迪。 三 2012 动态反应模块。 Zbl 1343.68167号 贾斯敏·费希尔;托马斯·亨辛格（Thomas A.Henzinger）。;德扬·尼科维奇;尼尔·皮特曼;Anmol V.辛格。;莫舍·瓦尔迪。 5 2011 比奇互补状态。 Zbl 1297.68168号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;蔡义权 4 2011 有界系统和环境的时间合成。 Zbl 1230.68144号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 三 2011 整数绑定传播的复杂性。 兹比尔1216.68238 波尔多，L。;G·卡特西雷洛斯。;北卡罗来纳州纳罗迪茨卡。;M.Y.瓦尔迪。 2 2011 统一Büchi补语结构。 Zbl 1247.68136号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 2 2011 递归组件库的合成。 Zbl 1457.68065号 尤德·卢斯蒂格;莫舍·瓦尔迪。 1 2011 推理策略。 Zbl 1245.68138号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 37 2010 高效的Büchi通用性检查。 Zbl 1258.68076号 塞斯·福格蒂;莫舍·瓦尔迪。 13 2010 无限状态系统的自动机理论方法。 Zbl 1288.68158号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2010 交替时间逻辑中的相关战略推理。 兹比尔1310.68144 法比奥·莫加维罗;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 5 2010 触发器属性的合成。 Zbl 1310.68143号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 三 2010 从活泼到敏捷。 Zbl 1192.68416号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 34 2009 从组件库合成。 Zbl 1234.68260号 尤德·卢斯蒂格;莫舍·瓦尔迪。 16 2009 Büchi互补和规模变化终止。 Zbl 1234.68256号 塞斯·福格蒂;莫舍·瓦尔迪。 11 2009 混合系统：通过结合运动规划和离散搜索，从验证到证伪。 Zbl 1192.68692号 伊利昂州普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 10 2009 混合系统中LTL安全特性的伪造。 Zbl 1234.68264号 伊利昂州普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 9 2009 从哲学到工业逻辑。 Zbl 1209.68325号 莫舍·瓦尔迪。 5 2009 马尔可夫决策过程的多目标模型检验。 Zbl 1161.68565号 库沙·埃特萨米;玛尔塔·奎亚特科夫斯卡;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 23 2008 自动机：从逻辑到算法。 Zbl 1234.03026号 莫舍·瓦尔迪。;托马斯·威尔克 15 2008 富集计算的复杂性。 Zbl 1151.03016号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 15 2008 来自Church和PSL之前。 Zbl 1142.68051号 莫舍·瓦尔迪。 8 2008 从一元逻辑到PSL。 Zbl 1133.68380号 莫舍·瓦尔迪。 三 2008 公开暗示。 Zbl 1155.68436号 卡琳·格雷梅尔;罗德里克·布洛姆;芭芭拉·乔布斯曼;摩什·瓦尔迪 三 2008 约束满足的逻辑方法。 Zbl 1171.03322号 Phokion G.科莱提斯。;莫舍·瓦尔迪。 2 2008 有限模型理论及其应用。 Zbl 1133.03001号 埃里希·格拉德尔;Phokion G.科莱提斯。;利奥尼德·利金;马滕·马克思;乔尔·斯宾塞;莫舍·瓦尔迪。;维尼马，伊德;斯科特·温斯坦 51 2007 重温自动化理论模型检查。 Zbl 1132.68483号 莫舍·瓦尔迪。 21 2007 比奇互补传奇。 兹比尔1186.03062 莫舍·瓦尔迪。 20 2007 马尔可夫决策过程的多目标模型检验。 Zbl 1186.68286号 Etessami，K。;Kwiatkowska，M。;M.Y.瓦尔迪。;亚纳卡基斯，M。 11 2007 证明这些程序最终会有好处。 Zbl 1295.68083号 拜伦·库克;阿列克谢·戈茨曼;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科;莫舍·瓦尔迪。 9 2007 从活泼到敏捷。 Zbl 1135.03336号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2007 混合系统：从验证到伪造。 Zbl 1135.68479号 伊利昂州普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 4 2007 基于视图的查询处理：关于重写、应答和无损之间的关系。 兹比尔1108.68038 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 三 2007 随机Horn-SAT公式可满足性中的连续-不连续二阶跃迁。 Zbl 1147.68717号 克里斯托弗·摩尔;加布里埃尔·伊斯特拉特;德米特里厄斯·德莫普洛斯;莫舍·瓦尔迪。 2 2007 分支与线性时间：语义视角。 Zbl 1141.68481号 苏米特·奈恩;莫舍·瓦尔迪。 2 2007 区间传播中的慢收敛分析。 Zbl 1145.68506号 卢卡斯·波尔多;尤塞夫·哈马迪;莫舍·瓦尔迪。 1 2007 用不完善的信息检查下推模块。 Zbl 1151.68468号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 1 2007 用于抽象细化的属性驱动分区。 Zbl 1186.68301号 罗伯托·塞巴斯蒂亚尼;斯特凡诺·托内塔;莫舍·瓦尔迪。 1 2007 GSTE是分区模型检查。 Zbl 1129.68044号 罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 1 2007 无安全成分合成。 Zbl 1188.68193号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 22 2006 关联词和树自动机。 Zbl 1097.03034号 奥尔纳·库普弗曼;Shmuel萨夫拉;莫舍·瓦尔迪。 12 2006 基于BDD的模态逻辑决策程序K（K）. 兹比尔1184.68466 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 聚合不同的机会估计。 Zbl 1127.62129号 丹尼尔·奥瑟森;莫舍·瓦尔迪。 10 2006 Büchi互补更加紧密。 Zbl 1096.68081号 埃胡德·弗里德古特;奥尔纳·库普弗曼;莫舍·瓦尔迪。 10 2006 在本地可检查属性上。 Zbl 1165.68408号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。 5 2006 富集计算的复杂性。 Zbl 1133.68374号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 4 2006 时序逻辑模型检查的覆盖度量。 Zbl 1105.68075号 哈娜·乔克勒;奥尔纳·库普弗曼;莫舍·瓦尔迪。 三 2006 开放系统的验证。 Zbl 1266.68133号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 1 2006 经典自动机构造的实验评估。 Zbl 1143.68443号 戴安·塔巴科夫;莫舍·瓦尔迪。 23 2005 从线性时间到分支时间。 Zbl 1367.68195号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 15 2005 …以及153多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名3450位作者引用 86 莫西·亚亚科夫·瓦尔迪 58 奥尔纳·库普弗曼 34 阿尼埃洛·穆拉诺 32 Joseph Yehuda Halpern 26 见鬼，帕沃 25 曼努埃尔·博迪尔斯基 25 托马斯·亨辛格（Thomas A.Henzinger）。 25 斯坦尼斯拉夫·伊文 24 劳拉·博泽利 24 汉斯·皮特·范·迪特马什 23 克里希南德·查特吉 23 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 22 斯特凡·德姆里。 22 迈克尔·J·伍尔德里奇。 21 乔治·戈特洛布 20 安德烈·克鲁金（Andrei A.Krokhin）。 20 摩西，约拉姆 19 安德烈，艾蒂安 19 埃里希·格拉德尔 19 范德霍克，威比 18 克莱尔·狄克逊 18 巴纳比·D·马丁。 18 Jean-François拉斯金 17 安德烈·布拉托夫（Andrei A.Bulatov）。 17 费德尔，托马斯 17 马丁·兰格 17 马丁·齐默尔曼 16 亚历山德罗·西马蒂 16 罗纳德·费金 16 伯恩德·芬克贝纳 16 彼得·琼森 16 法比奥·莫加维罗 16 安吉洛·蒙塔纳里 16 斯文·舍韦 16 王燕京 15 托马斯·奥戈特内斯 15 维克托·达尔莫 15 迈克尔·费希尔 15 埃米利亚诺·洛里尼 15 尼古拉斯·马基 15 Doron A.Peled。 15 朱塞佩·佩雷利 15 尼尔·皮特曼 15 van Benthem，Johan F.A.K。 14 克里斯特尔·拜尔 14 陈，胡比 14 阿努吉·达瓦尔 14 朱利安·古铁雷斯 14 Phokion G.科莱提斯。 14 Leonid O·利金。 14 青柠，迪迪埃 14 阿米尔·普努利 13 菲利普·巴尔比亚尼 13 巴勃罗·巴塞洛 13 帕特里夏·鲍耶 13 马丁·格罗 13 Larose，Benoit公司 13 林克，塞巴斯蒂安 13 卡斯滕·卢茨 12 弗朗西斯科·贝拉迪内利 12 理查德·布鲁斯特（Richard C.Brewster）。 12 马丁·库珀。 12 金·古德斯特兰·拉森 12 埃里克·帕奎特 12 阿德里亚诺·佩隆 12 苏菲·平奇纳特 12 Smets，Sonja J.L。 12 张丽君 11 利波·巴托 11 贝内维特斯，马里奥·R·F·。 11 罗德里克·布洛姆 11 贝内迪克特·博利格 11 瓦伦丁·F·戈兰科。 11 劳里·T·海拉。 11 安德烈亚斯·赫齐格 11 彼得·杰文斯（Peter G.Jeavons）。 11 阿莱西奥·洛穆西奥 11 帕维尔·G·瑙莫夫。 11 雅罗斯拉夫·内舍特伊尔 11 斯特凡诺·托内塔 11 Van den Bussche，简 11 维克托·维亚努 11 弗兰克·沃尔特 11 迈克尔·维克托洛维奇（Michael Viktorovich） 10 阿夫尼，盖伊 10 亚历山大·巴尔塔格 10 JiříBarnat 10 Joost-Pieter卡托恩 10 萨尔瓦多拉托雷 10 Legay、Axel 10 马库斯·洛伊 10 安德烈亚斯·皮耶利斯 10 弗朗西斯科·斯卡切罗 10 托马斯·施温蒂克 9 阿尔伯特·阿塞里亚斯 9 弗兰兹·巴德 9 马西莫·贝内雷切蒂 9 维罗尼克·布鲁埃 9 朱塞佩·德贾科莫 9 劳伦特·多恩 …还有3350名作者 全部的 前5名引用于175连载 257 理论计算机科学 165 信息与计算 139 人工智能 120 计算机与系统科学杂志 75 系统设计中的形式化方法 62 合成 59 计算机科学中的逻辑方法 50 数学与人工智能年鉴 48 信息处理信件 47 ACM计算逻辑事务 45 纯逻辑与应用逻辑年鉴 42 应用非经典逻辑杂志 39 哲学逻辑杂志 38 信息学报 37 Studia Logica公司 37 计算系统理论 35 应用逻辑杂志 31 逻辑、语言与信息杂志 28 符号逻辑杂志 28 计算的形式方面 27 SIAM计算机杂志 27 自动推理杂志 27 程序设计中的逻辑和代数方法杂志 23 离散应用数学 23 游戏与经济行为 20 离散数学 18 国际近似推理杂志 18 国际计算机科学基础杂志 17 欧洲组合数学杂志 17 离散事件动态系统 16 信息科学 16 约束条件 15 逻辑与代数程序设计杂志 14 分布式计算 14 符号逻辑公报 13 国际代数与计算杂志 13 符号逻辑述评 11 Automatica公司 11 数学社会科学 11 算法 10 逻辑程序设计理论与实践 9 代数普遍性 8 经济理论杂志 8 编程和计算机软件 8 MSCS公司。计算机科学中的数学结构 8 计算机基础理论 7 美国医学会杂志 7 非线性分析。混合动力系统 6 模糊集与系统 6 西伯利亚数学杂志 6 理论与决策 6 SIAM离散数学杂志 6 人工智能研究杂志 6 计算机科学评论 5 计算机程序设计科学 5 国际计算机数学杂志 5 经济理论 5 埃尔肯特尼斯 5 泛逻辑 5 计算机科学前沿 5 西伯利亚联邦大学学报。数学和物理 4 国际博弈论杂志 4 凯贝内提卡 4 圣母院形式逻辑杂志 4 符号计算杂志 4 计算复杂性 4 离散数学和理论计算机科学。DMTCS公司 4 国际博弈论综述 4 逻辑与逻辑哲学 三 计算机与数学及其应用 三 国际理论物理杂志 三 立陶宛数学杂志 三 数学经济学杂志 三 半群论坛 三 美国数学学会会刊 三 国际智能系统杂志 三 数学逻辑档案 三 控制论与系统分析 三 数学逻辑季刊（MLQ） 三 工程中的数学问题 三 Doklady数学 三 RAIRO公司。理论信息学及其应用 三 应用数学杂志 三 萨达纳 三 计算机语言、系统和结构 三 多值逻辑与软计算杂志 三 离散算法杂志 三 科学中国。信息科学 三 游戏 三 伊尔库茨科戈大学。马特马提卡丝里亚 三 Modelirovanie i Analiz信息系统 三 Logicheskie Issledovaniya公司 2 代数通讯 2 国际控制杂志 2 数学笔记 2 数学进展 2 代数与逻辑 2 国际计算机与信息科学杂志 2 代数杂志 2 组合理论杂志。B系列 …还有75部连续剧 全部的 前5名37个领域被引用 2,423 计算机科学（68至XX） 1344年 数理逻辑与基础（03-XX） 304 博弈论、经济学、金融和其他社会和行为科学（91-XX） 184 组合数学（05-XX） 90 一般代数系统（08-XX） 80 系统论；控制（93至XX） 66 运筹学、数学规划（90-XX） 32 信息与通信理论、电路（94-XX） 24 概率论与随机过程（60-XX） 21 阶、格、有序代数结构（06-XX） 18 群论与推广（20-XX） 13 统计学（62-XX） 13 量子理论（81-XX） 12 总体主题；集合（00-XX） 11 范畴理论；同调代数（18-XX） 11 生物学和其他自然科学（92-XX） 10 历史和传记（01-XX） 5 动力系统和遍历理论（37至XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 一般拓扑结构（54至XX） 三 数论（11-XX） 三 代数拓扑（55-XX） 三 数值分析（65-XX） 三 统计力学，物质结构（82-XX） 2 场论和多项式（12-XX） 2 代数几何（14-XX） 2 算子理论（47-XX） 2 变分法与最优控制；最优化（49至XX） 2 流形和细胞复合体（57至XX） 2 数学教育（97-XX） 1 交换代数（13-XX） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 复变量的函数（30年XX月） 1 功能分析（46倍X倍） 1 凸和离散几何（52至XX） 1 粒子和系统力学（70-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.