编辑配置文件（在新选项卡中打开） 米尔科·贾科布 合著者距离 作者ID： 贾科贝·米尔科 发布日期： 米尔科，贾科贝 已编制索引的文档： 11出版物自2015年起 合著者： 21位合著者具有11联合出版物 959位合作作者 全部的 前5名合著者 0 单一作者 7 托马斯·亨辛格（Thomas A.Henzinger）。 三 亚历山德罗·阿巴特 三 戈兰弗雷斯 2 塞尔吉·博戈莫洛夫 2 猜猜，柯林·C。 2 阿什图什·古普塔 2 提亚哥，派克斯昂 2 塔贾纳·彼得罗夫 1 丹尼尔·艾哈迈德 1 拉杰夫·阿鲁尔 1 亚历克·爱德华兹 1 高玉龙 1 Frank J.姜。 1 卡尔·亨利克·约翰逊 1 孔慧 1 马蒂亚斯·莱切纳 1 马吕斯·米库西奥尼斯 1 安德里亚·佩鲁福 1 罗伊，迪帕尔科 1 谢丽华 1 埃纳州扎法内拉 系列 1 信息学报 1 IEEE自动控制汇刊 领域 8 计算机科学（68至XX） 5 系统理论；控制（93至XX） 2 生物学和其他自然科学（92-XX） 1 数学逻辑和基础（03-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用23中的次20文件 引用人▼ 年份▼ 模板多面体的反例引导细化。 Zbl 1452.68099号 塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。 7 2017 量化你的神经网络需要多少比特？ Zbl 1483.68192号 米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;马蒂亚斯·莱切纳 4 2020 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布;猜猜，柯林·C。;阿舒托什古普塔;托马斯·亨辛格（Thomas A.Henzinger）。;提亚哥，派克斯昂;佩特罗夫，塔贾纳 4 2015 用于系统设计和分析的连续时间模型。 Zbl 1485.93204号 拉杰夫·阿鲁尔;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;Larsen，Kim G。;马吕斯·米库奇奥尼斯 2 2019 学习概率终止证明。 Zbl 1493.68095号 亚历山德罗·阿巴特;米尔科·贾科布;罗伊，迪帕尔科 2 2021 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布;盖特，Călin C。;阿什图什·古普塔;托马斯·亨辛格（Thomas A.Henzinger）。;提亚哥，派克斯昂;塔贾纳·彼得罗夫 2 2017 混合系统的圆锥抽象。 Zbl 1497.93109号 塞尔吉·博戈莫洛夫;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;孔慧 1 2017 时空插值。 Zbl 1511.68155号 戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。 1 2018 学习概率终止证明。 Zbl 1493.68095号 亚历山德罗·阿巴特;米尔科·贾科布;罗伊，迪帕尔科 2 2021 量化你的神经网络需要多少比特？ 兹比尔1483.68192 米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;马蒂亚斯·莱奇纳 4 2020 用于系统设计和分析的连续时间模型。 Zbl 1485.93204号 拉杰夫·阿鲁尔;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;Larsen，Kim G。;马吕斯·米库奇奥尼斯 2 2019 时空插值。 Zbl 1511.68155号 戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。 1 2018 模板多面体的反例引导细化。 Zbl 1452.68099号 波戈莫洛夫，谢尔盖;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。 7 2017 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布;猜猜，柯林·C。;阿什图什·古普塔;托马斯·亨辛格（Thomas A.Henzinger）。;提亚哥，派克斯昂;塔贾纳·彼得罗夫 2 2017 混合系统的圆锥抽象。 Zbl 1497.93109号 塞尔吉·博戈莫洛夫;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。;孔慧 1 2017 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布;盖特，Călin C。;阿什图什·古普塔;托马斯·亨辛格（Thomas A.Henzinger）。;Paixão，蒂亚戈;塔贾纳·彼得罗夫 4 2015 所有引用出版物 前5名被引用出版物 全部的 前5名80位作者引用 2 亚历山德罗·阿巴特 2 尼古拉·贝内什 2 卢博什 2 戈兰·弗雷斯 2 米尔科·贾科布 2 阿什图什·古普塔 2 塞缪尔·帕斯特瓦 2 萨夫拉内克，大卫 1 阿文德·阿迪穆兰 1 马蒂亚斯·阿尔霍夫 1 盖伊·埃米尔 1 斯坦利·巴克 1 鲍嘉璐 1 马雷克·巴拉诺夫斯基 1 克拉克·W·巴雷特。 1 斯蒂芬·贝克尔。 1 本·萨西，穆罕默德·阿明 1 吉尔斯·伯诺 1 尼克·贝扎尼什维利 1 阿纳布·巴塔查里亚 1 塞尔吉·博戈莫洛夫 1 达里奥·卡塔鲁扎 1 陈广科 1 陈、陶璐 1 文森佐·西安西亚 1 Jean-Paul彗星 1 凯瑟琳·科德威尔 1 马塞洛·福雷茨 1 大卫·加伯里亚 1 吉安卢卡·格里莱蒂 1 杰西卡·格伦斯基。 1 猜猜，柯林·C。 1 何绍波 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 贾斯汀·徐 1 奥马尔·因弗索 1 卡茨，盖伊 1 哈里斯，Z。 1 萨尔夫拉兹·库希德 1 Kochdumper，尼克拉斯 1 丹尼尔·科宁 1 拉克希曼·库普萨米 1 迭戈·拉特拉 1 阿波法兹·拉瓦伊 1 马蒂亚斯·莱切纳 1 索米亚·马尼 1 梅克·马西克 1 斯特凡·米奇 1 提亚哥，派克斯昂 1 德拉什蒂·巴沙克 1 塔贾纳·彼得罗夫 1 安德烈·普拉泽 1 安德烈亚斯·波德尔斯基 1 兹沃尼米尔·拉卡马里奇 1 理查德·阿德里安 1 Olivier F.鲁克斯。 1 罗伊，苏巴吉特 1 因德拉尼尔·萨哈 1 桑卡拉纳拉亚南，斯里拉姆 1 克里斯蒂安·席林 1 彼得·施拉梅尔 1 安吉特·舒克拉 1 斯特拉·西米奇 1 安德鲁·索戈孔 1 大卫·索洛维奇克 1 宋，傅 1 萨代赫·苏贾尼 1 曼达扬·K·斯利瓦斯。 1 Tan，Yong Kiam先生 1 Thanh Son Nguyen先生 1 穆昆德·塔泰 1 米尔科·特里巴斯通 1 奈特什·特里维迪 1 马尔科·瓦西奇 1 马克·韦兹林格 1 吴浩泽 1 扎法内拉，埃纳 1 马吉德·扎马尼 1 张业迪 1 赵哲 全部的 前5名引用于7个系列 2 信息学报 2 系统设计中的形式化方法 1 自动化 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 16 计算机科学（68至XX） 5 生物学和其他自然科学（92-XX） 5 系统理论；控制（93至XX） 2 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 按年份列出的引文