×
编辑配置文件（在新选项卡中打开）

萨夫拉内克，大卫

合著者距离
作者ID： 藏红花“萨夫拉内克，大卫”最近发表的zbMATH文章
发布日期： 萨夫拉内克，大卫;萨夫拉内克，D。;⑩afránek，大卫
已编制索引的文档： 28出版物自2005年以来，包括1额外的arXiv预印本
4作为编辑的贡献
合著者： 31位合著者具有32联合出版物
441位合作作者
全部的 前5名

合著者

0 单作者的
25 卢博什·布里姆
14 塞缪尔·帕斯特瓦
11 尼古拉·贝内什
4 马丁·德姆科
4 斯文·德拉赞
4 特罗亚克（Troják，Matej）
三 吉里巴纳特
三 科什卡，米兰
三 洛伊奇·波列维
2 伊万娜·乔纳
2 贾纳·法布里科娃
2 斯特凡·哈尔
2 马特杰·哈伊纳尔
2 尤拉杰·科尔查克
2 萨拉戈维奇，雅库布
2 伊娃·什米亚科娃
1 亚历山德罗·阿巴特
1 布拉尼斯拉夫·布罗兹曼
1 乔尔文，简
1 DěD，T。
1 德卢霍什，P。
1 贾纳，德拉日阿诺娃
1 杰罗姆·费雷特
1 贾库布·卡德莱卡
1 克莱门特，M。
1 巴维尔·克里奇
1 梅尔托瓦，卢凯西亚
1 尼日南，J。
1 吉多·桑吉内蒂
1 Šimša，Jiř
1 Vejpustek，T。
全部的 前5名

系列

三 理论计算机科学
2 计算机科学课堂讲稿
1 信息与计算
1 国际应用科学与工程分叉与混沌杂志
1 理论计算机科学电子笔记
1 计算机科学中的逻辑方法
全部的 前5名

领域

24 生物学和其他自然科学（92-XX）
17 计算机科学（68至XX）
4 总体主题；集合（00-XX）
4 动力系统和遍历理论（37至XX）
4 系统论；控制（93至XX）
三 数学逻辑和基础（03-XX）
2 组合数学（05-XX）
1 常微分方程（34-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

16出版物有被引用46中的次31文件 引用人▼ 年份▼
AEON：参数化布尔网络的吸引子分岔分析。 Zbl 1478.68085号
尼古拉·贝内什;卢博什·布里姆;贾库布·卡德莱卡;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
9
2020
STL*：使用信号值冻结运算符扩展信号时序逻辑。 Zbl 1311.68085号
布里姆，L。;德卢霍什，P。;萨夫拉内克，D。;Vejpustek，T。
6
2014
使用DiVinE检查大规模基因调控网络的并行模型。 Zbl 1279.68194号
J.巴纳特。;布里姆，L。;乔纳，I。;德拉赞，S。;萨夫拉内克，D。
4
2008
在参数不确定的生物模型中检测吸引子。 兹比尔1416.92068
JiříBarnat;尼古拉·贝内什;卢博什·布里姆;马丁·德姆科;马特杰·哈伊纳尔;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
4
2017
基于可判定SMT的非线性动力系统的面抽象。 Zbl 07120145号
尼古拉·贝内什;卢博什·布里姆;贾纳，德拉日阿诺娃;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
4
2019
离散分岔分析的模型检验方法。 兹比尔1427.68159
尼古拉·贝内什;卢博什·布里姆;马丁·德姆科;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
三
2016
分段仿射动力系统的高性能离散分岔分析。 Zbl 1412.92115号
卢博什·布里姆;马丁·德姆科;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
三
2015
通过基于规则的模型紧凑地表示光合作用动力学。 Zbl 1352.92095号
布里姆，L。;尼日南，J。;萨夫拉内克，D。
2
2015
使用过渡引导约简符号计算底部SCC。 Zbl 1493.68240号
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
2
2021
生物系统的模型检查。 Zbl 1380.92024号
卢博什·布里姆;科什卡，米兰;萨夫拉内克，大卫
2
2013
符号彩色SCC分解。 Zbl 1474.68210号
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
2
2021
参数布尔网络的展开。 Zbl 1529.92019年9月
尤拉杰·科尔查克;萨夫拉内克，大卫;Stefan哈尔;洛伊奇·波列维
1
2018
Kappa和BNGL中具有语义的形式化生化空间。 Zbl 1401.92076号
DěD，T。;萨夫拉内克，D。;特罗亚克，M。;克莱门特，M。;什阿拉戈维奇，J。;布里姆，L。
1
2016
eBCSgen：生化空间语言的软件工具。 Zbl 1506.92039号
特罗亚克（Troják，Matej）;萨夫拉内克，大卫;卢克雷西亚梅尔托娃;卢博什·布里姆
1
2020
离散调控网络的参数空间抽象和展开语义。 兹比尔1423.68313
尤拉杰·科尔查克;萨夫拉内克，大卫;斯特凡·哈尔;洛伊奇·波列维
1
2019
基于BDD的边色图SCC分解算法。 Zbl 07566051号
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
1
2022
基于BDD的边色图SCC分解算法。 Zbl 07566051号
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
1
2022
使用过渡引导归约象征性地计算底部SCC。 Zbl 1493.68240号
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
2
2021
符号彩色SCC分解。 Zbl 1474.68210号
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
2
2021
AEON：参数化布尔网络的吸引子分岔分析。 Zbl 1478.68085号
尼古拉·贝内什;卢博什·布里姆;贾库布·卡德莱卡;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
9
2020
eBCSgen：生化空间语言的软件工具。 Zbl 1506.92039号
特罗亚克（Troják，Matej）;萨夫拉内克，大卫;卢克雷西亚梅尔托娃;卢博什·布里姆
1
2020
基于可判定SMT的非线性动力系统的面抽象。 Zbl 07120145号
尼古拉·贝内什;卢博什·布里姆;贾纳，德拉日阿诺娃;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
4
2019
离散调控网络的参数空间抽象和展开语义。 Zbl 1423.68313号
尤拉杰·科尔查克;萨夫拉内克，大卫;Stefan哈尔;洛伊奇·波列维
1
2019
参数布尔网络的展开。 Zbl 1529.92019年9月
尤拉杰·科尔查克;萨夫拉内克，大卫;斯特凡·哈尔;洛伊奇·波列维
1
2018
在参数不确定的生物模型中检测吸引子。 Zbl 1416.92068号
JiříBarnat;尼古拉·贝内什;卢博什·布里姆;马丁·德姆科;马特杰·哈伊纳尔;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
4
2017
离散分岔分析的模型检验方法。 兹比尔1427.68159
尼古拉·贝内什;卢博什·布里姆;马丁·德姆科;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
三
2016
Kappa和BNGL中具有语义的形式化生化空间。 Zbl 1401.92076号
DěD，T。;萨夫拉内克，D。;特罗亚克，M。;克莱门特，M。;什阿拉戈维奇，J。;布里姆，L。
1
2016
分段仿射动力系统的高性能离散分岔分析。 Zbl 1412.92115号
卢博什·布里姆;马丁·德姆科;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
三
2015
通过基于规则的模型紧凑地表示光合作用动力学。 Zbl 1352.92095号
布里姆，L。;尼日南，J。;萨夫拉内克，D。
2
2015
STL*：使用信号值冻结运算符扩展信号时序逻辑。 Zbl 1311.68085号
布里姆，L。;德卢霍什，P。;萨夫拉内克，D。;Vejpustek，T。
6
2014
生物系统的模型检查。 Zbl 1380.92024号
卢博什·布里姆;科什卡，米兰;萨夫拉内克，大卫
2
2013
使用DiVinE检查大规模基因调控网络的并行模型。 Zbl 1279.68194号
J.巴纳特。;布里姆，L。;乔纳，I。;德拉赞，S。;萨夫拉内克，D。
4
2008
所有引用出版物 前5名被引用出版物
全部的 前5名

82位作者引用

12 萨夫拉内克，大卫
11 卢博什·布里姆
8 塞缪尔·帕斯特瓦
6 尼古拉·贝内什
三 洛伊奇·波列维
三 特罗亚克（Troják，Matej）
2 德容、希德
2 埃斯特尔·杜马斯
2 拉杜·格罗苏
2 拉杜·马特埃斯库
2 佩德罗·蒙泰罗。
2 萨拉戈维奇，雅库布
2 安德烈·范丁
1 JiříBarnat
1 埃齐奥·巴托西
1 本·塔尔，阿隆娜
1 尼古拉·贝尔尼尼
1 米哈伊尔·贝萨
1 塞巴斯蒂安·比沃
1 布拉尼斯拉夫·布罗兹曼
1 伊万娜·乔纳
1 乔尔文，简
1 柴新伟
1 牧场克利夫兰
1 赫莱内·科拉维扎
1 Jean-Paul彗星
1 DěD，T。
1 雷米·德尔马
1 Jyotirmoy V.德斯穆赫。
1 雷娜·迪米特洛娃
1 斯文·德拉赞
1 斯特凡·埃尔马瑟勒
1 贾纳·法布里科娃
1 弗拉维奥·芬顿。
1 迈克尔·弗里斯
1 莎拉·爱丽丝·加格尔
1 马西耶·加兹达。
1 莱蒂蒂亚·吉巴特
1 金，亚瑟
1 埃里克·古堡
1 斯特凡·哈尔
1 马特杰·哈伊纳尔
1 弗雷德里克·海因茨
1 托马斯·海因策。
1 霍尔格·赫尔曼斯
1 井上，胜美
1 伊斯兰，马里兰州Ariful
1 Jakšić，斯特凡
1 安东尼奥·吉梅内斯·帕斯特
1 保罗·L·琼斯。
1 克莱门特，M。
1 尤拉杰·科尔查克
1 Jean-Marie拉格尼茨
1 亚历山大·勒吉扎蒙·罗巴约
1 玛丽亚·康塞桑·莱特。
1 马加尼亚·洛佩兹，古斯塔沃
1 摩根·马根
1 鲁帕克·马朱姆达尔
1 穆罕默德·雷扎·穆萨维
1 德扬·尼科维奇
1 约阿希姆·尼伦
1 尼日南，J。
1 罗曼·佩内克
1 佩雷斯·维罗纳，伊莎贝尔·克里斯蒂娜
1 Vinayak S.普拉布。
1 Sylvie推杆
1 托尼·里贝罗
1 萨拉·里瓦
1 Olivier F.鲁克斯。
1 多米尼克·鲁索瓦克
1 弗朗索瓦·西利昂。
1 伊娃·什米亚科娃
1 斯科特·斯莫尔卡。
1 老虎，马蒂亚斯
1 伊丽莎·托内洛
1 Tribastone，微型
1 米尔科·特里巴斯通
1 Tschaikowski，马克斯
1 阿瑟纳伊斯，阴道
1 克里斯蒂安·维萨里
1 约翰·彼得·沃纳
1 王云娇
全部的 前5名

6篇连载文章中引用

6 理论计算机科学
2 系统设计中的形式化方法
2 计算机科学中的逻辑方法
1 国际近似推理杂志
1 国际应用科学与工程分叉与混沌杂志
1 差分方程与应用杂志
全部的 前5名

11个领域引用

20 生物学和其他自然科学（92-XX）
15 计算机科学（68至XX）
5 系统论；控制（93至XX）
4 数学逻辑和基础（03-XX）
三 信息与通信理论、电路（94-XX）
2 常微分方程（34-XX）
1 组合数学（05-XX）
1 阶、格、有序代数结构（06-XX）
1 线性代数和多线性代数；矩阵理论（15-XX）
1 差分和函数方程（39至XX）
1 概率论与随机过程（60-XX）

按年份列出的引文