×
作者ID: 宋福《宋赋》近期zbMATH文章
发布日期: 宋,傅
已编制索引的文档: 30份出版物自2005年以来
合著者: 17合著者具有21联合出版物
247位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

18出版物有被引用37中的次23文件 引用人 年份
利用高阶连续介质理论研究具有表面效应的纳米线中的波传播。 Zbl 1381.74120号
宋,F。;黄,G.L。;瓦拉丹,V.K。
12
2010
表面应力对纳米线弯曲行为的影响建模:增量变形理论。 Zbl 1236.74011号
宋,F。;黄,G.L。
6
2009
用于下推系统的高效CTL模型检查。 Zbl 1343.68156号
宋,傅;泰瑟·图利
6
2011
恶意软件检测的LTL模型检查。 Zbl 1381.68182号
宋,傅;泰瑟·图利
5
2013
使用模型检查高效检测恶意软件。 Zbl 1372.68177号
宋,傅;泰瑟·图利
5
2012
按下模型检查恶意软件检测。 Zbl 1352.68163号
宋,傅;泰瑟·图利
4
2012
SCInfer公司:基于细化的验证软件对抗副通道攻击的对策。 Zbl 1511.68173号
张军;高鹏飞;宋,傅;王超
4
2018
用于下推系统的高效CTL模型检查。 Zbl 1360.68599号
宋,傅;泰瑟·图利
2014
\(k)分量(q)变形电荷相干态及其非经典性质。 Zbl 1110.81109号
刘,X.-M。;C·奎恩。;宋,F。
2
2005
模型检查动态下推网络。 Zbl 1426.68176号
宋,傅;泰瑟·图利
2
2013
BDD4BNN公司:基于BDD的二值化神经网络定量分析框架。 Zbl 1493.68226号
张业迪;赵哲;陈广科;宋,傅;陈、陶璐
2
2021
用数据变量量化扩展时序逻辑。 Zbl 1360.68600号
宋,傅;吴志林
2
2014
广义凸模糊映射约束规划问题的KKT最优性条件。 Zbl 1429.90105号
宋,F。;吴振中。
1
2019
模型检查动态下推网络。 Zbl 1332.68142号
宋,傅;泰瑟·图利
1
2015
带有归纳定义的分离逻辑的可牵引性:超越列表。 Zbl 1442.03013号
陈、陶璐;宋,傅;吴志林
1
2017
关于数据变量量化的时序逻辑:可判定性和复杂性。 Zbl 1353.68181号
宋,傅;吴志林
1
2016
具有转导的下推系统的可达性分析:在具有调用引用的布尔程序中的应用。 Zbl 1374.68300号
宋,傅;苗伟凯;浦、葛光;张敏
1
2015
具有双周期纤维阵列的复合材料有效传输特性的统一复变量解。 Zbl 07775180号
严,P。;董,J.S。;陈,F.L。;宋,F。
1
2017
BDD4BNN公司:基于BDD的二值化神经网络定量分析框架。 Zbl 1493.68226号
张业迪;赵哲;陈广科;宋,傅;陈、陶璐
2
2021
广义凸模糊映射约束规划问题的KKT最优性条件。 Zbl 1429.90105号
宋,F。;吴振中。
1
2019
SCInfer公司:基于细化的验证软件对抗副通道攻击的对策。 兹比尔1511.68173
张军;高鹏飞;宋,傅;王超
4
2018
带有归纳定义的分离逻辑的可牵引性:超越列表。 Zbl 1442.03013号
陈、陶璐;宋,傅;吴志林
1
2017
具有双周期纤维阵列的复合材料有效传输特性的统一复变量解。 兹比尔07775180
严,P。;董,J.S。;陈,F.L。;宋,F。
1
2017
关于数据变量量化的时序逻辑:可判定性和复杂性。 Zbl 1353.68181号
宋,傅;吴志林
1
2016
模型检查动态下推网络。 Zbl 1332.68142号
宋,傅;泰瑟·图利
1
2015
具有转导的下推系统的可达性分析:在具有调用引用的布尔程序中的应用。 Zbl 1374.68300号
宋,傅;苗伟凯;浦、葛光;张敏
1
2015
用于下推系统的高效CTL模型检查。 Zbl 1360.68599号
宋,傅;泰瑟·图利
2014
用数据变量量化扩展时序逻辑。 Zbl 1360.68600号
宋,傅;吴志林
2
2014
恶意软件检测的LTL模型检查。 Zbl 1381.68182号
宋,傅;泰瑟·图利
5
2013
模型检查动态下推网络。 兹比尔1426.68176
宋,傅;泰瑟·图利
2
2013
使用模型检查高效检测恶意软件。 Zbl 1372.68177号
宋,傅;泰瑟·图利
5
2012
按下模型检查恶意软件检测。 Zbl 1352.68163号
宋,傅;泰瑟·图利
4
2012
用于下推系统的高效CTL模型检查。 Zbl 1343.68156号
宋,傅;泰瑟·图利
6
2011
利用高阶连续介质理论研究具有表面效应的纳米线中的波传播。 Zbl 1381.74120号
宋,F。;黄,G.L。;瓦拉丹,V.K。
12
2010
表面应力对纳米线弯曲行为的影响建模:增量变形理论。 Zbl 1236.74011号
宋,F。;黄,G.L。
6
2009
\(k)分量(q)变形电荷相干态及其非经典性质。 Zbl 1110.81109号
刘,X.-M。;C·奎恩。;宋,F。
2
2005

按年份列出的引文