编辑配置文件（在新选项卡中打开） 希勒尔·库格勒 合著者距离 作者ID： 库格勒·希勒尔 发布日期： 希勒尔·库格勒 已编制索引的文档： 13出版物自2001年起 1进一步贡献 合著者： 22合著者具有13联合出版物 276位合作作者 全部的 前5名合著者 0 单作者的 8 大卫·哈雷尔 5 阿米尔·普努利 2 米歇尔·阿鲁夫·梅迪纳 2 哈伯德，E.简·阿尔伯特 2 拉米·马雷利 2 阿夫拉罕·拉维夫 2 迈克尔·斯特恩。 1 尼古拉·S·比约纳。 1 伊夫·邦坦普斯 1 Eliya Bronshtein 1 皮埃尔·菲利佩·库姆斯 1 莱昂纳多·德·莫拉 1 犹大州戈德费德 1 尤塞夫·哈马迪 1 卡姆，娜曼 1 科尔滕·蒂尔 1 丹尼尔·科宁 1 卢、袁 1 沙哈尔·茂兹 1 Dan V.jun尼古拉。 1 安德鲁·菲利普斯 1 Reginiano，或 1 意大利塞格尔 1 斯特里赫曼（Ofer Strichman） 1 Christoph M.温特斯泰格。 1 博扬·约丹诺夫 系列 1 国际计算机科学基础杂志 1 理论计算机科学课文。EATCS系列 领域 13 计算机科学（68至XX） 三 生物学和其他自然科学（92-XX） 2 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用52次35文件 引用人▼ 年份▼ 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 20 2016 行为要求的智能播放。 Zbl 1019.68622号 大卫·哈雷尔;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利 10 2002 根据LSC规范合成基于状态的对象系统。 Zbl 1066.68017号 大卫·哈雷尔;希勒尔·库格勒 10 2002 重温综合：根据基于场景的需求生成状态图模型。 Zbl 1075.68614号 大卫·哈雷尔;希勒尔·库格勒;阿米尔·普努利 9 2005 基于场景的规范的时间逻辑。 Zbl 1087.68596号 希勒尔·库格勒;大卫·哈雷尔;阿米尔·普努利;卢、袁;伊夫·邦坦普斯 8 2005 秀丽线虫发育的形式化建模：基于场景的方法。 兹比尔1053.92034 卡姆，娜曼;大卫·哈雷尔;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利;哈伯德，E.简·阿尔伯特;迈克尔·斯特恩。 7 2003 大规模DNA链置换电路的功能分析。 Zbl 1409.68112号 博扬·约丹诺夫;Christoph M.温特斯泰格。;尤塞夫·哈马迪;安德鲁·菲利普斯;希勒尔·库格勒 4 2013 根据LSC规范综合基于状态的对象系统。 Zbl 0989.68087号 大卫·哈雷尔;希勒尔·库格勒 2 2001 使用实时序列图和播放引擎工具对电信应用程序进行建模和验证。 Zbl 1170.68510号 皮埃尔·库姆斯;大卫·哈雷尔;希勒尔·库格勒 1 2005 基于网络的生物计算电路的形式语义和验证。 Zbl 1472.68057号 米歇尔·阿鲁夫·梅迪纳;科尔滕·蒂尔;阿夫拉罕·拉维夫;Dan V.jun尼古拉。;希勒尔·库格勒 1 2021 基于网络的生物计算电路的形式语义和验证。 Zbl 1472.68057号 米歇尔·阿鲁夫·梅迪纳;科尔滕·蒂尔;阿夫拉罕·拉维夫;Dan V.jun尼古拉。;希勒尔·库格勒 1 2021 决策程序。算法观点。第二版。 Zbl 1358.68002号 丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 20 2016 大规模DNA链置换电路的功能分析。 Zbl 1409.68112号 博扬·约丹诺夫;Christoph M.温特斯泰格。;尤塞夫·哈马迪;安德鲁·菲利普斯;希勒尔·库格勒 4 2013 重新审视综合：从基于场景的需求生成状态图模型。 Zbl 1075.68614号 大卫·哈雷尔;希勒尔·库格勒;阿米尔·普努利 9 2005 基于场景的规范的时间逻辑。 Zbl 1087.68596号 希勒尔·库格勒;大卫·哈雷尔;阿米尔·普努利;卢、袁;伊夫·邦坦普斯 8 2005 使用实时序列图和播放引擎工具对电信应用程序进行建模和验证。 Zbl 1170.68510号 皮埃尔·库姆斯;大卫·哈雷尔;希勒尔·库格勒 1 2005 秀丽线虫发育的形式化建模：基于场景的方法。 Zbl 1053.92034号 Na Kam；阿曼;大卫·哈雷尔;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利;哈伯德·E·简·艾伯特;迈克尔·斯特恩。 7 2003 行为要求的智能播放。 Zbl 1019.68622号 大卫·哈雷尔;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利 10 2002 根据LSC规范合成基于状态的对象系统。 Zbl 1066.68017号 大卫·哈雷尔;希勒尔·库格勒 10 2002 根据LSC规范综合基于状态的对象系统。 Zbl 0989.68087号 大卫·哈雷尔;希勒尔·库格勒 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名94位作者引用 6 大卫·哈雷尔 三 沙哈尔·茂兹 2 法哈德·阿尔巴 2 克里斯特尔·拜尔 2 科恩（Irun R.Cohen）。 2 阿米尔·坎特 2 拉胡尔·库马尔 2 马修·拉金。 2 埃里克·默瑟。 2 Rasmus Lerchedahl彼得森 2 安德鲁·菲利普斯 2 意大利塞格尔 2 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 米歇尔·阿鲁夫·梅迪纳 1 希拉·阿米尔·克罗尔 1 加尔阿姆拉姆 1 桑迪·巴拉格 1 伊夫·邦坦普斯 1 维克托·布拉伯曼 1 安妮特·邦克 1 尤里·切比里亚克 1 亚历山德罗·西马蒂 1 尼尔·达尔肖 1 达姆，沃纳 1 亚历山大·戴维 1 Hidde德容 1 格温娜·德拉瓦尔 1 德塞尔，约格 1 拉奇达·德索利 1 埃斯特尔·杜马斯 1 索尔·埃夫罗尼 1 里克·埃舒伊斯 1 德克·法兰德 1 冯磊 1 贾斯敏·费希尔 1 迭戈·加伯维斯基 1 布莱斯·基内斯特 1 罗伯塔·戈里 1 阿尔贝托·格里乔 1 利奥波德·哈勒 1 杰斯珀·亨利克森。 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 尼科拉·基西洛夫 1 费利克斯·克鲁·尼亚克 1 索尔马·科拉希 1 科尔滕·蒂尔 1 丹尼尔·科宁 1 希勒尔·库格勒 1 K.Narayan Kumar 1 金·古德斯特兰·拉森 1 弗朗西丝卡·列维 1 李书豪 1 埃尔文·马尔坎德 1 玛丽亚·马泰斯库 1 拉杜·马特埃斯库 1 孙孟 1 拉比·米佐尼 1 佩德罗·蒙泰罗。 1 丹尼尔·蒙特维尔德 1 塞尔吉奥·莫弗 1 马达瓦恩·穆昆德 1 尼尔·墨菲 1 安卡·穆斯科尔 1 Dan V.jun尼古拉。 1 布莱恩·尼尔森 1 弗莱明·尼尔森 1 阿尔弗雷多·奥利维罗 1 罗伯托·帕塞罗内 1 亨利克·皮利加德 1 活塞，或 1 尼尔·皮特曼 1 普辛斯卡斯，Saulius 1 阿夫拉罕·拉维夫 1 汉内·里斯·尼尔森 1 马可·罗维里 1 埃里克·鲁顿 1 阿维塔尔·萨多特 1 内达·赛德洛伊 1 阿齐兹·萨拉赫 1 Alberto L.Sangiovanni-Vincentelli。 1 皮埃尔·伊夫·肖本斯 1 赫尔穆特·塞德尔 1 雅基·塞蒂 1 达科·斯特凡诺维奇 1 孙孟 1 娜玛·斯威德林 1 斯特凡诺·托内塔 1 约翰·范·本特姆。 1 Wil M.P.范德阿尔斯特。 1 van Dongen，Boudewijn F。 1 托马斯·沃尔 1 沃尔特·默里（Walter Murray），沃纳姆（Wonham） 1 博扬·约丹诺夫 1 马克·泽顿 全部的 前5名10篇连载文章中引用 5 理论计算机科学 三 信息与计算 三 系统设计中的形式化方法 2 计算机与系统科学杂志 2 计算的形式方面 1 计算机程序设计科学 1 离散事件动态系统 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 全部的 前5名在7个字段中引用 33 计算机科学（68至XX） 7 生物学和其他自然科学（92-XX） 三 数学逻辑和基础（03-XX） 三 系统论；控制（93至XX） 2 运筹学、数学规划（90-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文