编辑配置文件(在新选项卡中打开) 希勒尔·库格勒 合著者距离 作者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 里贾尼诺,或者 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) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 10出版物有被引用52中的次35文件 引用人▼ 年份▼ 决策程序。算法观点。第二版。 兹比尔1358.68002 丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 20 2016 根据LSC规范合成基于状态的对象系统。 Zbl 1066.68017号 大卫·哈雷;希勒尔·库格勒 10 2002 行为要求的智能播放。 Zbl 1019.68622号 大卫·哈雷;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利 10 2002 重温综合:根据基于场景的需求生成状态图模型。 Zbl 1075.68614号 大卫·哈雷;希勒尔·库格勒;阿米尔·普努利 9 2005 基于场景的规范的时间逻辑。 Zbl 1087.68596号 希勒尔·库格勒;大卫·哈雷;阿米尔·普努利;卢、袁;伊夫·邦坦普斯 8 2005 秀丽隐杆线虫发展的形式化建模:一种基于场景的方法。 Zbl 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号 Aluf Medina,米歇尔;科尔滕·蒂尔;阿夫拉罕·拉维夫;Dan V.jun尼古拉。;希勒尔·库格勒 1 2021 决策程序。算法观点。第二版。 兹比尔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 根据LSC规范综合基于状态的对象系统。 Zbl 1066.68017号 大卫·哈雷;希勒尔·库格勒 10 2002 行为要求的智能播放。 Zbl 1019.68622号 大卫·哈雷;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利 10 2002 根据LSC规范合成基于状态的对象系统。 Zbl 0989.68087号 大卫·哈雷;希勒尔·库格勒 2 2001 所有引用出版物 排名前五的出版物 全部的 前5名94位作者引用 6 大卫·哈雷 三 沙哈尔·茂兹 2 法哈德·阿尔巴 2 克里斯特尔·拜尔 2 科恩(Irun R.Cohen)。 2 阿米尔·坎特 2 拉胡尔·库马尔 2 马修·拉金。 2 埃里克·默瑟。 2 Rasmus Lerchedahl彼得森 2 安德鲁·菲利普斯 2 意大利塞格尔 2 Thiagarajan、Pazhamaneri Subramaniam 1 米歇尔·阿鲁夫·梅迪纳 1 希拉·阿米尔·克罗尔 1 加尔阿姆拉姆 1 桑迪·巴拉格尔 1 伊夫·邦坦普斯 1 维克托·布拉伯曼 1 安妮特·邦克 1 尤里·切比里亚克 1 亚历山德罗·西马蒂 1 尼尔·达尔肖 1 达姆,沃纳 1 亚历山大·戴维 1 德容、希德 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 普辛斯卡斯·索利乌斯·普辛斯卡斯 1 阿夫拉罕·拉维夫 1 汉内·里斯·尼尔森 1 马可·罗维里 1 埃里克·鲁滕 1 阿维塔尔·萨多特 1 内达·赛德洛伊 1 阿齐兹·萨拉赫 1 Alberto L.Sangiovanni-Vincentelli。 1 皮埃尔·伊夫·肖本斯 1 赫尔穆特·塞德尔 1 雅基·塞蒂 1 达科·斯特凡诺维奇 1 孙孟 1 娜玛·斯威德林 1 斯特凡诺·托内塔 1 van Benthem,Johan F.A.K。 1 范德阿尔斯特。 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) 按年份列出的引文