编辑配置文件（在新选项卡中打开） 赫尔穆特·维思 合著者距离 作者ID： 维思·赫尔穆特 发布日期： 赫尔穆特·维思;H.维思。 外部链接： MGP公司·维基数据·接地·ID参考 已编制索引的文档： 64出版物自1995年以来，包括2本书 5名编辑的贡献 传记参考： 5出版物 合著者： 75位合著者具有65联合出版物 2022联合作者 全部的 前5名合著者 4 单作者的 14 克拉克（Edmund Melson jun Clarke）。 9 伊戈尔·康诺夫（Igor V.Konnov）。 9 约瑟夫·威德 7 马提亚斯·巴兹 7 安德烈亚斯·霍尔泽 7 托默·科特克 6 马可·萨梅尔 6 弗洛里安·祖勒格 5 乔治·戈特洛布 5 奥尔纳·格伦伯格 5 迈克尔·陶奇尼格 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 Jha，萨默什 4 克里斯蒂安·夏尔哈特 4 穆拉利达尔·塔卢普尔 三 Fermüller，Christian G。 三 萨沙·鲁宾 三 王栋（Wang，Dong） 2 本杰明·阿米诺夫 2 罗德里克·布洛姆 2 萨加·查基 2 潘卡杰·乔汉 2 蝉蜕、阿加塔 2 托马斯·艾特 2 埃里希·格拉德尔 2 詹姆斯·H·库库拉。 2 马里亚娜·拉齐奇 2 尼古拉·利昂 2 卢、袁 2 娜塔莎·莎莉吉娜 2 弗朗西斯科·斯佩尼 2 泰瑟·图利 1 德克·拜尔 1 阿明·比尔 1 西蒙，布利兹 1 尼古拉斯·比舍尔 1 阿努吉·达瓦尔 1 尤利娅·德米扬诺娃 1 塞萨拉·德拉戈伊 1 马丁·弗兰兹 1 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 1 阿努·格梅纳 1 安德烈亚斯·哈斯 1 彼得·哈耶克 1 沙迦·伊扎基 1 瑞典雅各布斯 1 斯特凡·卡岑贝塞尔 1 阿伊拉特·哈利莫夫 1 约翰内斯·金德 1 克里斯托弗·柯施。 1 格格利·科瓦什奈 1 丹尼尔·科宁 1 纳迪亚·拉拜 1 Michael Lippautz 1 佛朗哥·蒙塔格纳 1 马格达莱娜·奥尔蒂斯 1 乔尔·欧·瓦克宁。 1 帕尼，托马斯 1 Payer，Hannes公司 1 Doron A.Peled。 1 奥列格·皮库尔科 1 诺姆·里内茨基 1 穆利萨吉夫 1 萨米尔·萨普拉 1 乌尔里希·施密德 1 阿里·塞兹金 1 约瑟夫·西法基斯 1 西蒙库斯，曼塔斯 1 莫里茨·辛恩 1 安娜·索科洛娃 1 奥尔·塔米尔 1 奥列格·维尔比茨基 1 安德烈·沃伦科夫 1 王强 1 达米安·祖弗里 全部的 前5名系列 4 计算机科学课堂讲稿 三 系统设计中的形式化方法 2 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 ACM计算逻辑事务 1 离散应用数学 1 信息处理信件 1 自动推理杂志 1 逻辑与计算杂志 1 分布式计算 1 数学逻辑档案 1 美国计算机学会期刊 1 分布式计算理论综合讲座 1 网络物理系统系列 全部的 前5名领域 62 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 2 信息与通信理论、电路（94-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 56出版物有被引用810中的次613文件 引用人▼ 年份▼ 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 166 2000 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 124 2003 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 模型检查手册。 Zbl 1390.68001号 56 2018 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 使用差异约束的命令式程序的复杂性和资源限制分析。 Zbl 1409.68076号 莫里茨·辛恩;弗洛里安·祖勒格;赫尔穆特·维思 19 2017 t-重言式的复杂性。 Zbl 1006.03022号 马提亚斯·巴兹;彼得·哈耶克;佛朗哥·蒙塔格纳;赫尔穆特·维思 18 2002 模糊逻辑中的插值。 Zbl 0936.03026号 马提亚斯·巴兹;赫尔穆特·维思 18 1999 25年的模型检查。历史、成就、观点。 Zbl 1139.68003号 17 2008 通过网络分解进行验证。 Zbl 1099.68653号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;泰瑟·图利;赫尔穆特·维思 16 2004 用于参数化验证的环境抽象。 Zbl 1176.68117号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思 16 2006 容错分布式算法安全性和活性验证的简短反例属性。 兹比尔1380.68278 伊戈尔·康诺夫;马里亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 14 2017 用于验证一致性算法的基于逻辑的框架。 Zbl 1428.68371号 塞扎拉·奥盖医生;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思;约瑟夫·威德;达米恩·祖弗里 12 2014 简洁的表示、叶语言和投影缩减。 Zbl 0909.68079号 赫尔穆特·维思 11 1998 基于阈值的分布式算法有界模型检查的完备性：可达性。 Zbl 1355.68176号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 11 2017 SMT和POR拍计数器抽象：基于阈值的分布式算法的参数化模型检查。 Zbl 1381.68172号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 11 2015 证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 Zbl 1134.68403号 埃德蒙·克拉克;穆拉利·塔卢普尔;赫尔穆特·维思 10 2008 交会系统的参数化模型检查。 Zbl 1417.68112号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 10 2014 简洁是逻辑形式主义复杂性的根源。 Zbl 0933.03048号 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 9 1999 基于阈值的分布式算法有界模型检查的完备性：可达性。 Zbl 1417.68136号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 8 2014 二阶逻辑和弱指数层次结构。 Zbl 1193.68115号 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 8 1995 容错分布式算法的参数化模型检查教程。 Zbl 1445.68133号 阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德 8 2014 Datalog LITE：带有线性时间模型检查的演绎查询语言。 Zbl 1365.68203号 乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 8 2002 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 Zbl 1019.68618号 潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋（Wang，Dong） 7 2002 如何通过OBDD对逻辑结构进行编码。 Zbl 0935.68051号 赫尔穆特·维思 7 1998 由布尔公式表示的语言。 Zbl 1337.68139号 赫尔穆特·维思 7 1997 用于硬件验证的基于SAT的谓词抽象。 Zbl 1204.68129号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思;王栋（Wang，Dong） 6 2004 计算机辅助验证。2013年7月13日至19日，第25届国际会议，CAV 2013，俄罗斯圣彼得堡。诉讼程序。 Zbl 1268.68032号 6 2013 一个基于抽象解释的框架，用于从二进制文件重建控制流。 Zbl 1206.68091号 约翰内斯·金德;弗洛里安·祖勒格;赫尔穆特·维思 6 2009 图的一阶可定义性：量词深度的上界。 Zbl 1109.03023号 奥列格·皮库尔科;赫尔穆特·维思;奥列格·维尔比茨基 6 2006 重温反例：原理、算法、应用。 兹比尔1274.68179 埃德蒙·克拉克;赫尔穆特·维思 6 2003 BIP中的参数化系统：设计和模型检查。 Zbl 1392.68254号 伊戈尔·康诺夫;托默·科特克;王强;赫尔穆特·维思;西蒙，布利兹;约瑟夫·西法基斯 6 2016 交会系统的参数化模型检查。 Zbl 1451.68165号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 6 2018 将树宽编码为SAT。 Zbl 1247.68259号 马可·萨梅尔;赫尔穆特·维思 5 2009 关于容错分布式算法的模型检查，您一直想知道的是什么。 Zbl 1461.68115号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 5 2016 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 Zbl 1380.68279号 伊戈尔·康诺夫;马里亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 5 2017 模糊逻辑中的量词消除。 Zbl 0933.03022号 马提亚斯·巴兹;赫尔穆特·维思 4 1999 用于多目标可达性分析的信息重用。 Zbl 1381.68148号 德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 关于空洞真理的概念。 Zbl 1137.68438号 马可·萨梅尔;赫尔穆特·维思 4 2007 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 使用Takeuti-Titani规则对量化命题哥德尔逻辑进行公理化。 Zbl 0943.03020号 马提亚斯·巴兹;赫尔穆特·维思 三 2000 模糊逻辑的证明理论：Urquhart（C）及其相关逻辑。 Zbl 0921.03028号 马提亚斯·巴兹;蝉蜕、阿加塔;克里斯蒂安·弗缪勒;赫尔穆特·维思 三 1998 重新审查CTL查询的有效性。 Zbl 1116.03320号 马可·萨梅尔;赫尔穆特·维思 三 2003 验证工具基准测试的经验软件度量。 Zbl 1360.68371号 尤利娅·德米扬诺娃;托马斯·帕尼;赫尔穆特·维思;弗洛里安·祖勒格 三 2017 查询驱动程序测试。 Zbl 1206.68089号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 三 2009 参数化真空度。 Zbl 1117.68436号 马可·萨梅尔;赫尔穆特·维思 三 2004 并发容器类型数据结构的局部线性化能力。 Zbl 1392.68152号 安德烈亚斯·哈斯;托马斯·亨辛格（Thomas A.Henzinger）。;安德烈亚斯·霍尔泽;克里斯托夫·基尔希（Christoph M.Kirsch）。;Michael Lippautz;Payer，Hannes公司;阿里·塞兹金;安娜·索科洛娃;赫尔穆特·维思 三 2016 分布式LTL查询的语法特征。 Zbl 1099.68058号 马可·萨梅尔;赫尔穆特·维思 2 2004 FQL测试规范简介。 Zbl 1325.68148号 安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思 2 2011 逻辑程序中的广义量词。 Zbl 0966.68043号 托马斯·艾特;乔治·戈特洛布;赫尔穆特·维思 1 1999 使用组合优化方法进行量化调度。 Zbl 1002.68512号 乔汉，P。;E.克拉克。;Jha，S。;J.库库拉。;H.维思。;D.王。 1 2001 正则语言有理集的结构和复杂性。 Zbl 1359.68170号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 1 2013 关于比特向量逻辑中符号验证和决策问题的复杂性。 兹比尔1426.68127 格格利·科瓦什奈;赫尔穆特·维思;安德烈亚斯·弗里奇;阿明·比尔 1 2014 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基;托默·科泰克;诺姆·里内茨基;穆利萨吉夫;奥尔·塔米尔;赫尔穆特·维思;弗洛里安·祖勒格 1 2017 模型检查简介。 Zbl 1392.68242号 埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思 1 2018 关于编译为安全多方计算优化的布尔电路。 Zbl 1386.68020号 尼古拉斯·比舍尔;马丁·弗兰兹;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 1 2017 模型检查。第二次扩展和更新版本。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 模型检查手册。 Zbl 1390.68001号 56 2018 交会系统的参数化模型检查。 Zbl 1451.68165号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 6 2018 模型检查简介。 Zbl 1392.68242号 埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思 1 2018 使用差异约束的命令式程序的复杂性和资源限制分析。 Zbl 1409.68076号 莫里茨·辛恩;弗洛里安·祖勒格;赫尔穆特·维思 19 2017 容错分布式算法安全性和活性验证的简短反例属性。 Zbl 1380.68278号 伊戈尔·康诺夫;马里亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 14 2017 基于阈值的分布式算法有界模型检查的完备性：可达性。 Zbl 1355.68176号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 11 2017 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 Zbl 1380.68279号 伊戈尔·康诺夫;马里亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 5 2017 验证工具基准测试的经验软件度量。 Zbl 1360.68371号 尤利娅·德米扬诺娃;托马斯·帕尼;赫尔穆特·维思;弗洛里安·祖勒格 三 2017 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基;托默·科特克;诺姆·里内茨基;穆利萨吉夫;奥尔塔米尔;赫尔穆特·维思;弗洛里安·祖勒格 1 2017 关于编译为安全多方计算优化的布尔电路。 Zbl 1386.68020号 尼古拉斯·比舍尔;马丁·弗兰兹;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 1 2017 BIP中的参数化系统：设计和模型检查。 Zbl 1392.68254号 伊戈尔·康诺夫;托默·科泰克;王强;赫尔穆特·维思;西蒙，布利兹;约瑟夫·西法基斯 6 2016 关于容错分布式算法的模型检查，您一直想知道的是什么。 Zbl 1461.68115号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 5 2016 并发容器类型数据结构的局部线性化能力。 Zbl 1392.68152号 安德烈亚斯·哈斯;托马斯·亨辛格（Thomas A.Henzinger）。;安德烈亚斯·霍尔泽;克里斯托夫·基尔希（Christoph M.Kirsch）。;Michael Lippautz;Payer，Hannes公司;阿里·塞兹金;安娜·索科洛娃;赫尔穆特·维思 三 2016 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 SMT和POR拍计数器抽象：基于阈值的分布式算法的参数化模型检查。 Zbl 1381.68172号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 11 2015 用于验证一致性算法的基于逻辑的框架。 Zbl 1428.68371号 塞扎拉·奥盖医生;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思;约瑟夫·威德;达米安·祖弗里 12 2014 交会系统的参数化模型检查。 Zbl 1417.68112号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 10 2014 基于阈值的分布式算法有界模型检查的完备性：可达性。 Zbl 1417.68136号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 8 2014 容错分布式算法的参数化模型检查教程。 Zbl 1445.68133号 阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德 8 2014 位向量逻辑中符号验证和决策问题的复杂性。 兹比尔1426.68127 格格利·科瓦什奈;赫尔穆特·维思;安德烈亚斯·弗里奇;阿明·比尔 1 2014 计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。 Zbl 1268.68032号 6 2013 用于多目标可达性分析的信息重用。 Zbl 1381.68148号 德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 4 2013 正则语言有理集的结构和复杂性。 Zbl 1359.68170号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 1 2013 FQL测试规范简介。 兹比尔1325.68148 安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思 2 2011 一个基于抽象解释的框架，用于从二进制文件重建控制流。 Zbl 1206.68091号 约翰内斯·金德;弗洛里安·祖勒格;赫尔穆特·维思 6 2009 将树宽编码为SAT。 Zbl 1247.68259号 马可·萨梅尔;赫尔穆特·维思 5 2009 查询驱动程序测试。 Zbl 1206.68089号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 三 2009 25年的模型检查。历史、成就、观点。 Zbl 1139.68003号 17 2008 证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 Zbl 1134.68403号 埃德蒙·克拉克;穆拉利·塔卢普尔;赫尔穆特·维思 10 2008 关于空洞真理的概念。 Zbl 1137.68438号 马可·萨梅尔;赫尔穆特·维思 4 2007 参数化验证的环境抽象。 Zbl 1176.68117号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思 16 2006 图的一阶可定义性：量词深度的上限。 Zbl 1109.03023号 奥列格·皮库尔科;赫尔穆特·维思;奥列格·维尔比茨基 6 2006 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 通过网络分解进行验证。 Zbl 1099.68653号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;泰瑟·图利;赫尔穆特·维思 16 2004 用于硬件验证的基于SAT的谓词抽象。 Zbl 1204.68129号 埃德蒙·克拉克;穆拉利达尔塔卢普尔;赫尔穆特·维思;王栋（Wang，Dong） 6 2004 参数化真空度。 Zbl 1117.68436号 马可·萨梅尔;赫尔穆特·维思 三 2004 分布式LTL查询的句法特征。 Zbl 1099.68058号 马可·萨梅尔;赫尔穆特·维思 2 2004 用于符号模型检查的反例引导的抽象精化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 124 2003 重温反例：原理、算法、应用。 Zbl 1274.68179号 埃德蒙·克拉克;赫尔穆特·维思 6 2003 重新审查CTL查询的有效性。 Zbl 1116.03320号 马可·萨梅尔;赫尔穆特·维思 三 2003 t-重言式的复杂性。 Zbl 1006.03022号 马提亚斯·巴兹;彼得·哈耶克;佛朗哥·蒙塔格纳;赫尔穆特·维思 18 2002 Datalog LITE：带有线性时间模型检查的演绎查询语言。 Zbl 1365.68203号 乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 8 2002 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 Zbl 1019.68618号 潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋（Wang，Dong） 7 2002 使用组合优化方法进行量化调度。 Zbl 1002.68512号 乔汉，P。;E.克拉克。;Jha，S。;J.库库拉。;H.维思。;D.王。 1 2001 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 166 2000 使用Takeuti-Titani规则对量化命题哥德尔逻辑进行公理化。 Zbl 0943.03020号 马提亚斯·巴兹;赫尔穆特·维思 三 2000 模糊逻辑中的插值。 Zbl 0936.03026号 马提亚斯·巴兹;赫尔穆特·维思 18 1999 简洁是逻辑形式主义复杂性的根源。 Zbl 0933.03048号 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 9 1999 模糊逻辑中的量词消除。 Zbl 0933.03022号 马提亚斯·巴兹;赫尔穆特·维思 4 1999 逻辑程序中的广义量词。 Zbl 0966.68043号 托马斯·艾特;乔治·戈特洛布;赫尔穆特·维思 1 1999 简洁的表示、叶子语言和投影缩减。 Zbl 0909.68079号 赫尔穆特·维思 11 1998 如何通过OBDD对逻辑结构进行编码。 Zbl 0935.68051号 赫尔穆特·维思 7 1998 模糊逻辑的证明理论：Urquhart（C）及其相关逻辑。 Zbl 0921.03028号 马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，基督徒;赫尔穆特·维思 三 1998 由布尔公式表示的语言。 Zbl 1337.68139号 赫尔穆特·维思 7 1997 二阶逻辑和弱指数层次。 Zbl 1193.68115号 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 8 1995 所有引用出版物 前5名被引用出版物 全部的 前5名1190位作者引用 16 赫尔穆特·维思 14 伊戈尔·康诺夫（Igor V.Konnov）。 12 丹尼尔·科宁 12 约瑟夫·威德 9 亚历山德罗·西马蒂 9 托马斯·艾特 9 哈维尔·埃斯帕尔扎 9 奥尔纳·库普弗曼 9 弗洛里安·祖勒格 8 奥尔纳·格伦伯格 8 斯特凡诺·托内塔 7 帕罗什·阿齐兹·阿卜杜拉 7 克拉克（Edmund Melson jun Clarke）。 7 段振华 7 莫西·亚亚科夫·瓦尔迪 7 张楠 6 乔治·德尔赞诺 6 乔治·戈特洛布 6 托马斯·亨辛格（Thomas A.Henzinger）。 6 尼古拉·利昂 6 Joáo P.塞尔瓦侯爵。 6 佛朗哥·蒙塔格纳 6 娜塔莎·莎莉吉娜 6 田聪 5 马提亚斯·巴兹 5 罗伯托·贾科巴齐 5 阿里·古芬克尔 5 米科拉什·亚诺塔 5 詹森，尼尔斯 5 马蒂·Järvisalo 5 马里亚娜·拉齐奇 5 安德烈亚斯·波德尔斯基 5 米哈伊尔·拉斯金 5 萨沙·鲁宾 5 维克多·舒潘 5 沙龙·肖姆 5 乔治·威森巴赫 4 本杰明·阿米诺夫 4 Balasubramanian，A.R。 4 罗德里克·布洛姆 4 马吕斯·博兹加 4 萨加·查基 4 沃尔夫冈·费伯 4 西尔维奥·吉拉尔迪 4 阿尔贝托·格里乔 4 Zuzana Haniková 4 Jochen Hoenicke公司 4 拉杜·奥西夫 4 诺里希罗·卡米德 4 马库斯·洛伊 4 伊斯特万·马齐克 4 恩里科·马尔基奥尼 4 马丁·奥列特，纳西索 4 罗兰·梅耶 4 奥托普，简 4 Jean-François拉斯金 4 马克·亚历山大·雷诺兹 4 艾哈迈德·雷津 4 菲利普·吕默 4 安德烈·里巴尔琴科 4 弗朗西斯科·斯佩尼 4 奥列格·维尔比茨基 4 约翰·彼得·沃纳 4 斯特凡·沃尔特兰 4 张丽君 三 亚历山德罗·阿巴特 三 艾尔维拉·阿尔伯特 三 弗朗西斯科·阿尔贝蒂 三 埃蒂安·安德烈 三 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 三 阿夫尼，盖伊 三 克拉克·W·巴雷特。 三 Nathalie Bertrand 三 德克·拜尔 三 博利格，贝内迪克特 三 皮埃尔·布赫斯 三 帕特里夏·鲍耶 三 克里希南德·查特吉 三 Thao Dang先生 三 格里戈里·费迪尤科维奇 三 艾曼纽·菲利奥特 三 戈兰·弗雷斯 三 约翰·加拉赫（John P.Gallagher）。 三 维杰·加内什 三 皮埃尔·甘蒂 三 保罗·加斯丁 三 吉尔根·吉斯尔 三 齐格弗里德·戈特瓦尔德 三 阿尔蒂·古普塔 三 阿科斯·哈伊杜 三 Joost-Pieter卡托恩 三 斯特凡·基弗 三 马丁·兰格 三 金·古德斯特兰·拉森 三 Legay、Axel 三 马丁·勒克 三 刘，杨 三 伊莎贝拉·马斯特罗埃尼 三 理查德·梅尔（Richard M.Mayr）。 三 乔治·梅特卡夫 …还有1090多名作者 全部的 前5名75篇连载文章中引用 53 系统设计中的形式化方法 31 理论计算机科学 27 信息与计算 24 计算的形式方面 20 人工智能 15 计算机科学中的逻辑方法 13 自动推理杂志 11 信息学报 9 程序设计中的逻辑和代数方法杂志 8 逻辑程序设计理论与实践 7 模糊集与系统 7 计算机与系统科学杂志 7 编程和计算机软件 7 数学与人工智能年鉴 6 计算机程序设计科学 6 数学逻辑档案 6 计算机基础理论 5 纯逻辑与应用逻辑年鉴 5 计算系统理论 5 软计算 5 Modelirovanie i Analiz信息系统 4 Automatica公司 4 Studia Logica公司 4 符号计算杂志 4 离散事件动态系统 4 分布式计算 三 信息处理信件 三 实时系统 三 国际计算机科学基础杂志 三 逻辑、语言与信息杂志 三 ACM计算逻辑事务 三 非线性分析。混合动力系统 2 订单 2 计算机科学与技术杂志 2 骨髓间充质干细胞。计算机科学中的数学结构 2 人工智能研究杂志 2 组合优化期刊 2 国际应用数学与计算机科学杂志 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 2 科学中国。信息科学 1 国际通用系统杂志 1 计算 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 合成 1 欧洲组合数学杂志 1 新一代计算 1 国际智能系统杂志 1 国际近似推理杂志 1 密码学杂志 1 国际应用科学与工程分叉与混沌杂志 1 控制论与系统分析 1 国际计算机与系统科学杂志 1 应用非经典逻辑杂志 1 组合数学、概率与计算 1 《数理逻辑季刊》 1 组合数学电子期刊 1 函数编程杂志 1 符号逻辑公报 1 约束条件 1 欧洲控制杂志 1 Informatica（维尔纽斯） 1 高阶和符号计算 1 科学基础 1 应用逻辑杂志 1 数学生物科学与工程 1 中国科学。F系列 1 可满足性、布尔建模与计算杂志 1 理论计算机科学的基础和发展趋势 1 游戏 1 数值代数、控制与优化 1 中国计算机科学前沿 1 计算机科学评论 全部的 前5名在25个字段中引用 539 计算机科学（68至XX） 153 数学逻辑和基础（03-XX） 24 系统论；控制（93至XX） 22 博弈论、经济学、金融和其他社会和行为科学（91-XX） 19 运筹学、数学规划（90-XX） 17 组合数学（05-XX） 15 阶、格、有序代数结构（06-XX） 13 信息与通信理论、电路（94-XX） 7 概率论与随机过程（60-XX） 4 历史和传记（01-XX） 4 数值分析（65-XX） 4 生物学和其他自然科学（92-XX） 三 总体主题；集合（00-XX） 三 一般代数系统（08-XX） 三 常微分方程（34-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 范畴理论；同调代数（18-XX） 2 群论与推广（20-XX） 2 量子理论（81-XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.