编辑配置文件(在新选项卡中打开) 尼古拉斯·哈尔巴赫斯 合著者距离 作者ID: 尼科拉斯哈尔布瓦茨 发布日期: 尼古拉斯·哈尔巴赫斯;Halbwachs,北卡罗来纳州。 外部链接: 管理程序 已编制索引的文档: 21出版物自1986年以来,包括1本书 2作为编辑的贡献 合著者: 28位合著者具有21联合出版物 555位合作作者 全部的 前5名合著者 2 单作者的 三 艾哈迈德·博阿贾尼 三 Jean-Claude费尔南德斯 2 雷米·波顿 2 保罗·卡斯皮 2 劳蕾·贡诺德 2 大卫·默沙特 2 克里斯托夫·拉特尔 1 拉杰夫·阿鲁尔 1 西瓦州巴格达迪 1 洛依茨贝斯纳德 1 帕特里夏·伯奈 1 科斯塔斯·库库贝蒂斯。 1 蒂埃里·戈蒂埃 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 Héry,J.-F。 1 何培欣 1 Fabienne Lagnier 1 Jean-Claude Laleuf 1 戴维·莱森斯 1 Nadjm-Tehrani,西明 1 泽维尔·尼克林 1 凯瑟琳·维古鲁父母 1 Doron A.Peled。 1 马蒂亚斯·佩隆 1 佩雷尔,瓦伦丁 1 丹尼尔·皮劳 1 安妮·雷苏切 1 Lenore D.扎克。 全部的 前5名系列 2 信息学报 2 理论计算机科学 2 计算机程序设计科学 2 系统设计中的形式化方法 2 计算机科学课堂讲稿 1 RAIRO公司。技术与科学信息 1 Kluwer国际工程与计算机科学系列 全部的 前5名领域 23 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 凸和离散几何(52至XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用325中的次305文件 引用人▼ 年份▼ 混合系统的算法分析。 Zbl 0874.68206号 阿鲁尔,R。;库库贝蒂斯,C。;Halbwachs,北卡罗来纳州。;亨廷格,T.A。;Ho、P.-H、。 212 1995 无功系统的同步编程。 Zbl 0828.68038号 尼古拉斯·哈尔巴赫斯 31 1993 在线性关系分析中结合加宽和加速。 Zbl 1225.68071号 劳蕾·贡诺德;尼古拉斯·哈尔巴赫斯 20 2006 参数化过程网络的自动验证。 Zbl 0973.68145号 Lesens,D。;Halbwachs,北卡罗来纳州。;雷蒙德,P。 15 2001 最小模型生成。 Zbl 0765.68114号 A.Bouajjani。;J.-C.费尔南德斯。;Halbwachs,北卡罗来纳州。 12 1991 在多面体计算中减少空间维数的一些方法。 Zbl 1105.68107号 Halbwachs,北卡罗来纳州。;D.默沙特。;L·贡诺德。 10 2006 通过模块化模型检查证明常规流程网络的经验。 兹比尔0790.68071 尼古拉斯·哈尔巴赫斯;Fabienne Lagnier;克里斯托夫·拉特尔 7 1992 最小状态图生成。 Zbl 0769.68090号 A.Bouajjani。;J.-C.费尔南德斯。;Halbwachs,北卡罗来纳州。;雷蒙德,P。;拉特尔,C。 三 1992 描述和推理计算系统时间行为的功能模型。 Zbl 0559.68001号 保罗·卡斯皮;尼古拉斯·哈尔巴赫斯 三 1986 一个抽象域,扩展了具有不等量约束的差分边界矩阵。 Zbl 1132.68464号 马蒂亚斯·佩隆;尼古拉斯·哈尔巴赫斯 2 2007 线性关系分析中多面体的笛卡尔分解。 Zbl 1067.68579号 尼古拉斯·哈尔巴赫斯;大卫·默沙特;凯瑟琳·维古鲁父母 2 2003 关于同步编程和抽象解释。 Zbl 0941.68008号 尼古拉斯·哈尔巴赫斯 1 1998 计算机辅助验证。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。 Zbl 0925.68015号 1 1999 通过超出递减序列的抽象解释改进程序分析结果。 Zbl 1425.68064号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2018 最小模型生成。 Zbl 0786.68056号 A.Bouajjani。;J.-C.费尔南德斯。;Halbwachs,北卡罗来纳州。 1 1991 阵列排列的分析。 Zbl 1273.68093号 佩雷尔,瓦伦丁;尼古拉斯·哈尔巴赫斯 1 2010 异步系统的同步建模。 Zbl 1027.68815号 尼古拉斯·哈尔巴赫斯;西瓦州巴格达迪 1 2002 从同步声明语言到处理多种形式时间的时序逻辑。 Zbl 0688.68022号 丹尼尔·皮劳;尼古拉斯·哈尔巴赫斯 1 1988 用于程序间分析的析取关系抽象解释。 Zbl 1522.68146号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2019 用于程序间分析的析取关系抽象解释。 Zbl 1522.68146号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2019 通过超出递减序列的抽象解释改进程序分析结果。 Zbl 1425.68064号 雷米·波顿;尼古拉斯·哈尔巴赫斯 1 2018 阵列排列的分析。 Zbl 1273.68093号 佩雷尔,瓦伦丁;尼古拉斯·哈尔巴赫斯 1 2010 一个抽象域,扩展了具有不等量约束的差分边界矩阵。 Zbl 1132.68464号 马蒂亚斯·佩隆;尼古拉斯·哈尔巴赫斯 2 2007 在线性关系分析中结合加宽和加速。 Zbl 1225.68071号 劳蕾·贡诺德;尼古拉斯·哈尔巴赫斯 20 2006 在多面体计算中减少空间维数的一些方法。 Zbl 1105.68107号 Halbwachs,北卡罗来纳州。;D.默沙特。;L·贡诺德。 10 2006 线性关系分析中多面体的笛卡尔分解。 Zbl 1067.68579号 尼古拉斯·哈尔巴赫斯;大卫·默沙特;凯瑟琳·维古鲁父母 2 2003 异步系统的同步建模。 Zbl 1027.68815号 尼古拉斯·哈尔巴赫斯;西瓦州巴格达迪 1 2002 参数化过程网络的自动验证。 Zbl 0973.68145号 Lesens,D。;Halbwachs,北卡罗来纳州。;雷蒙德,P。 15 2001 计算机辅助验证。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。 Zbl 0925.68015号 1 1999 关于同步编程和抽象解释。 Zbl 0941.68008号 尼古拉斯·哈尔巴赫斯 1 1998 混合系统的算法分析。 Zbl 0874.68206号 阿鲁尔,R。;库库贝蒂斯,C。;Halbwachs,北卡罗来纳州。;亨廷格,T.A。;Ho、P.-H、。 212 1995 无功系统的同步编程。 Zbl 0828.68038号 尼古拉斯·哈尔巴赫斯 31 1993 通过模块化模型检查证明常规流程网络的经验。 兹比尔0790.68071 尼古拉斯·哈尔巴赫斯;Fabienne Lagnier;克里斯托夫·拉特尔 7 1992 最小状态图生成。 Zbl 0769.68090号 A.Bouajjani。;J.-C.费尔南德斯。;Halbwachs,北卡罗来纳州。;雷蒙德,P。;拉特尔,C。 三 1992 最小模型生成。 Zbl 0765.68114号 A.Bouajjani。;J.-C.费尔南德斯。;Halbwachs,北卡罗来纳州。 12 1991 最小模型生成。 Zbl 0786.68056号 A.Bouajjani。;J.-C.费尔南德斯。;Halbwachs,北卡罗来纳州。 1 1991 从同步声明语言到处理多种形式时间的时序逻辑。 Zbl 0688.68022号 丹尼尔·皮劳;尼古拉斯·哈尔巴赫斯 1 1988 描述和推理计算系统时间行为的功能模型。 Zbl 0559.68001号 保罗·卡斯皮;尼古拉斯·哈尔巴赫斯 三 1986 所有引用出版物 前5名被引用出版物 全部的 前5名602位作者引用 8 托马斯·亨辛格(Thomas A.Henzinger)。 7 詹乃军 6 拉杰夫·阿鲁尔 6 奥德·马勒 5 托马斯·布里海耶 5 乔治·帕帕斯。 5 卡拉广场 5 阿米尔·普努利 5 阿尔贝托,Policriti 5 帕维特拉·普拉巴卡 5 纳西姆·拉姆达尼 5 彼得·施拉梅尔 4 尤金·亚萨林 4 阿尔伯特·本文尼斯特 4 奥利维尔·布瓦索 4 奥利维尔·伯内兹 4 帕特里夏·鲍耶 4 Thao Dang先生 4 拉杜·格罗苏 4 尼古拉斯·哈尔巴赫斯 4 彼得·科普克(Peter W.Kopke)。 4 约瑟夫·西法基斯 4 瓦茨奎兹,卡洛斯·雷纳托 4 马赫什·维斯瓦纳坦 4 塞尔吉奥·尤文 4 埃纳州扎法内拉 三 哈萨内·阿拉 三 贝拉德,贝特里奇 三 文森特·德·布隆德尔。 三 艾哈迈德·博阿贾尼 三 贝努伊特Caillaud 三 安托万·吉拉德 三 戈梅斯·古铁雷斯(David Gomez-Gutiérrez) 三 谢尔盖,哈达德 三 Joost-Pieter卡托恩 三 利迪亚·卡夫拉基。 三 丹尼尔·科宁 三 奥尔纳·库普弗曼 三 弗雷德里克·朗 三 金·古德斯特兰·拉森 三 Legay、Axel 三 李宣东 三 莱姆,迪迪埃 三 林,王 三 Maria Chiara Meo女士 三 奥利维尔·H·鲁克斯。 三 安东内拉·桑托内 三 西蒙·蒂尼 三 斯塔夫罗斯·特里帕基斯 三 约翰·齐齐克利斯(John N.Tsitsiklis)。 三 夏碧灿 三 薛、白 三 杨正峰 2 亚历山德罗·阿巴特 2 艾丽卡·阿尔布拉汉姆 2 华金·阿瓜多 2 吉安卢卡·阿马托 2 阿夫尼,盖伊 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 巴博萨、路易斯·索亚雷斯 2 贝恩德·贝克尔 2 萨德克·本萨勒姆 2 Jan A.Bergstra。 2 大卫·布雷索林 2 卜、雷 2 伊夫·坎多 2 阿尔贝托·卡萨格兰德 2 达里奥·卡塔鲁扎 2 亚历山大·查普托 2 陈明帅 2 Fabrice骑士 2 达姆,丹尼斯·雷内 2 Jennifer M.Davoren。 2 卢卡·德·阿尔法罗 2 迪·贝内代托,玛丽亚·多梅尼卡 2 西蒙·迪纳多·迪迈奥 2 亚历山德罗·迪安诺琴佐 2 阿戈斯蒂诺·多维尔 2 帕拉萨拉·斯里达尔·达吉拉拉 2 盖尔·杜勒鲁(Geir E.Dullerud)。 2 乌里·法伦贝格 2 埃琳娜·费斯曼 2 戈兰·弗雷斯 2 弗洛里安·弗洛恩 2 约翰·加拉赫(John P.Gallagher)。 2 甘婷 2 休伯特Garavel 2 萨拉·格拉达拉 2 什巴希斯·古哈 2 恩斯特·莫里茨·哈恩 2 何安平 2 霍尔格·赫尔曼斯 2 彼得·霍夫纳 2 弗兰乔·伊万契奇 2 贝特朗·珍妮特 2 卡尔·亨利克·约翰逊 2 Julius,A.阿贡 2 拉斐尔·荣格斯。 2 阿琼·卡普尔 2 尤尼特·凯斯滕 …还有502多名作者 全部的 前5名56篇连载文章被引用 40 理论计算机科学 19 信息与计算 17 系统设计中的形式化方法 14 非线性分析。混合动力系统 8 计算机与系统科学杂志 8 离散事件动态系统 8 逻辑与代数程序设计杂志 6 信息学报 5 Automatica公司 5 计算的形式方面 5 欧洲控制杂志 4 国际控制杂志 4 符号计算杂志 4 国际鲁棒非线性控制杂志 三 非线性分析。理论、方法和应用。系列A:理论与方法 三 纯逻辑与应用逻辑年鉴 三 实时系统 三 高阶和符号计算 三 程序设计中的逻辑和代数方法杂志 2 国际通用系统杂志 2 国际系统科学杂志 2 应用数学与计算 2 MSCS公司。计算机科学中的数学结构 2 逻辑程序设计理论与实践 2 应用数学杂志 2 国际系统科学杂志。系统与集成原理与应用 1 人工智能 1 计算机与数学及其应用 1 国际理论物理杂志 1 统计物理学杂志 1 模拟中的数学和计算机 1 软件。实践与经验 1 系统和控制信件 1 计算机程序设计科学 1 物理D 1 复杂性杂志 1 计算机科学与技术杂志 1 国际并行程序设计杂志 1 自动推理杂志 1 数学和计算机建模 1 分布式计算 1 符号逻辑公报 1 摩尔多瓦计算机科学杂志 1 工程中的数学问题 1 并行算法与应用 1 信号、图像和视频技术VLSI信号处理系统杂志 1 RAIRO公司。理论信息学及其应用 1 系统科学与复杂性杂志 1 萨达纳 1 计算机语言、系统和结构 1 ACM计算逻辑汇刊 1 计算机科学中的数学 1 科学中国。信息科学 1 数值代数、控制与优化 1 中国计算机科学前沿 1 计算机科学评论 全部的 前5名在25个字段中引用 248 计算机科学(68至XX) 92 系统论;控制(93至XX) 30 数学逻辑和基础(03-XX) 17 运筹学、数学规划(90-XX) 12 数值分析(65-XX) 8 常微分方程(34-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 生物学和其他自然科学(92-XX) 4 动力系统和遍历理论(37至XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 范畴理论;同调代数(18-XX) 2 总体主题;集合(00-XX) 2 变分法与最优控制;最优化(49至XX) 2 一般拓扑结构(54-XX) 2 概率论与随机过程(60-XX) 2 粒子和系统力学(70-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 结合环与代数(16-XX) 1 近似和展开(41至XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 1 相对论和引力理论(83-XX) 按年份列出的引文