编辑配置文件（在新选项卡中打开） 亨尼·B·西普玛。 合著者距离 作者ID： sipma.henny-b 发布日期： 亨尼·B·西普玛。;西普玛，亨尼;希普玛，H.B。 更多。。。较少的 已编制索引的文档： 35出版物自1995年起 合著者： 13合著者具有35联合出版物 258位合作作者 全部的 前5名合著者 0 单作者的 29 曼娜，佐哈尔 10 桑卡拉纳拉亚南，斯里拉姆 7 张婷 5 亚伦·R·布拉德利。 5 斯莱尼娜，马蒂奥 4 Colón，迈克尔·A。 4 塞萨尔·桑切斯 2 伯恩德·芬克贝纳 1 尼古拉·S·比约纳。 1 安卡·布朗 1 I.A.布朗。 1 文基塔，Subramonian 1 Tomás E.乌里韦。 系列 三 系统设计中的形式化方法 1 理论计算机科学 1 信息与计算 1 计算的形式方面 领域 33 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 2 交换代数（13-XX） 2 系统论；控制（93至XX） 1 运筹学、数学编程（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用409中的次275文件 引用人▼ 年份▼ 阵列的决定因素是什么？ Zbl 1176.68116号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 57 2006 使用数学规划对线性系统进行可缩放分析。 Zbl 1111.68514号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 44 2005 基于Gröbner基的非线性循环不变量生成。 Zbl 1325.68071号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 44 2004 使用非线性约束求解生成线性不变量。 Zbl 1278.68164号 Colón，迈克尔·A。;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 40 2003 线性排序函数的合成。 Zbl 0978.68095号 Colón，迈克尔·A。;亨尼·B·西普玛。 25 2001 构造混合系统的不变量。 Zbl 1133.68365号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 20 2008 具有可达性的线性排名。 Zbl 1081.68611号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 19 2005 构造混合系统的不变量。 Zbl 1135.93322号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 18 2004 基于约束的线性关系分析。 Zbl 1104.68023号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 18 2004 多项式程序的终止。 Zbl 1111.68500号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 17 2005 证明程序终止的实用方法。 Zbl 1010.68774号 Colón，迈克尔·A。;亨尼·B·西普玛。 15 2002 整数线性回路的终止分析。 Zbl 1134.68343号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 13 2005 高效的强关联多面体分析。 Zbl 1176.68051号 桑卡拉纳拉亚南，斯里拉姆;Colón，迈克尔·A。;亨尼·西普玛;曼娜，佐哈尔 13 2006 使用交替自动机检查有限记录道。 Zbl 1073.68053号 伯恩德·芬克贝纳;亨尼·西普玛 10 2004 多等级原则。 Zbl 1081.68568号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 9 2005 广义时间验证图。 Zbl 1354.68171号 I.A.布朗。;Z.曼纳。;希普玛，H.B。 7 1995 具有整数约束的递归数据结构的决策过程。 兹比尔1126.68585 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 6 2004 整数约束项代数的判定过程。 Zbl 1103.68080号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 5 2006 收集运行时执行的统计信息。 Zbl 1083.68068号 伯恩德·芬克贝纳;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 4 2005 使用不变量生成的Petri网分析。 Zbl 1274.68253号 桑卡拉纳拉亚南，斯里拉姆;亨尼·西普玛;曼娜，佐哈尔 4 2003 Knuth-Bendix阶一阶理论的可判定性。 Zbl 1135.03323号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 4 2005 为了安全起见，交替使用临时图片。 Zbl 0973.68141号 曼娜，佐哈尔;亨尼·B·西普玛。 三 2000 使用STeP对实时系统进行演绎验证。 Zbl 0954.68084号 北卡罗来纳州比约纳。;Z.曼纳。;希普玛，H.B。;乌里韦，T.E。 三 2001 正在验证平衡树。 Zbl 1132.68351号 曼娜，佐哈尔;亨尼·B·西普玛。;张婷 2 2007 具有长度函数和有界量词交替的项代数。 Zbl 1099.68737号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 2 2004 事件模式反应式编程语言的表达完整性。 Zbl 1169.68355号 塞萨尔·桑切斯;斯莱尼娜，马蒂奥;亨尼·B·西普玛。;曼娜，佐哈尔 1 2005 交流系统的演绎验证。 Zbl 1152.68032号 斯莱尼娜，马蒂奥;亨尼·B·西普玛。;曼娜，佐哈尔 1 2008 用于计算时间流逝运算符的定点迭代。 Zbl 1178.93053号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 1 2006 事件模式反应式程序的最终语义。 Zbl 1151.68378号 塞萨尔·桑切斯;亨尼·B·西普玛。;斯莱尼娜，马蒂奥;曼娜，佐哈尔 1 2005 整数约束队列的决策过程。 Zbl 1172.68437号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 1 2005 通过图表上的动态归纳法验证参数化系统。 Zbl 1046.68601号 曼娜，佐哈尔;亨尼·B·西普玛。 1 1999 证明无限状态系统的ATL*属性。 Zbl 1168.68428号 斯莱尼娜，马蒂奥;亨尼·B·西普玛。;曼娜，佐哈尔 1 2006 构造混合系统的不变量。 Zbl 1133.68365号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 20 2008 交流系统的演绎验证。 Zbl 1152.68032号 马特奥·斯拉尼娜;亨尼·B·西普玛。;曼娜，佐哈尔 1 2008 验证平衡树。 Zbl 1132.68351号 曼娜，佐哈尔;亨尼·B·西普玛。;张婷 2 2007 阵列的决定因素是什么？ Zbl 1176.68116号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 57 2006 高效的强关联多面体分析。 Zbl 1176.68051号 桑卡拉纳拉亚南，斯里拉姆;Colón，迈克尔·A。;亨尼·西普玛;曼娜，佐哈尔 13 2006 整数约束项代数的判定过程。 Zbl 1103.68080号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 5 2006 用于计算时间流逝运算符的定点迭代。 Zbl 1178.93053号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 1 2006 证明无限状态系统的ATL*属性。 Zbl 1168.68428号 马特奥·斯拉尼娜;亨尼·B·西普玛。;曼娜，佐哈尔 1 2006 使用数学编程对线性系统进行可扩展分析。 Zbl 1111.68514号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 44 2005 具有可达性的线性排名。 Zbl 1081.68611号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 19 2005 多项式程序的终止。 Zbl 1111.68500号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 17 2005 整数线性回路的终止分析。 Zbl 1134.68343号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 13 2005 多等级原则。 Zbl 1081.68568号 亚伦·R·布拉德利。;曼娜，佐哈尔;亨尼·B·西普玛。 9 2005 收集运行时执行的统计信息。 Zbl 1083.68068号 伯恩德·芬克贝纳;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 4 2005 Knuth-Bendix阶一阶理论的可判定性。 Zbl 1135.03323号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 4 2005 事件模式反应式编程语言的表达完整性。 Zbl 1169.68355号 塞萨尔·桑切斯;斯莱尼娜，马蒂奥;亨尼·B·西普玛。;曼娜，佐哈尔 1 2005 事件模式反应式程序的最终语义。 Zbl 1151.68378号 塞萨尔·桑切斯;亨尼·B·西普玛。;斯莱尼娜，马蒂奥;曼娜，佐哈尔 1 2005 整数约束队列的决策过程。 Zbl 1172.68437号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 1 2005 基于Gröbner基的非线性循环不变量生成。 Zbl 1325.68071号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 44 2004 构造混合系统的不变量。 Zbl 1135.93322号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 18 2004 基于约束的线性关系分析。 Zbl 1104.68023号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;曼娜，佐哈尔 18 2004 使用交替自动机检查有限记录道。 Zbl 1073.68053号 伯恩德·芬克贝纳;亨尼·西普玛 10 2004 具有整数约束的递归数据结构的决策过程。 Zbl 1126.68585号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 6 2004 具有长度函数和有界量词交替的项代数。 Zbl 1099.68737号 张婷;亨尼·B·西普玛。;曼娜，佐哈尔 2 2004 使用非线性约束求解生成线性不变量。 Zbl 1278.68164号 Colón，迈克尔·A。;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 40 2003 使用不变量生成的Petri网分析。 Zbl 1274.68253号 桑卡拉纳拉亚南，斯里拉姆;亨尼·西普玛;曼娜，佐哈尔 4 2003 证明程序终止的实用方法。 Zbl 1010.68774号 Colón，迈克尔·A。;亨尼·B·西普玛。 15 2002 线性排序函数的合成。 Zbl 0978.68095号 Colón，迈克尔·A。;亨尼·B·西普玛。 25 2001 使用STeP对实时系统进行演绎验证。 Zbl 0954.68084号 北卡罗来纳州比约纳。;Z.曼纳。;希普玛，H.B。;乌里韦，T.E。 三 2001 为了安全起见，交替使用临时图片。 Zbl 0973.68141号 曼娜，佐哈尔;亨尼·B·西普玛。 三 2000 通过图表上的动态归纳法验证参数化系统。 Zbl 1046.68601号 曼娜，佐哈尔;亨尼·B·西普玛。 1 1999 广义时间验证图。 Zbl 1354.68171号 I.A.布朗。;Z.曼纳。;希普玛，H.B。 7 1995 所有引用出版物 前5名被引用出版物 全部的 前5名509位作者引用 9 迪帕克·卡普尔 9 詹乃军 7 桑卡拉纳拉亚南，斯里拉姆 6 西尔维奥·吉拉尔迪 6 吉尔根·吉斯尔 6 维奥里卡Sofrone-Stokkerman 6 埃纳州扎法内拉 5 吉安卢卡·阿马托 5 拜伦·库克 5 埃里克·古堡 5 曼娜，佐哈尔 5 乔尔·欧·瓦克宁。 5 安德烈·普拉泽 5 克里斯托夫·林盖森 5 赫尔穆特·塞德尔 5 亨尼·B·西普玛。 5 詹姆斯·沃雷尔。 5 杨正峰 4 阿萨勒阿杰 4 克拉克·W·巴雷特。 4 尼古拉·S·比约纳。 4 米歇尔·博雷尔 4 马克·布罗克施米特 4 穆纳乔·埃切宁 4 伯恩德·芬克贝纳 4 托马斯·马丁·高利察 4 拉杜·奥西夫 4 安迪·金 4 Kovács，Laura Ildikó 4 丹尼尔·科宁 4 维克多·昆卡 4 林，王 4 勒沃夫，M.S。 4 纳迪尔·马特林格 4 阿纳多·维埃拉·穆拉 4 拉希德·热比哈 4 恩里克·罗德里格斯-卡博内尔 4 阿尔伯特·鲁比奥 4 安德烈·里巴尔琴科 4 弗朗西丝卡·斯科扎里 4 夏碧灿 4 赵恒军 三 罗伯特·巴格纳拉 三 David A.Basin。 三 德克·贝尔 三 玛丽亚·保拉（Maria Paola Bonacina） 三 艾哈迈德·博阿贾尼 三 奥利维尔·布瓦索 三 亚历山大·查普托 三 Paula Chocron 三 Thao Dang先生 三 帕斯卡·方丹 三 戈兰·弗雷斯 三 圣埃芬·高伯特 三 萨米尔·根奈姆 三 阿尔贝托·格里乔 三 彼得·哈贝梅尔 三 瑞典雅各布斯 三 Joost-Pieter卡托恩 三 李毅 三 弗雷德·梅斯纳德 三 阿里·米莉 三 大卫·莫尼奥（David P.Monniaux）。 三 丹尼尔·奈德 三 阿尔伯特·奥利弗拉斯 三 奥德·帕顿 三 尼古拉斯·佩尔蒂埃 三 阿米尔·普努利 三 西尔维奥·兰伊斯 三 代表，Thomas W。 三 塞萨尔·桑切斯 三 亚萨米娜·塞拉吉 三 西蒙，阿克塞尔 三 安德鲁·索戈孔 三 莫西·亚亚科夫·瓦尔迪 三 王秋叶 三 吴敏 三 曾振兵 三 张志海 2 亚历山德罗·阿巴特 2 谢尔·亚哈龙 2 艾尔维拉·阿尔伯特 2 弗朗西斯科·阿尔贝蒂 2 本·阿姆拉姆，阿米尔·M。 2 克里斯蒂娜·博拉莱拉斯 2 马吕斯·博兹加 2 达里奥·卡塔鲁扎 2 陈丽倩 2 陈明帅 2 陈欣 2 克拉克（Edmund Melson jun Clarke）。 2 莱昂纳多·德·莫拉 2 西蒙·迪纳多·迪迈奥 2 丁左华 2 斯蒂芬·福克 2 弗洛里安·弗洛恩 2 卡斯滕·福斯 2 卡洛·阿尔贝托·福里亚 2 普拉纳夫加尔格 2 皮埃尔·洛伊奇·卡洛什 …还有409名作者 全部的 前5名引用于34个系列 25 系统设计中的形式化方法 19 自动推理杂志 15 理论计算机科学 12 符号计算杂志 9 信息与计算 7 计算的形式方面 6 系统科学与复杂性杂志 4 计算机程序设计科学 4 控制论与系统分析 三 信息学报 三 信息处理信件 三 数学与人工智能年鉴 三 高阶和符号计算 三 ACM计算逻辑事务 三 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 工程中的数学问题 2 计算系统理论 2 美国医学会杂志 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 计算机语言、系统和结构 2 计算机科学中的数学 2 非线性分析。混合动力系统 1 倒排索引综述 1 Automatica公司 1 计算机与系统科学杂志 1 机器学习 1 数学编程。A系列B系列 1 计算机基础理论 1 科学中国。信息科学 1 中国计算机科学前沿 1 计算机科学前沿 1 Modelirovanie i Analiz信息系统 全部的 前5名19个领域引用 256 计算机科学（68至XX） 56 数学逻辑和基础（03-XX） 22 运筹学、数学编程（90-XX） 21 系统论；控制（93至XX） 11 数值分析（65-XX） 5 常微分方程（34-XX） 4 交换代数（13-XX） 4 凸和离散几何（52-XX） 2 数论（11-XX） 2 代数几何（14-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 动力学系统与遍历理论（37至XX） 2 算子理论（47-XX） 2 生物学和其他自然科学（92-XX） 1 偏微分方程（35-XX） 1 近似值和展开值（41至XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文