编辑配置文件(在新选项卡中打开) 宋,傅 合著者距离 作者ID: 宋福 发布日期: 宋,傅 已编制索引的文档: 30份出版物自2005年以来 合著者: 17合著者具有21联合出版物 247位合作作者 全部的 前5名合著者 1 单作者的 7 泰瑟·图利 5 陈、陶璐 5 吴志林 三 张敏 三 张业迪 2 陈广科 2 高鹏飞 2 浦、葛光 2 赵哲 1 程长云 1 李建文 1 刘嘉祥 1 刘万伟 1 刘晓明 1 弗雷德里克·马莱特 1 苗伟凯 1 克里斯蒂安·奎斯内 1 维杰·瓦拉丹。 1 谢洪毅 1 张月玲 1 周,葛 全部的 前5名系列 2 机械学报 2 信息与计算 2 软件杂志 1 国际传热传质杂志 1 国际固体与结构杂志 1 数学物理杂志 1 《物理快报》。A类 1 理论计算机科学 1 计算的形式方面 1 AI通信 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 1 伊朗模糊系统杂志 全部的 前5名字段 22 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 5 可变形固体力学(74-XX) 2 信息与通信理论、电路(94-XX) 1 流体力学(76-XX) 1 光学、电磁理论(78-XX) 1 经典热力学,传热(80-XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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 所有引用出版物 前5名被引用出版物 全部的 前5名55位作者引用 4 宋,傅 4 泰瑟·图利 2 叶欣 1 拉杰夫·阿鲁尔 1 埃蒂安·安德烈 1 塞巴斯蒂安·巴丁 1 巴托斯·贝德纳西克 1 Tewodros A.Beyene。 1 艾哈迈德·博阿贾尼 1 达里奥·卡洛特努托 1 陈广科 1 陈、陶璐 1 Choi、Sungwoo 1 段振华 1 哈维尔·埃斯帕尔扎 1 费内科斯(Georgios E.Fainekos)。 1 本杰明·法里尼尔 1 哈达尔·弗兰克尔 1 巴巴拉·吉格尔 1 纪尧姆·吉罗尔 1 奥尔纳·格伦伯格 1 詹斯·奥利弗·古斯菲尔德 1 巴德省霍克萨 1 胡武阮 1 戴维·尼切尔 1 A.V.科扎克。 1 Le,Quang Loc公司 1 Le,Xuan-Bach D。 1 刘嘉祥 1 刘,金 1 斯特凡·曼加德 1 阿米尔·莫拉迪 1 马库斯·穆勒·奥尔姆 1 阿尼埃洛·穆拉诺 1 贝内迪克特·诺德霍夫 1 冈本秀树 1 阿德里亚诺·佩隆 1 科尼利亚·亚历山大·波皮亚 1 罗伯特·普里马斯 1 丹尼尔·普罗霍罗夫。 1 安德烈·里巴尔琴科 1 帕斯卡·萨斯德里奇 1 弘久世奇(Hiroyuki Seki) 1 龙马仙达 1 莎莱·申瓦尔德 1 孙骏 1 吉崎隆田 1 田聪 1 帕特里克·托瓦 1 Tran,Hoang-Dung村 1 达米安·维格诺 1 彼得·维特科夫斯基 1 吴志林 1 张业迪 1 赵哲 全部的 前5名7篇连载文章中引用 2 理论计算机科学 2 信息与计算 1 编程和计算机软件 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 在5个字段中引用 21 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 三 信息与通信理论、电路(94-XX) 1 数论(11-XX) 1 系统论;控制(93至XX) 按年份列出的引文