大卫·萨法内克
人员信息
优化列表
2020年–今天
2023 [公元17年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 翁德雷伊·胡瓦尔 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
布尔网络草图:逻辑模型推理的统一框架。 生物信息。 39 ( 4 ) ( 2023 ) [公元16年] 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
部分指定布尔网络的临时和永久控制。 生物晶体。 223 : 104795 ( 2023 ) [公元15年] 马特杰·特罗亚克 , 大卫·萨法内克 , 塞缪尔·帕斯特瓦 , 卢博斯·布里姆 :
使用规则重写对生物系统进行基于规则的建模。 生物晶体。 225 : 104843 ( 2023 ) [公元49年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
部分指定布尔网络的表型控制。 CMSB公司 2023 : 18-35 2022 [公元14年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 翁德雷伊·胡瓦尔 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
py:Python库,用于异步布尔网络中的吸引子分析。 生物信息。 38 ( 21 ) : 4978-4980 ( 2022 ) [j13] 尼古拉·贝内斯 , 卢博斯·布里姆 , 雅库布·卡德莱卡 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
探索布尔网络中的吸引子分支。 BMC生物信息。 23 ( 1 ) : 173 ( 2022 ) [公元12年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于BDD的边色图SCC分解算法。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [公元11年] 塔贾娜·彼得罗夫 , 马特杰·哈纳尔 , 朱莉娅·克莱恩 , 大卫·萨法内克 , 摩根·努维亚语 :
从种群数据中提取个体特征揭示了蜜蜂防御过程中的负面社会效应。 公共科学图书馆计算。 生物。 18 ( 9 ) : 1010305 ( 2022 ) [公元48年] 马特杰·特罗亚克 , 大卫·萨法内克 , 布拉尼斯拉夫·布罗兹曼 , 卢博斯·布里姆 :
eBCSgen 2.0:基于规则的监管系统建模与分析。 CMSB公司 2022 : 302-309 [i11] 马特杰·特罗亚克 , 大卫·萨法内克 , 卢博斯·布里姆 :
生物化学空间语言与多集重写系统的关系。 CoRR公司 abs/2201.08817 ( 2022 ) [i10] 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
部分指定布尔网络的鲁棒控制。 CoRR公司 abs/2202.13440 ( 2022 ) 2021 [公元47年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
使用过渡引导减少以符号方式计算底层SCC。 CAV(1) 2021 : 505-528 [公元46年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
Aeon 2021:布尔网络中的分歧决策树。 CMSB公司 2021 : 230-237 [c45] 马特杰·哈纳尔 , 大卫·萨法内克 , 塔贾娜·彼得罗夫 :
DiPS:基于多属性规范的马尔可夫链数据信息参数合成工具。 重铬酸钾 2021 : 79-95 [公元44年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
符号彩色SCC分解。 TACAS(2) 2021 : 64-83 [第九章] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于BDD的边色图SCC分解算法。 CoRR公司 abs/2108.13113 ( 2021 ) [i8] 马特杰·特罗亚克 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 卢博斯·布里姆 :
受控多集重写系统。 CoRR公司 abs/2111.13036 ( 2021 ) 2020 [公元10年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
互联网拥塞控制协议的数字分叉分析。 国际法学分会。 混乱 30 ( 13 ) : 2030038:1-2030038:18 ( 2020 ) [公元9年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
混合CTL的并行参数综合算法。 科学。 计算。 程序。 185 ( 2020 ) [公元43年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 雅库布·卡德莱卡 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
AEON:参数化布尔网络的吸引子分叉分析。 CAV(1) 2020 : 569-581 [公元42年] 伊娃·斯米亚科娃 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 卢博斯·布里姆 :
基于混合CTL规范的多仿射混合系统并行参数综合。 CMSB公司 2020 : 280-297 [公元41年] 马特杰·特罗亚克 , 大卫·萨法内克 , 卢克·梅托娃 , 卢博斯·布里姆 :
eBCSgen:生物化学空间语言的软件工具。 CMSB公司 2020 : 356-361 [公元40年] 马特杰·特罗亚克 , 大卫·萨法内克 , 卢克·梅托娃 , 卢博斯·布里姆 :
基于规则模型的参数综合与鲁棒性分析。 非金融市场 2020 : 41-59 [公元39年] 马特杰·特罗亚克 , 大卫·萨法内克 , 卢博斯·布里姆 , 雅库布·萨拉戈维奇 , 简·塞文(Jan Cerven) :
用于生化系统规范和分析的可执行生化空间。 南非统计局 2020 : 91-116 [电子3] 吉多·桑吉内蒂 , 大卫·萨法内克 :
2018年SASB会议记录,第七届静态分析和系统生物学国际研讨会,爱丁堡大学,2016年9月7日。 理论计算机科学电子笔记 335, 爱思维尔 2020 [目录] [i7] 马特杰·特罗亚克 , 大卫·萨法内克 , 卢博斯·布里姆 :
用于生化系统规范和分析的可执行生化空间。 CoRR公司 abs/2002.00731 ( 2020 ) [i6] 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
参数化布尔网络的并行一步控制。 CoRR公司 abs/2009.00359 ( 2020 ) [i5] 苏珊娜·霍尔曼 , 安德烈亚斯·克雷默 , 斯佩拉·贝布勒 , 克里斯托夫·特雷福伊斯 , 克里斯蒂娜·格鲁登 , 威托尔德·鲁德尼基 , 威达通 , 亚历克桑德拉·格鲁卡 , 埃里克·邦卡姆·鲁德洛夫 , 克里斯·T·A·伊芙洛 , Alina S.Neccophrenko , 马库斯·弗罗姆 , 大卫·萨法内克 , 巴贝特登记员 , 多梅尼卡·德埃利亚 :
生命科学研究标准化的必要性——追求卓越和信任的途径。 F1000研究 9 : 1398 ( 2020 )
2010 – 2019
2019 [j8] 杰罗姆·费雷特 , 洛伊克·保列夫 , 大卫·萨法内克 :
前言。 西奥。 计算。 科学。 765 : 1-2 ( 2019 ) [j7] 尤拉杰·科拉克 , 大卫·萨法内克 , 斯特凡·哈尔 , 洛伊克·保列夫 :
离散调控网络的参数空间抽象和展开语义。 西奥。 计算。 科学。 765 : 120-144 ( 2019 ) [公元38年] 大卫·萨法内克 , 马特杰·特罗亚克 , Vojtech布鲁扎 , Tomás Vejpustek公司 , 扬·帕普塞克 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , Ales Pejznoch公司 , 卢博斯·布里姆 :
Parasim中STL*的野蛮稳健监测。 CMSB公司 2019 : 356-359 [公元37年] 马特杰·哈纳尔 , 摩根·努维亚语 , 塔贾娜·彼得罗夫 , 大卫·萨法内克 :
人口马尔可夫链的数据信息参数综合。 CMSB公司 2019 : 383-386 [公元36年] 马特杰·哈纳尔 , 摩根·努维亚语 , 大卫·萨法内克 , 塔贾娜·彼得罗夫 :
人口马尔可夫链的数据信息参数综合。 高速缓冲存储器 2019 : 147-164 [公元35年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 贾娜·德拉扎诺娃 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于δ-可判定SMT的非线性动力系统的面抽象。 高速列车控制中心 2019 : 99-108 [公元34年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 雅库布·波拉切克 , 大卫·萨法内克 :
参数化布尔网络中定性长期行为的形式化分析。 ICFEM公司 2019 : 353-369 [公元33年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·盖利特卡 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
使用半代数约束加速参数综合。 国际单项体育联合会 2019 : 27-45 [公元32年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
TCP动力学的数字分岔分析。 TACAS(2) 2019 : 339-356 [第1页] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
生物系统分析的模型检验方法。 系统生物学和医学的自动推理 2019 : 3-35 2018 [公元31年] 吉多·桑吉内蒂 , 大卫·萨法内克 :
前言。 南非统计局 2018 : 1-2 [公元30年] 尤拉杰·科拉克 , 大卫·萨法内克 , 斯特凡·哈尔 , 洛伊克·保列夫 :
参数化布尔网络的展开。 南非统计局 2018 : 67-90 [电子2] 米兰塞斯卡 , 大卫·萨法内克 :
系统生物学中的计算方法——第16届国际会议,CMSB 2018,捷克共和国布尔诺,2018年9月12日至14日,会议记录。 计算机科学课堂讲稿 11095, 施普林格 2018 ,国际标准图书编号 978-3-319-99428-4 [目录] [i4] 尤拉杰·科拉克 , 大卫·萨法内克 , 斯特凡·哈尔 , 洛伊克·保列夫 :
离散调控网络的参数空间抽象和展开语义。 CoRR公司 abs/1803.06157 ( 2018 ) 2017 [公元29年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
Pithya:用于分段多仿射动力学系统参数合成的并行工具。 CAV(1) 2017 : 591-598 [公元28年] 吉里·巴纳特 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 马特杰·哈纳尔 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
参数不确定生物模型中吸引子的检测。 CMSB公司 2017 : 40-56 2016 [公元27年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于并行SMT的参数综合及其在分段多仿射系统中的应用。 ATVA公司 2016 : 192-208 [公元26年] 马丁·德姆科 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
生物模型的高性能符号参数合成:案例研究。 CMSB公司 2016 : 82-97 [公元25年] 马特杰·特罗亚克 , 大卫·萨法内克 , 雅库布·拉贝克 , 雅库布·萨拉戈维奇 , 弗朗蒂斯卡·罗曼诺夫斯克 , 简·塞文(Jan Cerven) :
E-Cyanobacterium.org:基于网络的蓝藻系统生物学平台。 CMSB公司 2016 : 316-322 [公元24年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
离散分岔分析的一种模型检验方法。 FM公司 2016 : 85-101 【c23】 马特杰·哈纳尔 , 大卫·萨法内克 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , Pavel Krejcí , 卢博斯·布里姆 :
信号通路瞬态和持续行为的建模和分析。 高速缓冲存储器 2016 : 57-66 2015 [公元22年] 卢博斯·布里姆 , 米兰塞斯卡 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
通过并行彩色CTL模型检查进行参数合成。 CMSB公司 2015 : 251-263 【c21】 卢博斯·布里姆 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
分段仿射动力系统的高性能离散分岔分析。 高速缓冲存储器 2015 : 58-74 [公元20年] T.德德 , 大卫·萨法内克 , 马特杰·特罗亚克 , 马特杰·克莱门特 , 雅库布·萨拉戈维奇 , 卢博斯·布里姆 :
Kappa和BNGL中具有语义的形式化生物化学空间。 南非统计局 2015 : 27-49 [电子1] 亚历山德罗·阿巴特 , 大卫·萨法内克 :
混合系统生物学-第四次国际研讨会,HSB 2015,马德里,西班牙,2015年9月4-5日。 修订论文集。 计算机科学课堂讲稿 9271, 施普林格 2015 ,国际标准图书编号 978-3-319-26915-3 [目录] 2014 [j6] 卢博斯·布里姆 , 彼得·德卢霍斯 , 大卫·萨法内克 , 托马斯·韦杰普斯特克 :
STL公司 ⁎ :使用信号值冻结运算符扩展信号时序逻辑。 Inf.计算。 236 : 52-67 ( 2014 ) [第19条] 卢博斯·布里姆 , 尤拉杰·尼兹南 , 大卫·萨法内克 :
基于规则模型的光合作用动力学紧凑表示。 南非统计局 2014 : 17-27 [第18条] 马特杰·克莱门特 , T.德德 , 大卫·萨法内克 , 简·塞文(Jan Cerven) , 斯特凡·米勒 , 拉尔夫·斯图尔 :
生物化学空间:生物模型的系统注释框架。 CS2Bio公司 2014 : 31-44 [i3] 卢博斯·布里姆 , 尤拉杰·尼兹南 , 大卫·萨法内克 :
基于规则模型的光合作用动力学紧凑表示(完整版)。 CoRR公司 abs/1410.3632 ( 2014 ) 2013 [第17条] 卢博斯·布里姆 , 维勒姆·德德 , 大卫·萨法内克 :
光系统定性建模与分析II。 BioPPN@Petri公司 网络 2013 : 17-29 [第16条] 卢博斯·布里姆 , 米兰塞斯卡 , 斯文·德拉赞 , 大卫·萨法内克 :
用定量模型检验探索随机生化系统的参数空间。 腔静脉 2013 : 107-123 [第15条] 卢博斯·布里姆 , 米兰塞斯卡 , 大卫·萨法内克 :
生物系统的模型检验。 SFM公司 2013 : 63-112 [第14条] 卢博斯·布里姆 , 托马斯·韦杰普斯特克 , 大卫·萨法内克 , 贾娜·法布里科娃 :
值冻结信号时序逻辑的鲁棒性分析。 高速缓冲存储器 2013 : 20-36 [第13条] 马特杰·克莱门特 , 大卫·萨法内克 , T.德德 , Ales Pejznoch公司 , 拉迪斯拉夫·内德巴尔 , 拉尔夫·斯图尔 , 简·塞文(Jan Cerven) , 斯特凡·米勒 :
一个基于Web的领域特定生物模型综合平台。 CS2Bio公司 2013 : 61-67 [i2] 卢博斯·布里姆 , 米兰塞斯卡 , 斯文·德拉赞 , 大卫·萨法内克 :
概率模型检验在随机生化系统鲁棒性分析中的应用。 CoRR公司 abs/1310.4734 ( 2013 ) 2012 [j5] 吉里·巴纳特 , 卢博斯·布里姆 , 亚当·克雷奇 , 亚当·斯特雷克 , 大卫·萨法内克 , 马丁·维纳 , 托马斯·韦杰普斯特克 :
关于并行模型检验的参数综合。 IEEE ACM传输。 计算。 生物信息。 9 ( 三 ) : 693-705 ( 2012 ) 【j4】 卢博斯·布里姆 , 贾娜·法布里科娃 , 斯文·德拉赞 , 大卫·萨法内克 :
生物化学动力系统的近似可达性分析。 事务处理。 公司。 系统。 生物 14 : 77-101 ( 2012 ) [第12条] 汉内斯·克拉纳 , 亚当·斯特雷克 , 大卫·萨法内克 , 尤拉杰·科拉克 , 海克·西伯特 :
托马斯网络的参数识别和模型排序。 CMSB公司 2012 : 207-226 [第11条] 彼得·德卢霍斯 , 卢博斯·布里姆 , 大卫·萨法内克 :
关于振荡动力学的表达和监测。 高速缓冲存储器 2012 : 73-87 [第10条] S.Van Goethem公司 , Jean-Marie Jacquet女士 , 卢博斯·布里姆 , 大卫·萨法内克 :
任意精确表达离散化基因网络的时间建模。 CS2Bio公司 2012 : 67-81 2011 [j3] 大卫·萨法内克 , 简·塞文(Jan Cerven) , 马特杰·克莱门特 , 贾娜·波西西洛娃 , 卢博斯·布里姆 , 杜桑·拉扎尔 , 拉迪斯拉夫·内德巴尔 :
电子光合作用:基于网络的复杂光合作用过程建模平台。 生物晶体。 103 ( 2 ) : 115-124 ( 2011 ) 【c9】 卢博斯·布里姆 , 贾娜·法布里科娃 , 斯文·德拉赞 , 大卫·萨法内克 :
定量离散逼近在生化动力学系统中的可达性(扩展摘要)。 CompMod公司 2011 : 97-112 [i1] 卢博斯·布里姆 , 贾娜·法布里科娃 , 斯文·德拉赞 , 大卫·萨法内克 :
定量离散逼近在生化动力学系统中的可达性。 CoRR公司 abs/1107.5924 ( 2011 ) 2010 [注2] 吉里·巴纳特 , 卢博斯·布里姆 , 大卫·萨法内克 :
使用DiVinE模型检查器进行生物系统动力学的高性能分析。 生物信息简报。 11 ( 三 ) : 301-312 ( 2010 )
2000 – 2009
2009 [j1] 吉里·巴纳特 , 卢博斯·布里姆 , 伊万娜·塞拉 , 斯文·德拉赞 , 贾娜·法布里科娃 , 大卫·萨法内克 :
通过LTL模型检查对转录调控进行算法分析。 西奥。 计算。 科学。 410 ( 33-34 ) : 3128-3148 ( 2009 ) 【c8】 吉里·巴纳特 , 卢博斯·布里姆 , 伊万娜·塞拉 , 斯文·德拉赞 , 贾娜·法布里科娃 , 扬·兰尼克 , 大卫·萨法内克 , 马洪武 :
BioDiVinE:生物模型并行分析框架。 COMPMOD公司 2009 : 31-45 2007 【c7】 吉里·巴纳特 , 卢博斯·布里姆 , 伊万娜·塞拉 , 斯文·德拉赞 , 大卫·萨法内克 :
用DiVinE对大规模遗传调控网络进行并行模型检验。 CONCUR的FBTC 2007 : 35-50 2006 【c6】 亚历斯·斯姆卡 , Vojtech Rehák公司 , 托马斯·沃纳尔 , 大卫·萨法内克 , 彼得·马图塞克 , Z.Rehák先生 :
验证SMV中具有多个时钟的VHDL设计。 FMICS/PDMC系统 2006 : 148-164 [c5] 大卫·萨法内克 :
视觉协调网络中的体系结构互操作性检查。 联合组织/ MTCoord@协调 2006 : 81-96 2005 【c4】 大卫·萨法内克 , 吉里·西姆萨 :
VCD:异构软件体系结构规范的可视化形式主义。 SOFSEM公司 2005 : 320-329 2004 【c3】 大卫·萨法内克 :
具有异构协调模型的系统的可视化规范。 FOCLASA公司 2004 : 107-121 2003 【c2】 大卫·萨法内克 :
并发系统的可视化规范。 ASE公司 2003 : 369-372 2002 【c1】 大卫·萨法内克 :
SGCCS:实时协调的图形语言。 FOCLASA公司 2002 : 389-404