期刊的影响因子--文章列表

期刊文章列表
王东京，刘继涛，俞东进（杭州电子科技大学计算机学院）.电动自行车轨迹简化与自适应地图匹配算法[J].软件学报,2023,第8期章乐平¹，赵永望^2,3，王布阳¹，李悦欣¹，冯潇潇¹（北京航空航天大学计算机学院；浙江大学网络空间安全学院；浙江大学移动终端安全技术浙江省工程研究中心）.L4虚拟内存子系统的形式化验证[J].软件学报,2023,第8期黄厚华，刘嘉祥，施晓牧（深圳大学计算机与软件学院）.基于K Framework的向量化机器学习指令语义形式化[J].软件学报,2023,第8期原梓清¹，陈杰^1,2（综合业务网理论及关键技术国家重点实验室(西安电子科技大学)；广西密码学与信息安全重点实验室(桂林电子科技大学)）.对一种白盒SM4方案的差分计算分析[J].软件学报,2023,第8期吴志文，李国强（上海交通大学软件学院）.基于非交互式Petri网的异步程序验证模型和方法[J].软件学报,2023,第8期鲁法明¹，黄莹^1,2，曾庆田¹，包云霞¹，唐梦凡¹（山东科技大学计算机科学与工程学院；中国科学院深圳先进技术研究院）.基于Petri网展开的多线程程序数据竞争检测与重演[J].软件学报,2023,第8期鲁辉¹，郭润生¹，金成杰¹，何陆潇涵¹，王兴伟²，田志宏¹（广州大学网络空间先进技术研究院；东北大学计算机科学与工程学院）.基于Capstone和流敏感混合执行的自动化反混淆技术[J].软件学报,2023,第8期曾凡浪^1,2，常瑞^1,3，许浩^1,2，潘少平^1,2，赵永望^1,3（浙江大学计算机科学与技术学院；浙江大学杭州国际科创中心；浙江省区块链与网络空间治理重点实验室）.基于精化的TrustZone多安全分区建模与形式化验证[J].软件学报,2023,第8期陈中卿¹，李丹丹¹，闪德胜²，钱叶魁³，谢坤¹，黄小红¹，丛群⁴（北京邮电大学计算机学院(国家示范性软件学院)；中国人民解放军32147部队；陆军炮兵防空兵学院(郑州校区)；北京网瑞达科技有限公司技术研发部）.基于流特征的数据中心非对称流负载均衡方法[J].软件学报,2023,第8期于忠祺，张小禹，李建文（华东师范大学软件工程学院）.基于不可满足核的近似逼近可达性分析[J].软件学报,2023,第8期李硕川¹，王赞¹，马明旭¹，陈翔²，赵英全¹，王海弛¹，王昊宇¹（天津大学智能与计算学部；南通大学信息科学技术学院）.GC-MCR：有向图约束指导的并发缺陷检测方法[J].软件学报,2023,第8期张昊迪¹，陈振浩¹，陈俊扬¹，周熠²，连德富³，伍楷舜¹，林方真⁴（深圳大学计算机与软件学院；上海脑科学与类脑研究中心；中国科学技术大学计算机科学与技术学院；香港科技大学计算机科学与工程系）.显式知识推理和深度强化学习结合的动态决策[J].软件学报,2023,第8期梁仕宇^1,2，高阳^1,3，丛宇⁴，郝爱民^1,3（虚拟现实技术与系统国家重点实验室(北京航空航天大学)；西安电子科技大学计算机科学与技术学院；中国医学科学院虚拟人体和虚拟手术技术创新单元；北京众绘虚拟现实技术研究院有限公司）.反射剖面精确拟合的次表面散射计算方法[J].软件学报,2023,第8期王文胜^1,2，田聪^1,2，段振华^1,2（西安电子科技大学计算理论与技术研究所；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.Streett自动机确定化工具[J].软件学报,2023,第8期李希萌^1,2，王国辉^1,3，张倩颖^1,2，施智平^1,2，关永^1,3（首都师范大学信息工程学院；电子系统可靠性技术北京市重点实验室(首都师范大学)；北京成像理论与技术高精尖创新中心(首都师范大学)）.基于函数式语义的循环和递归程序结构通用证明技术[J].软件学报,2023,第8期李静^1,2，欧阳丹彤^1,2，叶育鑫^1,2（吉林大学计算机科学与技术学院；符号计算与知识工程教育部重点实验室(吉林大学)）.强表达描述逻辑本体的后继式公理定位研究[J].软件学报,2023,第8期张奕裕^1,2，王归航^1,2，左志强^1,2，李宣东^1,2（南京大学计算机科学与技术系；计算机软件新技术国家重点实验室(南京大学)）.基于核外计算的Datalog引擎设计与实现[J].软件学报,2023,第8期刘逸冰，周刚（中国人民解放军信息工程大学数据与目标工程学院）.一个切换认证的5G鉴权协议及其形式化分析[J].软件学报,2023,第8期万新熠，徐轲，曹钦翔（上海交通大学电子信息与电气工程学院）.针对教学场景的ZFC集合论Coq形式化[J].软件学报,2023,第8期蔡少伟¹，陈振邦²，王戟²，詹博华¹，赵永望³（中国科学院软件研究所；国防科技大学计算机学院；浙江大学计算机科学与技术学院）.约束求解与定理证明专题前言[J].软件学报,2023,第8期刘颖^1,2，杨鹏飞^1,3，张立军^1,2，吴志林^1,2，冯元⁴（计算机科学国家重点实验室(中国科学院软件研究所)；中国科学院大学；琶洲实验室；University of Technology Sydney）.前馈神经网络和循环神经网络的鲁棒性验证综述[J].软件学报,2023,第7期王菲菲¹，汪定^2,3（重庆邮电大学网络空间安全与信息法学院；南开大学网络空间安全学院；天津市网络与数据安全技术重点实验室(南开大学)）.基于雾计算的智能医疗三方认证与密钥协商协议[J].软件学报,2023,第7期宋靖文^1,2，张大伟^1,2，韩旭^1,2，杜晔^1,2（北京交通大学计算机与信息技术学院；智能交通数据安全与隐私保护技术北京市重点实验室(北京交通大学)）.区块链中可监管的身份隐私保护方案[J].软件学报,2023,第7期毛琳，任凤至，杨大伟，张汝波（大连民族大学机电工程学院）.基于卷积神经网络的全景分割Transformer模型[J].软件学报,2023,第7期赖建昌¹，黄欣沂¹，何德彪²，宁建廷^1,3（福建省网络安全与密码技术重点实验室(福建师范大学)；空天信息安全与可信计算教育部重点实验室(武汉大学)；信息安全国家重点实验室(中国科学院信息工程研究所)）.基于SM9的CCA安全广播加密方案[J].软件学报,2023,第7期王利娥^1,2，李东城^1,2，李先贤^1,2（广西多源信息挖掘与安全重点实验室(广西师范大学)；广西师范大学计算机科学与工程学院）.基于跨域关联与隐私保护的深度推荐模型[J].软件学报,2023,第7期朱敏¹，毛莺池^1,2，程永¹，陈程军¹，王龙宝^1,2（河海大学计算机与信息学院；水利部水利大数据重点实验室(河海大学)）.基于双重注意力机制的事件抽取方法[J].软件学报,2023,第7期贾霄生，赵中英，李超，栾文静，梁永全（山东科技大学计算机科学与工程学院）.互信息与多条元路径融合的异质网络表示学习方法[J].软件学报,2023,第7期赵庆晔，王豫，李宣东（计算机软件新技术国家重点实验室(南京大学)）.安全的混成系统神经网络控制器生成与验证[J].软件学报,2023,第7期马宾^1,2，韩作伟^1,2，徐健³，王春鹏^1,2，李健^1,2，王玉立^1,2（齐鲁工业大学(山东省科学院)网络空间安全学院；山东省计算机网络重点实验室；山东财经大学计算机科学与技术学院）.基于U-Net结构的生成式多重对抗隐写算法[J].软件学报,2023,第7期首页上一页 3 4 5 6 7 下一页尾页共有12页，转到页

期刊文章列表