编辑配置文件(在新选项卡中打开) 米尔科·贾科布 合著者距离 作者ID: 贾科贝·米尔科 发布日期: 米尔科·贾科布 已编制索引的文档: 11出版物自2015年以来 合著者: 21位合著者具有11联合出版物 952位合作作者 全部的 前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 统计学(62-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用23中的次20文件 引用人▼ 年份▼ 模板多面体的反例引导细化。 Zbl 1452.68099号 塞尔吉·博戈莫洛夫;戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 7 2017 量化你的神经网络需要多少比特? 兹比尔1483.68192 米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;马蒂亚斯·莱切纳 4 2020 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 4 2015 学习概率终止证明。 Zbl 1493.68095号 亚历山德罗·阿巴特;米尔科·贾科布;罗伊,迪帕尔科 2 2021 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 2 2017 用于系统设计和分析的连续时间模型。 Zbl 1485.93204号 拉杰夫·阿鲁尔;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;Larsen,Kim G。;马吕斯·米库奇奥尼斯 2 2019 时空插值。 Zbl 1511.68155号 戈兰·弗雷斯;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。 1 2018 混合系统的锥形抽象。 Zbl 1497.93109号 塞尔吉·博戈莫洛夫;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;孔慧 1 2017 学习概率终止证明。 Zbl 1493.68095号 亚历山德罗·阿巴特;米尔科·贾科布;罗伊,迪帕尔科 2 2021 量化你的神经网络需要多少比特? Zbl 1483.68192号 米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;马蒂亚斯·莱切纳 4 2020 用于系统设计和分析的连续时间模型。 Zbl 1485.93204号 拉杰夫·阿鲁尔;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;Larsen,Kim G。;马吕斯·米库奇奥尼斯 2 2019 时空插值。 兹比尔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。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 4 2015 所有引用的出版物 前5名被引用出版物 全部的 前5名80位作者引用 2 亚历山德罗·阿巴特 2 尼古拉·贝内什 2 卢博什·布里姆 2 戈兰·弗雷斯 2 米尔科·贾科布 2 阿什图什·古普塔 2 塞缪尔·帕斯特瓦 2 Šafránek,大卫 1 阿文德·阿迪穆兰 1 马蒂亚斯·阿尔霍夫 1 盖伊·埃米尔 1 斯坦利·巴克 1 鲍嘉璐 1 马雷克·巴拉诺夫斯基 1 克拉克·W·巴雷特。 1 斯蒂芬·贝克尔。 1 本·萨西,穆罕默德·阿明 1 吉尔斯·伯诺 1 尼克·贝扎尼什维利 1 阿纳布·巴塔查里亚 1 塞尔吉·博戈莫洛夫 1 达里奥·卡塔鲁扎 1 陈广科 1 陈、陶璐 1 文森佐·西安西亚 1 Jean-Paul彗星 1 凯瑟琳·科德威尔 1 马塞洛·福雷茨 1 Gabelaia,大卫 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 Automatica公司 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 17 计算机科学(68至XX) 5 生物学和其他自然科学(92-XX) 4 系统论;控制(93至XX) 2 数理逻辑与基础(03-XX) 2 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 按年份列出的引文