默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

德拉甘·博斯纳奇

德拉甘·博什纳奇奇

>主页 >珀森斯

人员信息

unicode名称： 德拉甘·博什纳奇奇

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2403-05379
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-05379
萨洛姆·卡泽米尼亚,马克斯·乔斯顿,德拉甘·博斯纳奇,卡斯滕·马尔:
急性髓系白血病分类的自我监督多实例学习。 CoRR公司腹肌/2403.05379(2024)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/ShangBBHJKW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/ZhangBBHJKW19
Dan Zhang（丹·张）,德拉甘·博斯纳奇,马克·范登·布兰德,科尼莉斯·惠泽,雅各布施,鲁德·科伊伯,安东·威伊斯:
Java的依赖性安全-实现和测试故障框。科学。计算。程序。 184(2019)
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/cb/BosnackiRV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/cb/BosnackiRV19
德拉甘·博斯纳奇,纳塔尔·范·瑞尔,米特科·维塔:
组织病理学图像分析的卷积神经网络深度学习。系统生物学和医学的自动推理 2019:453-469
2018
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BosnackiW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BosnackiW18
德拉甘·博斯纳奇,安东·威伊斯:
模型检查：最近的改进和应用。国际期刊软件。技术工具。变压器。 20(5):493-497(2018)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/雅各布斯BK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/雅各布斯BK18
雅各布施,德拉甘·博斯纳奇,鲁德·科伊伯:
单线程和多线程程序的模块化终止验证。 ACM事务处理。程序。语言系统。 40(三):12:1-12:59(2018)
2017
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vcbm/ModenaDBEW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vcbm/ModenaDBEW17
丹妮拉·摩德纳,埃德蒙德·范迪克,德拉甘·博斯纳奇,Huub M.M.ten艾克尔德,米歇尔·韦斯坦伯格:
HIFUtk：高强度聚焦超声模拟的可视化分析。 VCBM公司 2017:73-82
2016
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/WijsKB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/WijsKB16
安东·威伊斯,Joost-Pieter Katoen公司,德拉甘·博斯纳奇:
高效的GPU算法，用于将图并行分解为强连通和最大端点分量。形式方法系统。设计。 48(三):274-300(2016)
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/BosnackiELW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/BosnackiELW16
德拉甘·博斯纳奇,斯特凡·埃德尔坎普,阿尔贝托·卢奇·拉富恩特,安东·威伊斯:
图形检查和穿越工程专题（GRAPHITE 2014）。科学。计算。程序。 130:1(2016)
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/WijsB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/WijsB16
安东·威伊斯,德拉甘·博斯纳奇:
使用GPU对安全属性进行多核飞行模型检查。国际期刊软件。技术工具。变压器。 18(2):169-185(2016)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/NeeleWBP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/NeeleWBP16
托马斯·内勒,安东·威伊斯,德拉甘·博斯纳奇,雅各·范德波尔:
用于GPU模型检查的部分订单缩减。 ATVA公司 2016:357-374
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/WijsNB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/WijsNB16
安东·威伊斯,托马斯·内勒,德拉甘·博斯纳奇:
GPUexplore 2.0：释放GPU显式状态模型检查。 FM公司 2016:694-701
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/modelsward/0002BBH0KW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/modelsward/0002BBH0KW16
Dan Zhang（丹·张）,德拉甘·博斯纳奇,马克·范登·布兰德,科尼莉斯·惠泽,雅各布施,鲁德·科伊伯,安东·威伊斯:
验证用于模型到代码转换的通用共享变量机制的原子性保持和死锁自由性。 MODELSWARD（修订论文集） 2016:249-273
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/modelsward/张BBHK0W16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/modelsward/ShangBBHK0W16
Dan Zhang（丹·张）,德拉甘·博斯纳奇,马克·范登布兰德,科尼莉斯·惠泽,鲁德·科伊伯,雅各布施,安东·威伊斯:
使用通用Java代码验证模型到代码转换中的原子性保持。 MODELSWARD公司 2016:578-588
[c36]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pppj/BosnackiBDH0KWW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pppj/BosnackiBDH0KWW16
德拉甘·博斯纳奇,马克·范登·布兰德,菲利普·丹尼森,科尼莉斯·惠泽,雅各布施,鲁德·科伊伯,安东·威伊斯,马西耶·威尔科夫斯基,Dan Zhang（丹·张）:
Java依赖性安全：实现故障箱。 PPPJ公司 2016:15:1-15:6
[电子6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/2016
德拉甘·博斯纳奇,安东·威伊斯:
模型检查软件——第23届国际研讨会，SPIN 2016，与ETAPS 2016联合举办，荷兰埃因霍温，2016年4月7日至8日，会议记录。计算机科学课堂讲稿9641,施普林格 2016，国际标准图书编号978-3-319-32581-1 [目录]
2015
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/JacobsBK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/JacobsBK15
雅各布施,德拉甘·博斯纳奇,鲁德·科伊伯:
模块化终端验证。 ECOOP公司 2015:664-688
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/BosnackiBG0KRWZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/BosnackiBG0KRWZ15
德拉甘·博斯纳奇,马克·范登·布兰德,乔斯特·加布里埃尔,雅各布施,鲁德·科伊伯,Sybren Roede公司,安东·威伊斯,Dan Zhang（丹·张）:
从DSL模型生成的线程并发可执行代码的模块化验证。传真 2015:141-160
[c33]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/BosnackiS15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/BosnackiS15
德拉甘·博斯纳奇,马克·谢弗:
部分降阶与多重代表的对称性。非金融市场 2015:97-111
2014
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/WijsKB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WijsKB14
安东·威伊斯,Joost-Pieter Katoen公司,德拉甘·博斯纳奇:
基于GPU的图分解为强连通和最大端点分量。 CAV汽车 2014:310-326
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictinnovations/BosnakiEMH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictinnovations/BosnakiEMH14
德拉甘·博斯纳奇,Hubertus M.M.ten艾克尔德,玛丽克·马安德斯,彼得·A·J·希尔伯斯:
线粒体遗传密码格雷码排列的稳健性。 ICT创新 2014:299-308
[公元30年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/models/ZhangBBEHKW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/models/ShangBBEHKW14
Dan Zhang（丹·张）,德拉甘·博斯纳奇,马克·范登·布兰德,吕克·恩格伦,会精角膜,鲁德·科伊伯,安东·威伊斯:
从并发状态机生成验证Java代码。 AMT@莫代尔斯 2014:64-69
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WijsB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WijsB14网址
安东·威伊斯,德拉甘·博斯纳奇:
GPU探索：使用GPU进行多核飞行状态空间探索。 TACAS公司 2014:233-247
[电子5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BosnackiELW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BosnackiELW14
德拉甘·博斯纳奇,斯特凡·埃德尔坎普,阿尔贝托·卢奇·拉富恩特,安东·威伊斯:
2014年4月5日，法国格勒诺布尔，GRAPHITE 2014，第三届石墨检测和遍历工程研讨会论文集。 EPTCS系统159,2014 [目录]
2013
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cuza/VinkZB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cuza/VinkZB13
埃里克·德文克,汉斯·赞特马,德拉甘·博斯纳奇:
结合插入和删除的RNA-编辑保持了规则性。科学。Ann.计算。科学。 23(1):39-73(2013)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jbcb/LigtenbergBH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jbcb/LigtenbergBH13
威廉·P·A·利滕贝格,德拉甘·博斯纳奇,彼得·A·J·希尔伯斯:
Reconne：用于探索和可视化反应体的细胞景观插件。 J.生物信息。计算。生物。 11(4)(2013)
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/WijsBE13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/WijsBE13
安东·威伊斯,德拉甘·博斯纳奇,斯特凡·埃德尔坎普:
2013年3月24日，意大利罗马，GRAPHITE 2013，第二届GRAPHI检验和导线工程研讨会论文集。 EPTCS系统138,2013 [目录]
2012
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/WijsB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/WijsB12
安东·威伊斯,德拉甘·博斯纳奇:
改进GPU稀疏矩阵向量乘法用于概率模型检查。自旋蛋白 2012:98-116
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1211-4092
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1211-4092
埃里克·德文克,汉斯·赞特马,德拉甘·博斯纳奇:
在RNA-editing中结合插入和删除保持了规则性。 MeCBIC公司 2012:48-62
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1210-6118
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-6118
安东·威伊斯,德拉甘·博斯纳奇,斯特凡·埃德尔坎普:
2012年4月1日，爱沙尼亚塔林，石墨2012，石墨检验和穿越工程第一次研讨会论文集。 EPTCS系统99,2012 [目录]
2011
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BosnackiESW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/BosnackiESW11
德拉甘·博斯纳奇,斯特凡·埃德尔坎普,达米安·苏列夫斯基,安东·威伊斯:
通用图形处理器上的并行概率模型检查。国际期刊软件。技术工具。变压器。 13(1):21-35(2011)
2010
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BosnackiE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BosnackiE10
德拉甘·博斯纳奇,斯特凡·埃德尔坎普:
模型检查软件：关于一些新波浪和一些常青树。国际期刊软件。技术工具。变压器。 12(2):89-95(2010)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/PesicBA10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/PesicBA10
马贾·佩西奇,德拉甘·博斯纳奇,Wil M.P.van der Aalst先生:
使用LTL制定声明性语言：避免错误并提高性能。自旋蛋白 2010:146-161

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/BosnackiEGP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/BosnackiEGP09
德拉甘·博斯纳奇,伊迪丝·埃尔金德,Blaise基因,多龙·A·贝利德:
基于交换性的边缘精益搜索。安。数学。Artif公司。智力。 56(2):187-210(2009)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BosnackiLL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BosnackiLL09
德拉甘·博斯纳奇,斯特凡·洛伊,阿尔贝托·卢奇·拉富恩特:
一般状态探索算法的部分降阶。国际期刊软件。技术工具。变压器。 11(1):39-51(2009)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcsb/BosnackiPV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcsb/BosnackiPV09
德拉甘·博斯纳奇,泰莎·E·普龙克,埃里克·德文克:
硅胶材质核糖体动力学和aa-tRNA竞争的建模与分析。事务处理。公司。系统。生物 11:69-89(2009)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dexaw/BergBH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dexaw/BergBH09
英格·范登伯格,德拉甘·博斯纳奇,彼得·A·J·希尔伯斯:
通过人类基因组挖掘进行小重复的大规模分析。 DEXA研讨会 2009:198-202
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dexaw/LigtenbergBH09型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dexaw/LigtenbergBH09
威廉·P·A·利滕贝格,德拉甘·博斯纳奇,彼得·A·J·希尔伯斯:
KEGG反应网络中最大频繁子图的挖掘。 DEXA研讨会 2009:213-217
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/BosnackiMU09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/BosnackiMU09
德拉甘·博斯纳奇,阿德·马蒂杰森,雅罗斯拉夫·乌森科:
I的行为分析²C Linux驱动程序。飞行管理信息系统 2009:205-206
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BosnackiES09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BosnackiES09
德拉甘·博斯纳奇,斯特凡·埃德尔坎普,达米安·苏列夫斯基:
通用图形处理器上的高效概率模型检查。自旋蛋白 2009:32-49
2008
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/bird/ZantemaWB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/bird/ZantemaWB08
汉斯·赞特马,斯特凡·瓦格曼斯,德拉甘·博斯纳奇:
通过最大项目集发现生物网络中的频繁子图。鸟 2008:303-317
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cmsb/BosnackiESV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmsb/BosnackiESV08
德拉甘·博斯纳奇,Huub M.M.ten艾克尔德,马文·斯泰贾尔特,埃里克·德文克:
蛋白质合成中氨基酸替代的随机分析。 CMSB公司 2008:367-386
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mochart/EdelkampSBWFA08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mochart/EdelkampSBWFA08
斯特凡·埃德尔坎普,维克多·舒潘,德拉甘·博斯纳奇,安东·威伊斯,安斯加·芬克,侯赛因·阿尔贾扎尔:
定向模型检验综述。 MoChArt公司 2008:65-89
2007
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/HolzmannB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/HolzmannB07
杰拉德·J·霍尔兹曼,德拉甘·博斯纳奇:
SPIN模型检查器的多核扩展设计。 IEEE传输。软件工程。 33(10):659-674(2007)
[c18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BosnackiDLM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BosnackiDLM07
德拉甘·博斯纳奇,阿拉斯泰尔·唐纳森,迈克尔·勒谢尔,蒂埃里·马萨特:
通过对称标记对Promela模型进行有效的近似验证。 ATVA公司 2007:300-315
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BosnackiEGP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BosnackiEGP07
德拉甘·博斯纳奇,伊迪丝·埃尔金德,Blaise基因,多龙·A·贝利德:
基于交换性的边缘精益搜索。 ICALP公司 2007:158-170
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ipps/HolzmannB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipps/HolzmannB07
杰拉德·J·霍尔兹曼,德拉甘·博斯纳奇:
使用SPIN进行多核模型检查。 IPDPS公司 2007:1-8
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/2007会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/2007
德拉甘·博斯纳奇,斯特凡·埃德尔坎普:
模型检查软件，第14届国际SPIN研讨会，德国柏林，2007年7月1-3日，会议记录。计算机科学课堂讲稿4595,施普林格 2007，国际标准图书编号978-3-540-73369-0 [目录]
2006
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BosnackiLL06型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BosnackiLL06网址
德拉甘·博斯纳奇,斯特凡·洛伊,阿尔贝托·卢奇·拉富恩特:
一般状态探索算法的部分降阶。自旋蛋白 2006:271-287
2005
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Bosnacki05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Bosnacki05网址
德拉甘·博斯纳奇:
关于Mu-Calculus的一些基于Galois连接的抽象。 FM公司 2005:366-381
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BosnackiH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BosnackiH05
德拉甘·博斯纳奇,杰拉德·霍尔兹曼:
改进Spin对宽度优先搜索的部分顺序缩减。自旋蛋白 2005:91-105
2004
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/ase/BastenBG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ase/BastenBG04
特万·巴斯滕,德拉甘·博斯纳奇,马克·盖伦:
基于集群的部分订单缩减。自动。柔和。工程师。 11(4):365-402(2004)
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cmsb/Bosnacki04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmsb/Bosnacki04
德拉甘·博斯纳奇:
生物化学网络的黑盒检查。 CMSB公司 2004:225-230
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BosnackiIS04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BosnackiIS04网站
德拉甘·博斯纳奇,娜塔莉亚·奥乌斯蒂诺娃,娜塔莉亚·西多罗娃:
使用公平使抽象有效。自旋蛋白 2004:198-215
2003
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/metmbs/BosnackiEH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/metmbs/BosnackiEH03
德拉甘·博斯纳奇,Huub M.M.ten艾克尔德,彼得·A·J·希尔伯斯:
遗传密码作为格雷码的再认识。梅特姆斯 2003:447-456
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Bosnacki03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Bosnacki03网址
德拉甘·博斯纳奇:
一种具有对称性约简和弱公平性的轻量级模型检查算法。自旋蛋白 2003:89-103
2002
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BosnackiDH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BosnackiDH02
德拉甘·博斯纳奇,丹尼斯·达姆斯,莱泽克·霍伦德斯基:
对称旋转。国际期刊软件。技术工具。变压器。 4(1):92-106(2002)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Bosnacki02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Bosnacki02网站
德拉甘·博斯纳奇:
一种用于对称约简模型检查的嵌套深度优先搜索算法。复地 2002:65-80
[e1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/2002文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/2002
德拉甘·博斯纳奇,斯特凡·洛伊:
软件模型检查，第九届国际SPIN研讨会，法国格勒诺布尔，2002年4月11-13日，会议记录。计算机科学课堂讲稿2318,施普林格 2002，国际标准图书编号3-540-43477-1 [目录]
2001
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BosnackiDH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BosnackiDH01
德拉甘·博斯纳奇,丹尼斯·达姆斯,莱泽克·霍伦德斯基:
使用标量集进行对称约简的启发式方法。失效模式与后果 2001:518-533
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/BastenB01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BastenB01
特万·巴斯滕,德拉甘·博斯纳奇:
通过流程聚类增强部分订单减少。 ASE公司 2001:245-253
2000
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BosnackiDH00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BosnackiDH00网站
德拉甘·博斯纳奇,丹尼斯·达姆斯,莱泽克·霍伦德斯基:
对称旋转。自旋蛋白 2000:1-19
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BosnackiDHS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BosnackiDHS00
德拉甘·博斯纳奇,丹尼斯·达姆斯,莱斯泽克·霍伦德斯基,娜塔莉亚·西多罗娃:
带自旋的模型检查SDL。 TACAS公司 2000:363-377

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Bosnacki99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Bosnacki99
德拉甘·博斯纳奇:
具有非构造和弱公平性的集合通信中的部分降阶。自旋蛋白 1999:40-56
1998
【c2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/BosnackiD98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BosnackiD98
德拉甘·博斯纳奇,丹尼斯·达姆斯:
将实时集成到Spin中：原型实现。复地 1998:423-438
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/BosnackiD98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/BosnackiD98
德拉甘·博斯纳奇,丹尼斯·达姆斯:
离散时间Promela和Spin。 FTRTFT公司 1998:307-310

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。