×
作者ID: 彼得罗夫·塔贾纳“Petrov,Tatjana”最近发表的zbMATH文章
发布日期: 塔贾纳·彼得罗夫
外部链接: ORCID公司
已编制索引的文档: 21出版物自1986年起
2作为编辑的贡献
合著者: 22合著者具有20联合出版物
515合著作者

按年份列出的出版物

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名

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位作者

按年份列出的引文