编辑配置文件（在新选项卡中打开） 赫尔穆特·塞德尔 合著者距离 作者ID： 赛德尔·赫尔穆特 发布日期： 赫尔穆特·塞德尔 已编制索引的文档： 128份出版物自1985年以来，包括7本书 4作为编辑的贡献 合著者： 72位合著者具有112联合出版物 1292合著作者 全部的 前5名合著者 18 单作者的 15 马库斯·穆勒·奥尔姆 14 塞巴斯蒂安·马内思 11 托马斯·马丁·高利察 9 莱因哈德·威廉 6 弗莱明·尼尔森 6 库马尔·内拉吉（Kumar Neeraj Verma） 6 维萨尔·沃达尼 5 塞巴斯蒂安·哈克 5 安卡·穆斯科尔 5 迈克尔·彼特 5 安德烈亚斯·雷乌 5 汉内·里斯·尼尔森 4 克里斯蒂安·费希特 4 迈克尔·卢滕伯格 4 斯特凡·舒尔泽·弗里林豪斯 4 拉尔夫·沃格勒 4 马丁·乌 3 卡默·阿皮尼 3 约斯特·恩格尔弗里特 3 伯恩德·芬克贝纳 3 西尔维亚·弗里斯 3 拉斐拉·勒贝尔 3 托马斯·施温蒂克 3 伯恩哈德·斯特芬 3 安德烈亚斯·韦伯 2 亚历山大·贝里亚 2 朱利安·埃哈德 2 安德烈亚·弗莱克塞德 2 布莱斯·基内斯特 2 马丁·霍夫曼 2 阿列克桑德·卡比雪夫 2 马塞·科瓦奇 2 彼得·兰米奇 2 拉斐拉·帕伦塔 2 皮埃尔·雷蒂 2 马丁·施瓦兹。 2 马克·泽顿 1 阿萨勒阿杰 1 米凯尔·巴赫霍尔茨 1 伊娃·达鲁洛娃 1 雷娜·迪米特洛娃 1 哈维尔·埃斯帕尔扎 1 克里斯蒂安·费迪南德 1 圣埃芬·高伯特 1 安德烈亚斯·戈德 1 埃里克·古堡 1 瓦莱里·古兰顿 1 彼得·哈贝梅尔 1 汉森、雷内·里多夫 1 阿纳斯塔西亚·伊齐切娃 1 格雷戈·坎佩尔 1 克里斯托夫·凯勒（Christoph W.Keßler）。 1 斯特凡·基弗 1 约格·克里克 1 杰罗姆·勒鲁 1 莱姆，塞巴斯蒂安 1 刘志明 1 克里斯坦·米勒 1 安德烈亚斯·纽曼（Andreas W.Neumann）。 1 达米安·尼文斯基 1 Păsăreanu，科琳娜·s。 1 托马斯·珀斯特 1 亨利克·皮利加德 1 拉贝，马库斯·N。 1 简·雷内克 1 鲁兴，奥利弗 1 西蒙·萨恩 1 索伦森，莫滕·海涅B。 1 孙红燕 1 格雷戈伊尔·萨特雷 1 Vene，瓦尔莫 1 伊戈尔·瓦卢基维奇 1 亚历山大·温纳 全部的 前5名系列 8 信息处理信件 5 理论计算机科学 4 北欧计算机杂志 4 计算机科学课堂讲稿 3 国际计算机科学基础杂志 2 信息学报 2 计算机与系统科学杂志 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 1 数学系统理论 1 SIAM计算机杂志 1 逻辑程序设计杂志 1 符号计算杂志 1 国际并行程序设计杂志 1 信息与计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 爱沙尼亚科学院院刊。物理、数学 1 美国计算机学会期刊 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 全部的 前5名领域 127 计算机科学（68至XX） 20 数学逻辑和基础（03-XX） 6 信息与通信理论、电路（94-XX） 4 总体主题；集合（00-XX） 4 群论与推广（20-XX） 4 数值分析（65-XX） 3 运筹学、数学规划（90-XX） 3 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 有序，格，有序代数结构（06-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 算子理论（47-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 101出版物有被引用641中的次456文件 引用人▼ 年份▼ 关于有限自动机的模糊度。 Zbl 0738.68059号 安德烈亚斯·韦伯;赫尔穆特·塞德尔 46 1991 确定有限树自动机的等价性。 Zbl 0699.68075号 赫尔穆特·塞德尔 43 1990 通过线性代数进行精确的过程间分析。 Zbl 1325.68068号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 33 2004 Haskell重载是DEXPTIME完成的。 Zbl 0835.68008号 赫尔穆特·塞德尔 26 1994 通过策略迭代精确计算不动点。 Zbl 1187.68152号 托马斯·高利察;赫尔穆特·塞德尔 25 2007 计算多项式程序不变量。 Zbl 1177.68048号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 23 2004 关于等式Horn子句的复杂性。 Zbl 1135.94331号 库马尔·内拉吉（Kumar Neeraj Verma）;赫尔穆特·塞德尔;托马斯·施温蒂克 20 2005 快速简单的嵌套修复点。 Zbl 0900.68458号 赫尔穆特·塞德尔 19 1996 在树上免费计数。 Zbl 1099.03010号 赫尔穆特·塞德尔;托马斯·施温蒂克;安卡·穆斯科尔;彼得·哈贝梅尔 19 2004 宏森林换能器。 Zbl 1178.68177号 托马斯·珀斯特;赫尔穆特·塞德尔 14 2004 关于卡尔算法的一点注记。 Zbl 1099.68022号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 13 2004 具有成本函数的有限树自动机。 Zbl 0805.68085号 赫尔穆特·塞德尔 12 1994 立方时间内的控制流分析。 兹比尔0977.68520 弗莱明·尼尔森;赫尔穆特·塞德尔 11 2001 确定自顶向下的XML转换在多项式时间内的等价性。 Zbl 1167.68032号 约斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 11 2009 关于有限树自动机的有限模糊度。 Zbl 0683.68049号 赫尔穆特·塞德尔 11 1989 模运算分析。 Zbl 1108.68404号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 9 2005 关于具有\（{mathbb{N}}\）项的矩阵的有限生成幺半群。 兹比尔0721.20042 安德烈亚斯·韦伯;赫尔穆特·塞德尔 9 1991 通过策略迭代精确的关系不变量。 Zbl 1179.68037号 托马斯·盖利扎;赫尔穆特·塞德尔 9 2007 ALFP的简洁求解器。 Zbl 1088.68774号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 多项式常数是可判定的。 Zbl 1015.68043号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 9 2002 可规范化Horn子句、可强烈识别的关系和Spi。 Zbl 1015.68042号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 确定的自上而下树对串传感器的等效性是可以判定的。 Zbl 1426.68154号 赫尔穆特·塞德尔;塞巴斯蒂安·马内思;格雷戈·坎佩尔 9 2018 用于代码选择的树自动机。 Zbl 0820.68031号 克里斯蒂安·费迪南德;赫尔穆特·塞德尔;莱因哈德·威廉 8 1994 无限状态高级MSC：模型检查和可实现性（扩展抽象）。 Zbl 1057.68625号 布莱斯·基内斯特;安卡·穆斯科尔;赫尔穆特·塞德尔;马克·泽顿 8 2002 树型传感器的单值性在多项式时间内是可判定的。 Zbl 0783.68086号 赫尔穆特·塞德尔 8 1992 通过嵌套修复点进行游戏。 Zbl 1242.68160号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2009 精确计算松弛抽象语义w.r.t.二次区域。 Zbl 1306.68025号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2010 在树上数数。 Zbl 1226.03049号 赫尔穆特·塞德尔;托马斯·施温蒂克;安卡·穆斯科尔 8 2008 反应系统中的模型检查信息流。 Zbl 1326.68182号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;马塞·科瓦奇;马库斯·拉贝。;赫尔穆特·塞德尔 7 2012 单调min-max多项式方程组的逼近方法。 Zbl 1153.65337号 哈维尔·埃斯帕尔扎;托马斯·高利察;斯特凡·基弗;赫尔穆特·塞德尔 7 2008 检查Herbrand等式及其他。 Zbl 1112.68094号 马库斯·穆勒·奥尔姆;鲁兴，奥利弗;赫尔穆特·塞德尔 7 2005 有限值树变换器的等价性是可判定的。 Zbl 0809.68087号 塞德尔，H。 6 1994 过程间分析多项式恒等式。 兹比尔1136.68356 马库斯·穆勒·奥尔姆;迈克尔·彼特;赫尔穆特·塞德尔 6 2006 有限值自下而上有限状态树变换器的等效性是可判定的。 兹比尔0758.68049 赫尔穆特·塞德尔 6 1990 重新访问同步树语言和新应用程序。 Zbl 0986.68052号 瓦莱里·古兰顿;皮埃尔·雷蒂;赫尔穆特·塞德尔 6 2001 通用方程组的快速求解器。 Zbl 0948.68016号 克里斯蒂安·费希特;赫尔穆特·塞德尔 6 1999 无限状态高级MSC：模型检查和可实现性。 Zbl 1105.68071号 布莱斯·基内斯特;安卡·穆斯科尔;赫尔穆特·塞德尔;马克·泽顿 6 2006 简洁的求解器套件。 Zbl 1126.68354号 弗莱明·尼尔森;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨;汉森、雷内·里多夫;亨利克·皮利加德;赫尔穆特·塞德尔 6 2004 关于有限自动机的模糊度。 Zbl 0617.68055号 安德烈亚斯·韦伯;赫尔穆特·塞德尔 6 1986 传播差异：分布式约束系统的一种有效的新不动点算法。 Zbl 0918.68009号 克里斯蒂安·费希特;赫尔穆特·塞德尔 5 1998 编译器设计。分析和转换。 兹比尔1257.68004 赫尔穆特·塞德尔;莱因哈德·威廉;塞巴斯蒂安·哈克 5 2012 抽象解释满足凸优化。 Zbl 1246.90118号 托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2012 动态进程创建并发程序的联合锁敏感前向可达性分析。 Zbl 1317.68031号 托马斯·马丁·高利察;彼得·兰米奇;马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔;亚历山大·温纳 5 2011 通过扩大和缩小范围来加强自上而下的解决方案。 Zbl 1474.68043号 卡默·阿皮尼;赫尔穆特·塞德尔;维萨尔·沃达尼 5 2016 自动复杂性分析。 Zbl 1077.68610号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 4 2002 通过更高类型的基元递归定义描述复杂类的特征。二、。 Zbl 0743.03030号 安德烈亚斯·戈德;赫尔穆特·塞德尔 4 1990 用路径不符扩展\（{\mathcal H}_1\）-子句。 Zbl 1352.68118号 赫尔穆特·塞德尔;安德烈亚斯·雷乌 4 2012 扁平和单变量子句：使用单盲复制验证加密协议的复杂性。 Zbl 1108.68465号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 4 2005 文档树的二进制查询。 兹比尔1090.68537 亚历山大·贝里亚;赫尔穆特·塞德尔 4 2004 关于并行程序的最优切片。 兹比尔1323.68316 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 4 2001 确定有限树自动机的等价性。 Zbl 1492.68081号 赫尔穆特·塞德尔 4 1989 过程间Herbrand等式。 Zbl 1108.68405号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔;伯恩哈德·斯特芬 3 2005 具有重叠结构的低层C的形状分析。 Zbl 1273.68086号 约格·克里克;赫尔穆特·塞德尔;维萨尔·沃达尼 3 2010 关于保护嵌套固定点。 Zbl 0944.03023号 赫尔穆特·塞德尔;安德烈亚斯·诺伊曼 3 1999 在多项式时间内计算无上下文语言的最长公共前缀。 Zbl 1487.68150号 迈克尔·卢滕伯格;拉斐拉·帕伦塔;赫尔穆特·塞德尔 3 2018 立方时间的密码分析。 Zbl 1268.94029号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 3 2002 什么是纯函数？ Zbl 1288.68037号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 3 2010 带有术语约束的自下而上树自动机。 Zbl 1306.68096号 安德烈亚斯·雷乌;赫尔穆特·塞德尔 3 2010 重新进行多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 3 2009 编译器设计。句法和语义分析。 Zbl 1273.68077号 莱因哈德·威廉;赫尔穆特·塞德尔;塞巴斯蒂安·哈克 3 2013 强制终止程序间分析。 Zbl 1394.68086号 斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·沃格勒 3 2016 总确定性自顶向下树传感器的Look-ahead删除。 Zbl 1333.68163号 约斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 3 2016 通过优先级上限协议同步的中断驱动程序的静态分析。 Zbl 1284.68199号 马丁·施瓦兹。;赫尔穆特·塞德尔;维萨尔·沃达尼;彼得·兰米奇;马库斯·穆勒·奥尔姆 3 2011 用不等式扩展\（H_1\）-子句。 Zbl 1260.68115号 赫尔穆特·塞德尔;安德烈亚斯·雷乌 3 2011 自上而下树状换能器的可定义结果。 Zbl 1518.68185号 塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌 3 2021 适用于一般方程组的更快的求解器。 Zbl 1482.68088号 克里斯蒂安·费希特;赫尔穆特·塞德尔 3 1996 并行程序的基于约束的过程间分析。 Zbl 0970.68034号 赫尔穆特·塞德尔;伯恩哈德·斯特芬 2 2000 关于有限树自动机的有限模糊度。 Zbl 0802.68086号 赫尔穆特·塞德尔 2 1989 并行程序的基于约束的过程间分析。 Zbl 0960.68035号 赫尔穆特·塞德尔;伯恩哈德·斯特芬 2 2000 模糊性和价值。 Zbl 0798.68107号 赫尔穆特·塞德尔 2 1992 快速过程间变量等式的上伴随。 Zbl 1133.68321号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 2 2008 计算崩溃游戏的游戏值。 Zbl 1141.91345号 托马斯·高利察;赫尔穆特·塞德尔 2 2007 用于种族检测的区域分析。 Zbl 1248.68152号 赫尔穆特·塞德尔;维萨尔·沃达尼 2 2009 用于分析多线程应用程序的全局不变量。 Zbl 1091.68520号 赫尔穆特·塞德尔;Vene，瓦尔莫;马库斯·穆勒·奥尔姆 2 2003 MSO转导在多项式时间内的平衡性。 Zbl 1426.68150号 马内思，S。;塞德尔，H。 2 2018 如何确定自顶向下树传感器组成的功能。 Zbl 07719139号 塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌 2 2022 弱正则关系和应用。 Zbl 0981.68083号 莱姆，塞巴斯蒂安;皮埃尔·雷蒂;赫尔穆特·塞德尔 1 2001 关于分配不动点表达式。 Zbl 0945.68127号 赫尔穆特·塞德尔;达米安·尼文斯基 1 1999 过程间分析：比较。 Zbl 0951.68013号 赫尔穆特·塞德尔;费希特，基督徒 1 2000 单盲复制协议的扁平子句和单变量子句：XOR情况。 Zbl 1242.94032号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 1 2009 如何赢得一级安全游戏。 Zbl 07228518号 赫尔穆特·塞德尔;克里斯蒂安·米勒;伯恩德·芬克贝纳 1 2020 通过凸松弛和最大策略迭代实现数值不变量。 Zbl 1291.68256号 托马斯·马丁·高利察;赫尔穆特·塞德尔 1 2014 在具有任意多个代理的工作流中指定和验证保密性。 Zbl 1398.68341号 伯恩德·芬克贝纳;赫尔穆特·塞德尔;克里斯蒂安·米勒 1 2016 跨越句法障碍：\（{\mathcal H}_1\）-子句的互斥性。 Zbl 1297.68058号 安德烈亚斯·雷乌;赫尔穆特·塞德尔 1 2012 使用fxt转换XML文档。 Zbl 1037.68043号 亚历山大·贝里亚;赫尔穆特·塞德尔 1 2002 反例和模拟引导的浮点循环不变量综合。 Zbl 1474.68055号 阿纳斯塔西亚·伊齐切娃;伊娃·达鲁洛娃;赫尔穆特·塞德尔 1 2020 如何删除自顶向下树传感器的外观。 Zbl 1298.68132号 约斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 1 2014 编译器设计。虚拟机。 兹伯利1209.68117 莱因哈德·威廉;赫尔穆特·塞德尔 1 2010 在Coq中验证局部泛型解算器。 Zbl 1306.68029号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 1 2010 使用易于处理的Horn子句类进行加密协议验证。 Zbl 1149.68380号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 1 2007 优先级调度程序中值相关同步的精确分析。 Zbl 1428.68120号 马丁·施瓦兹。;赫尔穆特·塞德尔;维萨尔·沃达尼;卡默·阿皮尼 1 2014 多项式时间内分离非嵌套属性系统等价性的判定。 Zbl 1524.68166号 赫尔穆特·塞德尔;拉斐拉·帕伦塔;塞巴斯蒂安·马内思 1 2019 强制终止程序间分析。 Zbl 1425.68083号 斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·沃格勒 1 2018 自下而上树型传感器的最早规范形式和最小化。 Zbl 1252.68170号 西尔维亚·弗里斯;赫尔穆特·塞德尔;塞巴斯蒂安·马内思 1 2011 过程间双变量Herbrand等式。 兹比尔1335.68066 斯特凡·舒尔泽·弗里林豪斯;迈克尔·彼特;赫尔穆特·塞德尔 1 2015 树行走传感器的类型检查。 兹比尔1256.68106 塞巴斯蒂安·马内思;西尔维亚·弗里斯;赫尔穆特·塞德尔 1 2012 平面和单变量子句：使用单盲复制验证加密协议的复杂性。 Zbl 1367.68113号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 1 2008 增量抽象解释。 Zbl 1440.68047号 赫尔穆特·塞德尔;朱利安·埃哈德;拉尔夫·沃格勒 1 2020 自由群中输出的线性树换能器的等效性。 Zbl 07601072号 拉斐拉·洛贝尔;迈克尔·卢滕伯格;赫尔穆特·塞德尔 1 2020 功能树转导何时具有确定性？ Zbl 1497.68280号 赫尔穆特·塞德尔 1 1993 如何确定自顶向下树传感器组成的功能。 Zbl 07719139号 塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌 2 2022 自顶向下树型传感器的可定义性结果。 Zbl 1518.68185号 塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌 3 2021 关于树对字传感器的平衡性。 Zbl 1518.68184号 拉斐拉·洛贝尔;迈克尔·卢滕伯格;赫尔穆特·塞德尔 1 2021 如何赢得一级安全游戏。 Zbl 07228518号 赫尔穆特·塞德尔;米勒，克里斯蒂安;伯恩德·芬克贝纳 1 2020 反例和模拟引导的浮点循环不变量综合。 Zbl 1474.68055号 阿纳斯塔西亚·伊齐切娃;伊娃·达鲁洛娃;赫尔穆特·塞德尔 1 2020 增量抽象解释。 Zbl 1440.68047号 赫尔穆特·塞德尔;朱利安·埃哈德;拉尔夫·沃格勒 1 2020 自由群中输出的线性树换能器的等效性。 Zbl 07601072号 拉斐拉·洛贝尔;迈克尔·卢滕伯格;赫尔穆特·塞德尔 1 2020 多项式时间内分离非嵌套属性系统等价性的判定。 Zbl 1524.68166号 赫尔穆特·塞德尔;拉斐拉·帕伦塔;塞巴斯蒂安·马内思 1 2019 确定的自上而下树对串传感器的等效性是可以判定的。 Zbl 1426.68154号 赫尔穆特·塞德尔;塞巴斯蒂安·马内思;格雷戈·坎佩尔 9 2018 在多项式时间内计算无上下文语言的最长公共前缀。 Zbl 1487.68150号 迈克尔·卢滕伯格;拉斐拉·帕伦塔;赫尔穆特·塞德尔 3 2018 MSO转导在多项式时间内的平衡性。 Zbl 1426.68150号 马内斯，S。;塞德尔，H。 2 2018 强制终止程序间分析。 Zbl 1425.68083号 斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·沃格勒 1 2018 通过扩大和缩小范围来加强自上而下的解决方案。 Zbl 1474.68043号 卡默·阿皮尼;赫尔穆特·塞德尔;维萨尔·沃达尼 5 2016 强制终止程序间分析。 Zbl 1394.68086号 斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·沃格勒 3 2016 总确定性自顶向下树传感器的Look-ahead删除。 Zbl 1333.68163号 约斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 3 2016 在具有任意多个代理的工作流中指定和验证保密性。 Zbl 1398.68341号 伯恩德·芬克贝纳;赫尔穆特·塞德尔;克里斯蒂安·米勒 1 2016 过程间双变量Herbrand等式。 Zbl 1335.68066号 斯特凡·舒尔泽·弗里林豪斯;迈克尔·彼特;赫尔穆特·塞德尔 1 2015 通过凸松弛和最大策略迭代实现数值不变量。 Zbl 1291.68256号 托马斯·马丁·高利察;赫尔穆特·塞德尔 1 2014 如何删除自顶向下树传感器的外观。 Zbl 1298.68132号 约斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 1 2014 优先级调度程序中值相关同步的精确分析。 Zbl 1428.68120号 马丁·施瓦兹。;赫尔穆特·塞德尔;维萨尔·沃达尼;卡默·阿皮尼 1 2014 编译器设计。句法和语义分析。 Zbl 1273.68077号 莱因哈德·威廉;赫尔穆特·塞德尔;塞巴斯蒂安·哈克 3 2013 反应系统中的模型检查信息流。 Zbl 1326.68182号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;马塞·科瓦奇;马库斯·拉贝。;赫尔穆特·塞德尔 7 2012 编译器设计。分析和转换。 Zbl 1257.68004号 赫尔穆特·塞德尔;莱因哈德·威廉;塞巴斯蒂安·哈克 5 2012 抽象解释满足凸优化。 Zbl 1246.90118号 托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2012 用路径不符扩展\（{\mathcal H}_1\）-子句。 Zbl 1352.68118号 赫尔穆特·塞德尔;安德烈亚斯·雷乌 4 2012 跨越句法障碍：\（{\mathcal H}_1\）-子句的互斥性。 兹比尔1297.68058 安德烈亚斯·雷乌;赫尔穆特·塞德尔 1 2012 树行走传感器的类型检查。 兹比尔1256.68106 塞巴斯蒂安·马内思;西尔维亚·弗里斯;赫尔穆特·塞德尔 1 2012 动态进程创建并发程序的联合锁敏感前向可达性分析。 Zbl 1317.68031号 托马斯·马丁·高利察;彼得·兰米奇;马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔;亚历山大·温纳 5 2011 通过优先级上限协议同步的中断驱动程序的静态分析。 Zbl 1284.68199号 马丁·施瓦兹。;赫尔穆特·塞德尔;维萨尔·沃达尼;彼得·兰米奇;马库斯·穆勒·奥尔姆 3 2011 用不等式扩展\（H_1\）-子句。 Zbl 1260.68115号 赫尔穆特·塞德尔;安德烈亚斯·雷乌 3 2011 自下而上树型传感器的最早规范形式和最小化。 Zbl 1252.68170号 西尔维亚·弗里斯;赫尔穆特·塞德尔;塞巴斯蒂安·马内思 1 2011 精确计算松弛抽象语义w.r.t.二次区域。 Zbl 1306.68025号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2010 具有重叠结构的低层C的形状分析。 Zbl 1273.68086号 约格·克里克;赫尔穆特·塞德尔;维萨尔·沃达尼 3 2010 什么是纯函数？ Zbl 1288.68037号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 3 2010 具有术语约束的自底向上树自动机。 Zbl 1306.68096号 安德烈亚斯·雷乌;赫尔穆特·塞德尔 3 2010 编译器设计。虚拟机。 Zbl 1209.68117号 莱因哈德·威廉;赫尔穆特·塞德尔 1 2010 在Coq中验证局部泛型解算器。 Zbl 1306.68029号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 1 2010 决定自顶向下的XML转换在多项式时间内的等价性。 Zbl 1167.68032号 约斯特·恩格尔弗里特;塞巴斯蒂安·马内思;赫尔穆特·塞德尔 11 2009 通过嵌套修复点进行游戏。 Zbl 1242.68160号 托马斯·马丁·高利察;赫尔穆特·塞德尔 8 2009 回顾多项式精确区间分析。 Zbl 1258.65048号 托马斯·高利察;杰罗姆·勒鲁;简·雷内克;赫尔穆特·塞德尔;格雷戈伊尔·萨特雷;莱因哈德·威廉 3 2009 种族检测的区域分析。 Zbl 1248.68152号 赫尔穆特·塞德尔;维萨尔·沃达尼 2 2009 单盲复制协议的扁平子句和单变量子句：XOR情况。 兹比尔1242.94032 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 1 2009 在树上数。 Zbl 1226.03049号 赫尔穆特·塞德尔;托马斯·施温蒂克;安卡·穆斯科尔 8 2008 单调min-max多项式方程组的逼近方法。 Zbl 1153.65337号 哈维尔·埃斯帕尔扎;托马斯·高利察;斯特凡·基弗;赫尔穆特·塞德尔 7 2008 快速过程间变量等式的上伴随。 Zbl 1133.68321号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 2 2008 平面和单变量子句：使用单盲复制验证加密协议的复杂性。 Zbl 1367.68113号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 1 2008 通过策略迭代精确计算不动点。 Zbl 1187.68152号 托马斯·高利察;赫尔穆特·塞德尔 25 2007 通过策略迭代精确的关系不变量。 Zbl 1179.68037号 托马斯·高利察;赫尔穆特·塞德尔 9 2007 计算崩溃游戏的游戏值。 Zbl 1141.91345号 托马斯·高利察;赫尔穆特·塞德尔 2 2007 使用易于处理的Horn子句类进行加密协议验证。 Zbl 1149.68380号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 1 2007 过程间分析多项式恒等式。 兹比尔1136.68356 马库斯·穆勒·奥尔姆;迈克尔·彼特;赫尔穆特·塞德尔 6 2006 无限状态高级MSC：模型检查和可实现性。 Zbl 1105.68071号 布莱斯·基内斯特;安卡·穆斯科尔;赫尔穆特·塞德尔;马克·泽顿 6 2006 关于等式Horn子句的复杂性。 Zbl 1135.94331号 库马尔·内拉吉（Kumar Neeraj Verma）;赫尔穆特·塞德尔;托马斯·施温蒂克 20 2005 模运算分析。 Zbl 1108.68404号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 9 2005 检查Herbrand等式及其他。 Zbl 1112.68094号 马库斯·穆勒·奥尔姆;鲁兴，奥利弗;赫尔穆特·塞德尔 7 2005 扁平和单变量子句：使用单盲复制验证加密协议的复杂性。 Zbl 1108.68465号 赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 4 2005 过程间Herbrand等式。 Zbl 1108.68405号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔;伯恩哈德·斯特芬 3 2005 通过线性代数进行精确的过程间分析。 Zbl 1325.68068号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 33 2004 计算多项式程序不变量。 Zbl 1177.68048号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 23 2004 在树上免费计数。 兹比尔1099.02010 赫尔穆特·塞德尔;托马斯·施温蒂克;安卡·穆斯科尔;彼得·哈贝梅尔 19 2004 宏观森林传感器。 Zbl 1178.68177号 托马斯·珀斯特;赫尔穆特·塞德尔 14 2004 关于卡尔算法的一点注记。 Zbl 1099.68022号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 13 2004 简洁的求解器套件。 Zbl 1126.68354号 弗莱明·尼尔森;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨;汉森、雷内·里多夫;亨利克·皮利加德;赫尔穆特·塞德尔 6 2004 文档树的二进制查询。 Zbl 1090.68537号 亚历山大·贝里亚;赫尔穆特·塞德尔 4 2004 用于分析多线程应用程序的全局不变量。 Zbl 1091.68520号 赫尔穆特·塞德尔;瓦尔莫·维尼;马库斯·穆勒·奥尔姆 2 2003 ALFP的简洁求解器。 Zbl 1088.68774号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 多项式常数是可判定的。 Zbl 1015.68043号 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 9 2002 可规范化的Horn子句、强可识别的关系和Spi。 Zbl 1015.68042号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 无限状态高级MSC：模型检查和可实现性（扩展抽象）。 Zbl 1057.68625号 布莱斯·基内斯特;安卡·穆斯科尔;赫尔穆特·塞德尔;马克·泽顿 8 2002 自动复杂性分析。 Zbl 1077.68610号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 4 2002 立方时间的密码分析。 Zbl 1268.94029号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 3 2002 使用fxt转换XML文档。 Zbl 1037.68043号 亚历山大·贝里亚;赫尔穆特·塞德尔 1 2002 立方时间内的控制流分析。 兹比尔0977.68520 弗莱明·尼尔森;赫尔穆特·塞德尔 11 2001 重新访问同步树语言和新应用程序。 Zbl 0986.68052号 瓦莱里·古兰顿;皮埃尔·雷蒂;赫尔穆特·塞德尔 6 2001 关于并行程序的最优切片。 兹比尔1323.68316 马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔 4 2001 弱正则关系和应用。 Zbl 0981.68083号 塞巴斯蒂安·利梅特;皮埃尔·雷蒂;赫尔穆特·塞德尔 1 2001 并行程序的基于约束的过程间分析。 Zbl 0970.68034号 赫尔穆特·塞德尔;伯恩哈德·斯特芬 2 2000 并行程序的基于约束的过程间分析。 Zbl 0960.68035号 赫尔穆特·塞德尔;伯恩哈德·斯特芬 2 2000 过程间分析：比较。 Zbl 0951.68013号 赫尔穆特·塞德尔;克里斯蒂安·费希特 1 2000 通用方程组的快速求解器。 Zbl 0948.68016号 克里斯蒂安·费希特;赫尔穆特·塞德尔 6 1999 关于保护嵌套固定点。 Zbl 0944.03023号 赫尔穆特·塞德尔;安德烈亚斯·诺伊曼 3 1999 关于分配不动点表达式。 Zbl 0945.68127号 赫尔穆特·塞德尔;达米安·尼文斯基 1 1999 传播差异：分布式约束系统的一种有效的新不动点算法。 Zbl 0918.68009号 克里斯蒂安·费希特;赫尔穆特·塞德尔 5 1998 快速简单的嵌套修复点。 兹比尔0900.68458 赫尔穆特·塞德尔 19 1996 更快速的通用方程组求解器。 Zbl 1482.68088号 克里斯蒂安·费希特;赫尔穆特·塞德尔 3 1996 Haskell重载是DEXPTIME完成的。 Zbl 0835.68008号 赫尔穆特·塞德尔 26 1994 具有成本函数的有限树自动机。 Zbl 0805.68085号 赫尔穆特·塞德尔 12 1994 用于代码选择的树自动机。 Zbl 0820.68031号 克里斯蒂安·费迪南德;赫尔穆特·塞德尔;莱因哈德·威廉 8 1994 有限值树变换器的等价性是可判定的。 Zbl 0809.68087号 塞德尔，H。 6 1994 功能树转导何时具有确定性？ 兹比尔1497.68280 赫尔穆特·塞德尔 1 1993 树型传感器的单值性在多项式时间内是可判定的。 Zbl 0783.68086号 赫尔穆特·塞德尔 8 1992 模棱两可和有价值。 Zbl 0798.68107号 赫尔穆特·塞德尔 2 1992 关于有限自动机的模糊度。 Zbl 0738.68059号 安德烈亚斯·韦伯;赫尔穆特·塞德尔 46 1991 关于具有\（{mathbb{N}}\）项的矩阵的有限生成幺半群。 Zbl 0721.20042号 安德烈亚斯·韦伯;赫尔穆特·塞德尔 9 1991 确定有限树自动机的等价性。 Zbl 0699.68075号 赫尔穆特·塞德尔 43 1990 有限值自下而上有限状态树变换器的等效性是可判定的。 Zbl 0758.68049号 赫尔穆特·塞德尔 6 1990 通过更高类型的基元递归定义描述复杂类的特征。二、。 Zbl 0743.03030号 安德烈亚斯·戈德;赫尔穆特·塞德尔 4 1990 关于有限树自动机的有限模糊度。 Zbl 0683.68049号 赫尔穆特·塞德尔 11 1989 确定有限树自动机的等价性。 Zbl 1492.68081号 赫尔穆特·塞德尔 4 1989 关于有限树自动机的有限模糊度。 Zbl 0802.68086号 赫尔穆特·塞德尔 2 1989 …还有1个文档 所有引用出版物 前5名被引用出版物 全部的 前5名659位作者引用 41 赫尔穆特·塞德尔 11 塞巴斯蒂安·马内思 11 弗莱明·尼尔森 10 汉内·里斯·尼尔森 9 斯特凡·基弗 9 萨洛玛，Kai T。 9 伊戈尔·瓦卢基维奇 9 詹姆斯·沃雷尔。 8 托马斯·马丁·高利察 8 迈克尔·卢滕伯格 8 安德烈亚斯·马莱蒂 8 约阿希姆·尼伦 7 穆罕默德·法乌齐（Mohamed Faouzi Atig） 7 曼弗雷德·德罗斯特 7 约斯特·恩格尔弗里特 7 艾曼纽·菲利奥特 7 维姆·马滕斯 7 菲利普·马佐维耶基 7 代表，Thomas W。 7 福格勒、海科 6 哈维尔·埃斯帕尔扎 6 马丁·兰格 6 安卡·穆斯科尔 6 法兰克·奈文 6 Randour，Mickael米凯尔 5 奇亚拉博迪 5 艾哈迈德·博阿贾尼 5 让·古鲍特·拉雷克 5 佛罗伦萨·杰克马尔 5 奥尔纳·库普弗曼 5 迪特里赫·库斯克 5 阿卡什·拉尔 5 勒沃夫，M.S。 5 Jean-François拉斯金 5 桑卡拉纳拉亚南，斯里拉姆 5 安德烈亚斯·韦伯 4 阿萨勒阿杰 4 沙乌尔·阿尔马戈 4 弗兰兹·巴德 4 阿德里安·博伊雷特 4 库沙·埃特萨米 4 纳塔娜·菲亚尔科夫 4 布莱斯·基内斯特 4 埃里克·古堡 4 稻叶和弘 4 迪帕克·卡普尔 4 科瓦奇，劳拉·伊尔迪科 4 克里斯托夫·Löding 4 丹尼斯·卢吉兹 4 马库斯·穆勒·奥尔姆 4 皮埃尔·雷蒂 4 皮埃尔·阿莱·雷尼尔 4 克里斯蒂安·里维罗斯 4 泰瑟·图利 4 库马尔·内拉吉（Kumar Neeraj Verma） 4 马丁·乌 4 米哈利斯·亚纳卡基斯 3 伊夫·安德烈 3 保罗·C·贝尔。 3 Mikołaj博扬奇克 3 乌迪·博克 3 贝内迪克特·博利格 3 托马斯·布里海耶 3 洛伦佐·克莱门特 3 休伯特·科蒙 3 阿戈斯蒂诺·科尔特斯 3 维罗尼克·科尔蒂尔 3 迪加诺，皮尔保罗 3 Stéphane P.德姆里。 3 伯恩德·芬克贝纳 3 里卡多·福卡迪 3 佐尔坦，福尔öp 3 皮埃尔·洛伊奇·卡洛什 3 保罗·加斯廷 3 圣埃芬·高伯特 3 奥利维·高文 3 汉森、雷内·里多夫 3 托马斯·亨辛格。 3 马尔钦·尤季扬斯基 3 克里斯·基勒 3 国王，安迪 3 利贝蒂，利奥 3 拉斐拉·洛贝尔 3 马库斯·洛伊 3 西尔万·伦巴第 3 法布里西奥·马里内利 3 大卫·莫尼奥（David P.Monniaux）。 3 纳伦德兰，帕里斯 3 安德烈亚·特奥多拉·纳什 3 乔尔·欧·瓦克宁。 3 Pai，Rekha R。 3 埃里克·保罗 3 吉列尔莫·A·佩雷斯。 3 安德烈亚斯·波德尔斯基 3 安德烈亚斯·雷乌 3 对手，泽维尔 3 普拉卡什·塞瓦桑 3 阿利斯泰尔·斯图尔特 3 莫西·亚亚科夫·瓦尔迪 3 拉尔夫·沃格勒 …还有559位作者 全部的 前5名53篇连载文章中引用 50 理论计算机科学 42 信息与计算 18 计算机与系统科学杂志 17 系统设计中的形式化方法 15 计算系统理论 14 信息处理信件 13 国际计算机科学基础杂志 10 信息学报 9 计算机科学中的逻辑方法 8 符号计算杂志 7 自动推理杂志 6 计算的形式方面 6 逻辑与代数程序设计杂志 5 控制论与系统分析 5 计算机语言、系统和结构 4 计算机程序设计科学 4 MSCS公司。计算机科学中的数学结构 4 RAIRO公司。Informatique Théorique et Applications公司 4 程序设计中的逻辑和代数方法杂志 3 RAIRO公司。理论信息学及其应用 3 ACM计算逻辑事务 2 数学系统理论 2 高阶和符号计算 2 系统科学与复杂性杂志 2 逻辑程序设计理论与实践 2 非线性分析。混合动力系统 1 离散数学 1 数学分析与应用杂志 1 模糊集与系统 1 信息科学 1 符号逻辑杂志 1 运筹学数学 1 编程和计算机软件 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 算法 1 国际近似推理杂志 1 SIAM离散数学杂志 1 密码学杂志 1 随机结构与算法 1 欧洲运筹学杂志 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 SIAM科学计算期刊 1 数学与人工智能年鉴 1 组合优化期刊 1 美国计算机学会期刊 1 离散数学和理论计算机科学。DMTCS公司 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 计算机基础理论 1 中欧数学杂志 1 应用逻辑杂志 1 中国计算机科学前沿 全部的 前5名26个领域被引用 434 计算机科学（68至XX） 87 数学逻辑和基础（03-XX） 23 博弈论、经济学、金融和其他社会和行为科学（91-XX） 15 运筹学、数学规划（90-XX） 10 数值分析（65-XX） 9 信息与通信理论、电路（94-XX） 7 群论与推广（20-XX） 6 动力系统和遍历理论（37至XX） 5 组合数学（05-XX） 5 系统论；控制（93至XX） 4 交换代数（13-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 结合环与代数（16-XX） 4 概率论与随机过程（60-XX） 3 数论（11-XX） 3 常微分方程（34-XX） 3 生物学和其他自然科学（92-XX） 2 代数几何（14-XX） 2 算子理论（47-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 有序，格，有序代数结构（06-XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 一般拓扑结构（54至XX） 1 粒子和系统力学（70-XX） 按年份列出的引文