编辑配置文件(在新选项卡中打开) 塔贾纳·彼得罗夫 合著者距离 作者ID: 彼得罗夫·塔贾纳 发布日期: 塔贾纳·彼得罗夫 外部链接: ORCID公司 已编制索引的文档: 21出版物自1986年起 2作为编辑的贡献 合著者: 22合著者具有20联合出版物 515合著作者 全部的 前5名合著者 2 单作者的 8 托马斯·亨辛格(Thomas A.Henzinger)。 6 亨氏Koeppl 5 猜猜,柯林·C。 三 Daca,Przemysław公司 三 杰罗姆·费雷特 三 简·Křetínsk 2 安德烈亚·贝卡 2 阿纳布·甘古利 2 米尔科·贾科布 2 阿什图什·古普塔 2 克劳迪娅·伊格勒 2 提亚哥,派克斯昂 2 阿里·塞兹金 2 斯特凡诺·托纳齐 1 亚历山德罗·阿巴特 1 巴沃尔·博克斯 1 费迪南达·坎波西 1 伯恩哈德·盖革(Bernhard C.Geiger)。 1 朱莉娅·克莱恩 1 戈诺·库宾 1 丹尼斯·雷宾 1 维雷娜·沃尔夫 全部的 前5名系列 2 理论计算机科学 1 信息学报 1 Godishnik na Vishite Uchebni Zavedeniya。Tekhnicheska Mekhanika公司 1 数学生物学杂志 1 IEEE自动控制汇刊 1 信息与计算 1 扎格德尼娅·德甘·尼利诺维奇 1 ACM计算逻辑汇刊 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 复杂网络杂志 全部的 前5名领域 16 生物学和其他自然科学(92-XX) 9 计算机科学(68至XX) 4 概率论与随机过程(60-XX) 2 总体主题;集合(00-XX) 2 粒子和系统力学(70-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 常微分方程(34-XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用66中的次50份文件 引用人▼ 年份▼ 基于规则的系统的可集中性抽象。 Zbl 1267.68153号 杰罗姆·费雷特;托马斯·亨辛格;亨氏Koeppl;塔贾纳·彼得罗夫 19 2012 马尔可夫链之间的线性距离。 Zbl 1392.68293号 Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;Krětínsk,Jan;塔贾纳·彼得罗夫 9 2016 合并模型简化。 Zbl 1342.68077号 费迪南达·坎波西;杰罗姆·费雷特;亨氏Koeppl;塔贾纳·彼得罗夫 7 2010 通过对规则集进行静态检查,有效简化Kappa模型。 Zbl 1412.92075号 安德烈亚·贝卡;Calin C.盖特。;塔贾纳·彼得罗夫 5 2015 马尔可夫链聚合及其在组合反应网络中的应用。 Zbl 1300.60089号 阿纳布·甘古利;塔贾纳·彼得罗夫;亨氏Koeppl 4 2014 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 4 2015 更快的统计模型检查无界时间属性。 Zbl 1420.68123号 Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;简·Křetínsk;塔贾纳·彼得罗夫 4 2016 更快的统计模型检查无界时间属性。 Zbl 1367.68188号 Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;简·Křetínsk;塔贾纳·彼得罗夫 4 2017 通过信息瓶颈实现最优Kullback-Leibler聚合。 Zbl 1360.94153号 伯恩哈德·盖革(Bernhard C.Geiger)。;塔贾纳·彼得罗夫;格诺·库宾;亨氏Koeppl 三 2015 随机化学反应网络的自动深度抽象。 Zbl 1518.68341号 丹尼斯·雷宾;塔贾纳·彼得罗夫 2 2021 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 2 2017 作为代理-视图自动机组合的信令的随机语义。 Zbl 1291.92066号 亨氏Koeppl;塔贾纳·彼得罗夫 1 2011 基因调控中的瞬时记忆。 Zbl 1422.92044号 Calin,猜猜;托马斯·亨辛格(Thomas A.Henzinger)。;克劳迪娅·伊格勒;塔贾纳·彼得罗夫;阿里·塞兹金 1 2019 加速DNA反应可以减缓瞬时基因表达。 Zbl 1506.92023号 巴沃尔·博克斯;朱莉娅·克莱恩;塔贾纳·彼得罗夫 1 2020 随机化学反应网络的自动深度抽象。 Zbl 1518.68341号 丹尼斯·雷宾;塔贾纳·彼得罗夫 2 2021 加速DNA反应可以减缓瞬时基因表达。 Zbl 1506.92023号 巴沃尔·博克斯;朱莉娅·克莱恩;塔贾纳·彼得罗夫 1 2020 基因调控中的瞬时记忆。 Zbl 1422.92044号 Calin,猜猜;托马斯·亨辛格(Thomas A.Henzinger)。;克劳迪娅·伊格勒;塔贾纳·彼得罗夫;阿里·塞兹金 1 2019 更快的统计模型检查无界时间属性。 Zbl 1367.68188号 Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;简·Křetínsk;塔贾纳·彼得罗夫 4 2017 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 2 2017 马尔可夫链之间的线性距离。 Zbl 1392.68293号 Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;Krětínsk,Jan;塔贾纳·彼得罗夫 9 2016 更快的统计模型检查无界时间属性。 Zbl 1420.68123号 Daca,Przemysław公司;托马斯·亨辛格(Thomas A.Henzinger)。;简·Křetínsk;塔贾纳·彼得罗夫 4 2016 通过对规则集进行静态检查,有效简化Kappa模型。 Zbl 1412.92075号 安德烈亚·贝卡;Calin C.盖特。;塔贾纳·彼得罗夫 5 2015 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 4 2015 通过信息瓶颈实现最优Kullback-Leibler聚合。 Zbl 1360.94153号 伯恩哈德·盖革(Bernhard C.Geiger)。;塔贾纳·彼得罗夫;戈诺·库宾;亨氏Koeppl 三 2015 马尔可夫链聚合及其在组合反应网络中的应用。 Zbl 1300.60089号 阿纳布·甘古利;塔贾纳·彼得罗夫;亨氏Koeppl 4 2014 基于规则的系统的可集中性抽象。 Zbl 1267.68153号 杰罗姆·费雷特;托马斯·亨辛格;亨氏Koeppl;塔贾纳·彼得罗夫 19 2012 作为代理-视图自动机组合的信令的随机语义。 Zbl 1291.92066号 亨氏Koeppl;塔贾纳·彼得罗夫 1 2011 合并模型简化。 Zbl 1342.68077号 费迪南达·坎波西;杰罗姆·费雷特;亨氏Koeppl;塔贾纳·彼得罗夫 7 2010 所有引用出版物 前5名被引用出版物 全部的 前5名114位作者引用 9 塔贾纳·彼得罗夫 5 亨氏Koeppl 5 西蒙·蒂尼 4 杰罗姆·费雷特 4 安德烈·范丁 三 卢博什·布里姆 三 瓦伦蒂娜·卡斯蒂格利奥尼 三 文森特·达诺斯 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 简·Křetínsk 三 萨夫拉内克,大卫 三 米尔科·特里巴斯通 三 马克斯·柴科夫斯基 2 尼古拉·贝内什 2 卢卡·卡德利 2 马克西姆·科尔迪 2 甘古利,阿纳布 2 伊利亚斯·加尼尔 2 猜猜,柯林·C。 2 阿什图什·古普塔 2 拉诺特、拉格罗 2 Legay、Axel 2 马西莫·梅罗 2 迈克,帕帕达基斯 2 塞缪尔·帕斯特瓦 1 亚历山德罗·阿巴特 1 查塔尼亚·阿加瓦尔 1 拉杰夫·阿鲁尔 1 爱迪生·F·阿鲁达。 1 阿纳布·奥迪 1 克里斯特尔·拜尔 1 苏古曼·班萨尔 1 奥斯伯特·巴斯塔尼 1 尼古拉斯·贝尔 1 安德烈亚·贝卡 1 吉尔斯·伯诺 1 阿纳布·巴塔查里亚 1 卞、高昂 1 卢卡·博托卢西 1 马里恩·巴菲特 1 达米安·巴斯托·加斯顿 1 弗朗西丝卡·凯罗利 1 费迪南达·坎波西 1 基内夫拉·卡博尼 1 阿尔贝托·卡萨格兰德 1 查克拉波蒂,德布拉吉 1 米罗斯拉夫·乔迪尔 1 Jean-Paul彗星 1 贾斯珀·德·博克 1 伊丽莎维塔·德米特拉基 1 Aurélien的点心 1 威廉·S·德威特三世 1 扬·狄瑟 1 朱莉娅·艾森特罗 1 亚历山大·埃雷杰斯 1 珍·冯 1 Fokianos,Konstantinos公司 1 马塞洛·杜特拉·弗拉戈索 1 弗里德,罗兰 1 弗洛里安·芬克 1 Daniel E.Gebler。 1 米尔科·贾科布 1 克里斯蒂安·格雷斯 1 什巴希斯·古哈 1 里卡多·霍诺拉托·齐梅尔 1 克劳迪娅·伊格勒 1 西蒙·詹奇 1 塞巴斯蒂安贾拉米洛·里维里 1 安东尼奥·吉梅内斯·帕斯特 1 基绍尔州佐提穆鲁甘 1 Edon Kelmendi 1 哈里斯,Z。 1 尤里·塞梅诺维奇·卡林 1 瓦西乌尔·库达布赫什。 1 萨尔夫拉兹·库希德 1 安东尼·库塞拉 1 拉克希曼·库普萨米 1 萨米人拉兹雷格 1 亚历山大·勒吉扎蒙·罗巴约 1 米歇尔·洛雷蒂 1 索米亚·马尼 1 弗雷德里克·马特森(Frederick A.IV Matsen) 1 亚伦·麦凯纳 1 巴扎马莱穆鲁甘丹 1 奥雷连·纳尔迪 1 尼日南,J。 1 Ourique,Fabrício O。 1 提亚哥,派克斯昂 1 伊恩·皮特 1 卡拉广场 1 雅各布皮里鲍尔 1 Gleb A.波古丁。 1 奥维迪乌·拉杜列斯库 1 Jean-François拉斯金 1 丹尼斯·雷宾 1 安魂曲、Clément 1 理查德·阿德里安 1 Olivier F.鲁克斯。 1 阿里·塞兹金 1 安吉特·舒克拉 …和另外14位作者 全部的 前5名13篇连载文章中引用 8 理论计算机科学 4 信息与计算 2 信息学报 1 数学生物学杂志 1 Automatica公司 1 应用概率杂志 1 计算机与系统科学杂志 1 多元分析杂志 1 国际近似推理杂志 1 计算的形式方面 1 非线性科学与数值模拟中的通信 1 计算机科学中的逻辑方法 1 应用统计学年鉴 全部的 前5名在12个字段中引用 31 计算机科学(68至XX) 28 生物学和其他自然科学(92-XX) 9 概率论与随机过程(60-XX) 4 数学逻辑和基础(03-XX) 4 运筹学、数学规划(90-XX) 三 组合数学(05-XX) 三 常微分方程(34-XX) 三 统计学(62-XX) 2 系统论;控制(93至XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文