于章 0086
人员信息
附属: 中国科技大学智能网络与知识工程实验室,合肥
其他同名人员
于章 — 消歧页 于章 0001 — 拉夫堡大学,英国航空与汽车工程系 (还有2个以上) 于章 0002 — 宾夕法尼亚州立大学,宾夕法尼亚大学公园,美国 (还有2个以上) 于章 0003 -海南师范大学,中国海口 于章 0004 — 中国南京东南大学计算机科学与工程学院 (还有1个) 于章 0005 — 美国加利福尼亚州圣克鲁斯加利福尼亚大学 (还有2个以上) 于章 0006 — 中国深圳南方科技大学 (还有3个) 于章 0007 -微软亚洲研究院,中国 于章 0008 -浙江大学计算机科学学院,中国杭州 于章 0009 — 美国宾夕法尼亚州伯利恒利海大学生物工程系 (还有2个以上)
于章 0010 -美国伊利诺伊州埃文斯顿西北大学化学系和生物激励能源科学中心(CBES) 于章 0011 -华南师范大学,中国广州 于章 0012 -中国南京东南大学国家移动通信研究实验室 于章 0013 -宾夕法尼亚州立大学信息科学与技术学院,宾夕法尼亚州立学院,美国 于章 0014 -西安西电大学综合服务网络国家重点实验室 于章 0015 -浙江工业大学信息工程学院,杭州,中国 于章 0016 -吉林大学计算机科学与技术学院,中国长春 于章 0017 -四川大学华西医院放射科,中国成都 于章 0018 — 浙江大学控制科学与工程学院,杭州,中国 (还有3个) 于章 0019 -武汉大学电子与信息学院信号处理实验室 于章 0020 -同济大学数学学院,中国上海 于章 0021 -广东培正学院英语系,中国广州 于章 0022 -加利福尼亚大学圣巴巴拉分校,教育系,加利福尼亚州,美国 于章 0023 -湖北民族大学信息工程学院,恩施,中国 于章 0024 -东北大学软件学院,中国沈阳 于章 0025 — 微软在线服务部,桑尼维尔,加利福尼亚州,美国 (还有1个) 于章 0026 -清华大学电子工程系,中国北京 于章 0027 -华中科技大学计算机科学与技术学院服务计算技术与系统实验室集群与网格计算实验室,中国武汉 于章 0028 — 新加坡A-STAR数据存储研究所 (还有1个) 于章 0029 -中国科学院西北生态环境与资源研究所,兰州 于章 0030 -哈尔滨工业大学社会计算与信息检索研究中心 于章 0031 -信阳师范大学计算机科学与技术系 于章 0032 -上海交通大学电子信息与电气工程学院 于章 0033 — 谷歌 (还有1个) 于章 0034 — 澳大利亚维多利亚州墨尔本皇家墨尔本理工大学 (还有1个) 于章 0035 — SenseTime Group Limited,中国北京 (还有1个) 于章 0036 -中国计算机科学与技术学院哈尔滨工业大学 于章 0037 -中国机械工程学院北京理工大学 于章 0038 -哈尔滨工程大学信息与通信工程学院 于章 0039 -华中科技大学电子信息与通信学院,武汉,中国 于章 0040 -陕西师范大学教育部现代教学技术重点实验室,西安 于章 0041 -北卡罗来纳大学教堂山分校,北卡罗来那大学教堂山校区,北卡罗莱纳州,美国 于章 0042 — 中国北京国网能源研究院有限公司 (还有2个以上) 于章 0043 — 英国牛津大学计算机科学系 (还有1个) 于章 0044 -伊利诺伊大学厄本那-香槟分校计算机科学系,伊利诺伊州,美国 于章 0045 -哈尔滨工业大学,机器人与系统国家重点实验室,哈尔滨,中国 于章 0046 -厦门大学水声通信与海洋信息技术重点实验室,厦门,中国 于章 0047 -清华大学自动化系,中国北京 于章 0048 -东北电力大学信息工程学院,吉林,中国 于章 0049 -澳大利亚悉尼澳大利亚高等医学院麦格理大学 于章 0050 — 清华大学电子工程系,中国北京 (还有1个) 于章 0051 -德国Chemnitz科技大学 于章 0052 -法国里昂市中心 于章 0053 -英国加的夫大学 于章 0054 — 高通公司,中国北京 (还有1个) 于章 0055 — 亚利桑那州立大学计算机科学与工程系,美国亚利桑那州坦佩 (还有1个) 于章 0056 — 安徽大学,安徽省信息材料与智能传感实验室,合肥,中国 (还有1个) 于章 0057 -中国西安空军工程大学航空航天工程学院 于章 0058 -重庆大学通信工程学院 于章 0059 -美国洛杉矶加利福尼亚大学 于章 0060 -国防科技大学ATR科学技术重点实验室,长沙 于章 0061 -日本东京大学农业与生命科学研究生院 于章 0062 -西安大学视频与图像处理系统实验室,中国 于章 0063 -香港中文大学电子工程系 于章 0064 -南方医科大学生物医学工程学院,中国广州 于章 0065 -燕山大学电气工程学院,秦皇岛,中国 于章 0066 -中国南方工业集团公司,武器装备研究所,中国北京 于章 0067 -辽宁工业大学理学院,阜新,中国 于章 0068 -南京航空航天大学雷达成像与微波光子学重点实验室 于章 0069 -中国科学院、水利部、杨凌水土保持研究所 于章 0070 -中国上海海洋大学海洋科学学院 于章 0071 -海南大学南海海洋资源利用国家重点实验室,海口 于章 0072 -复旦大学上海智能信息处理重点实验室 于章 0073 -东北大学系统工程系,过程工业综合自动化国家重点实验室,沈阳 于章 0074 -美国宾夕法尼亚州立大学大学公园土木与环境工程系 于章 0075 — 新加坡高性能计算研究所 (还有1个) 于章 0076 -西南交通大学物理科学与技术学院,中国成都 于章 0077 — 杭州电子信息学院 (还有1个) 于章 0078 — 天津大学精密仪器与光电工程学院精密测量技术与仪器国家重点实验室 (还有1个) 于章 0079 — 中国信息与电子学院北京理工学院 (还有1个) 于章 0080 — 中国空间技术研究院、中国北京东方计量测试研究所 (还有1个) 于章 0081 — 北京科技大学经济与管理学院 (还有1个) 于章 0082 -中国人民解放军陆军工程大学通信工程学院,南京 于章 0083 — 清华大学教育学院,中国北京 (还有1个) 于章 0084 -新加坡南洋理工大学计算机科学与工程学院 于章 0085 — 中国重庆西南大学计算机与信息学院 (还有1个) 于章 0087 — 美国佛罗里达州坦帕市南佛罗里达大学土木与环境工程系 (还有1个) 于章 0088 — 德尔福汽车公司,美国加利福尼亚州阿古拉山 (还有1个) 于章 0089 — 江苏师范大学地理、地理与规划学院土地资源管理系,徐州 (还有1个) 于章 0090 -中国北京师范大学人工智能学院 于章 0091 -哈尔滨工业大学航天学院国家可调谐激光技术重点实验室 于章 0092 -中国苏州大学 于章 0093 — 澳大利亚悉尼麦格理大学 (还有1个) 于章 0094 -肯塔基大学计算机科学系,肯塔基州列克星敦,美国 于章 0095 — 南开大学计算机学院天津网络与数据安全技术重点实验室,中国天津 (还有1个) 于章 0096 (又名:菲奥娜·张) — 香港理工大学机械工程系 (还有2个以上) 于章 0097 — 香港城市大学 (还有2个以上) 于章 0098 -福建江夏大学电子信息科学系,福州,中国 于章 0099 -美国加州大学戴维斯分校电气与计算机工程系 于章 0100 -中国重庆邮电大学经济与管理学院 于章 0101 -华中科技大学武汉光电国家实验室 于章 0102 — 中国科学院微电子研究所,中国北京 (还有1个) 于章 0103 -南京航空航天大学数学系机械结构力学与控制国家重点实验室 于章 0104 — 中国科学院生态系统网络观测与建模重点实验室,北京 (还有1个) 于章 0105 -信息工程大学郑州密码工程学院 于章 0106 -中国计算机科学与工程学院长春理工学院 于章 0107 -湖南大学计算机科学与电子工程学院,长沙,中国 于章 0108 — 华东科技大学,教育部化工过程先进控制与优化重点实验室,中国上海 (还有1个) 于章 0109 -同济大学,教育部道路与交通工程重点实验室,中国上海 于章 0110 -吉林大学电子科学与工程学院集成光电子国家重点实验室,长春 于章 0111 -南方科技大学计算机科学与工程系,广东省脑启发智能计算重点实验室,中国深圳 于章 0112 -华东师范大学计算机科学与技术系,中国上海 于章 0113 -大连医科大学附属第二医院 于章 0114 -西班牙加泰罗尼亚能源研究所 于章 0115 -加拿大蒙特利尔大学QC心理学系 于章 0116 -沈阳工业大学机械工程系 于章 0117 — 北京邮电大学网络与交换技术国家重点实验室 (还有1个) 于章 0118 -辽宁工业大学软件学院,阜新,中国 于章 0119 -深圳大学生命科学与海洋学学院、广东省海洋藻类生物技术工程研究中心 于章 0120 -山东师范大学信息科学与工程学院 于章 0121 -浙江师范大学工程学院精密机械与智能结构研究所,金华 于章 0122 -中国信息通信技术研究院,北京 于章 0123 -美国亚利桑那州立大学电气、计算机和能源工程学院 于章 0124 — 中国南京东南大学计算机科学与工程学院 (还有2个以上) 于章 0125 — 澳门大学中国科学技术学院 (还有2个以上) 于章 0126 -浙江大学,中国杭州
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元15年] 姚莉 , 王英杰 , 孟成珍 , 段一凡 , 纪建民 , 于章 , 张延勇(Yanyong Zhang) :
FARFusion:一种实用的路边雷达摄像机远距感知融合系统。 IEEE机器人自动化。 莱特。 9 ( 6 ) : 5433-5440 ( 2024 ) [公元46年] 雷公 , 于章 , 英庆霞 , 张延勇(Yanyong Zhang) , 纪建民 :
SDAC:用于自动驾驶中异常和拐角情况检测的多模式合成数据集。 AAAI公司 2024 : 1914-1922 [公元45年] 张欣然 , 韩其柱 , 段一凡 , 五羊·张 , 龙飞上关 , 于章 , 纪建民 , 张延勇(Yanyong Zhang) :
Map++:面向具有高效地图扩展和共享功能的用户参与式可视SLAM系统。 移动通信 2024 : 633-647 2023 [公元14年] 王英杰 , 毛秋雨 , 韩其柱 , 邓嘉君 , 于章 , 纪建民 , 李厚强 , 张延勇(Yanyong Zhang) :
自动驾驶中的多模式三维目标检测:综述。 国际期刊计算。 视觉。 131 ( 8 ) : 2122-2152 ( 2023 ) [j13] 胡明哲 , 于章 :
Python/C API关于进化和错误模式的实证研究。 J.软件。 进化。 过程。 35 ( 2 ) ( 2023 ) [公元12年] 李永上 , 于章 , 陈明宇 , 李向阳 , 彭旭 :
适用于中性原子量子计算的计时软件量子比特映射和门调度。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 42 ( 11 ) : 3768-3780 ( 2023 ) [公元11年] 任浩杰 , 沙张 , 李素刚 , 姚莉 , 李新晨 , 纪建民 , 于章 , 张延勇(Yanyong Zhang) :
轨迹匹配:通过轨迹匹配实现路边激光雷达的自动时空校准。 IEEE传输。 智力。 运输。 系统。 24 ( 11 ) : 12549-12559 ( 2023 ) [公元10年] 朱寒琪 , 邓嘉君 , 于章 , 纪建民 , 毛秋雨 , 李厚强 , 张延勇(Yanyong Zhang) :
VPFNet:使用基于虚拟点的激光雷达和立体数据融合改进三维目标检测。 IEEE传输。 万用表。 25 : 5291-5304 ( 2023 ) [公元44年] 一寨 , 于章 , 刘硕 , 楚晓梦 , 杰鹏 , 纪建民 , 张延勇(Yanyong Zhang) :
TLP:一种用于张量程序调整的基于深度学习的成本模型。 ASPLOS(2) 2023 : 833-845 [公元43年] 王英杰 , 邓嘉君 , 姚莉 , 金水湖 , 刘聪 , 于章 , 纪建民 , 万里欧阳 , 张延勇(Yanyong Zhang) :
双激光融合:用于3D动态目标检测的双向激光雷达雷达融合。 CVPR公司 2023 : 13394-13403 [公元42年] 你国梁 , 楚晓梦 , 段一凡 , 杰鹏 , 纪建民 , 于章 , 张延勇(Yanyong Zhang) :
P(P) 三 O: 通过提示为强化学习传递视觉表现。 国际货币兑换协会 2023 : 2789-2794 [公元41年] 王英杰 , 邓嘉君 , 侯月南 , 姚莉 , 于章 , 纪建民 , 万里欧阳 , 张延勇(Yanyong Zhang) :
俱乐部:集群满足基于激光雷达的三维目标检测BEV。 NeurIPS公司 2023 [公元40年] 胡明哲 , 齐钊(音译) , 于章 , 燕雄 :
支持不同主机语言的跨语言调用图构造。 桑纳 2023 : 155-166 [公元39年] 博耀鼎 , 于章 , 陈金宝 , 胡明哲 , 李庆伟 :
CGORewriter:G中使用C库的更好方法。 桑纳 2023 : 688-692 [i13] 楚晓梦 , 邓嘉君 , 袁钊(音) , 纪建民 , 于章 , 李厚强 , 张延勇(Yanyong Zhang) :
OA-BEV:将对象意识引入多摄像机三维对象检测的鸟瞰表示中。 CoRR公司 abs/2301.05711 ( 2023 ) [i12] 任浩杰 , 沙张 , 李素刚 , 姚莉 , 李新晨 , 纪建民 , 于章 , 张延勇(Yanyong Zhang) :
轨迹匹配:通过轨迹匹配实现路边激光雷达的自动时空校准。 CoRR公司 abs/2302.02157 ( 2023 ) [i11] 你国梁 , 楚晓梦 , 段一凡 , 杰鹏 , 纪建民 , 于章 , 张延勇(Yanyong Zhang) :
P(P) 三 O: 通过提示传递视觉表示用于强化学习。 CoRR公司 abs/2303.12371 ( 2023 ) [i10] 王英杰 , 邓嘉君 , 姚莉 , 金水湖 , 刘聪 , 于章 , 纪建民 , 万里欧阳 , 张延勇(Yanyong Zhang) :
双激光融合:用于3D动态目标检测的双向激光雷达雷达融合。 CoRR公司 abs/2306.01438 ( 2023 ) 2022 [公元9年] 姚莉 , 邓嘉君 , 于章 , 纪建民 , 李厚强 , 张延勇(Yanyong Zhang) :
${\mathsf{EZFusion}}$:近距离观察激光雷达、毫米波雷达和相机的集成,以实现精确的三维目标检测和跟踪。 IEEE机器人自动化。 莱特。 7 ( 4 ) : 11182-11189 ( 2022 ) [公元38年] 陈明宇 , 于章 , 李永上 , 王震(音) , 李军(Jun Li) , 李向阳 :
QCIR:基于模式匹配的通用量子电路重写框架。 国际计算机辅助设计协会 2022 : 55:1-55:8 [公元37年] 段一凡 , 杰鹏 , 于章 , 纪建民 , 张艳勇 :
PFilter:通过特征过滤构建持久地图,以实现快速准确的基于LiDAR的SLAM。 IROS公司 2022 : 11087-11093 [第九章] 段一凡 , 杰鹏 , 于章 , 纪建民 , 张延勇(Yanyong Zhang) :
PFilter:通过特征过滤构建持久地图,以实现快速准确的基于LiDAR的SLAM。 CoRR公司 abs/2208.14848 ( 2022 ) [i8] 一寨 , 于章 , 刘硕 , 楚晓梦 , 杰鹏 , 纪建民 , 张延勇(Yanyong Zhang) :
TLP:基于深度学习的张量程序调整成本模型。 CoRR公司 abs/2211.03578 ( 2022 ) 2021 [公元36年] 于章 , 尤文·欧阳 :
设计一门紧密结合实践的编程语言基础课程。 ACM TUR-C公司 2021 : 8-14 [公元35年] 兴国 , 于章 , 雷公 , 张艳勇 :
球坐标系下基于体素的三维目标检测。 BigCom公司 2021 : 286-293 [公元34年] 杰鹏 , 陈玉安 , 段一凡 , 于章 , 纪建民 , 张延勇(Yanyong Zhang) :
阿克曼转向车辆基于RRT的在线路径规划算法研究。 ICRA公司 2021 : 7407-7413 [公元33年] 陈玉安 , 陈光大 , 潘力帆 , 马骏(Jun Ma) , 于章 , 张延勇(Yanyong Zhang) , 纪建民 :
基于DRQN的有限视野三维避障。 IROS公司 2021 : 8137-8143 [公元32年] 胡明哲 , 于章 , 黄文超 , 燕雄 :
Python外部函数的静态类型推断。 ISSRE公司 2021 : 423-433 [公元31年] 于章 , 胡春明 , 曾明良(Mingliang Zeng) , 黄一彤 , 陈文光 , 王元伟 :
通过竞赛鼓励本科生进行编译器优化实践。 ITiCSE(1) 2021 : 4-10 [公元30年] 楚晓梦 , 邓嘉君 , 姚莉 , 袁振勋 , 张延勇(Yanyong Zhang) , 纪建民 , 于章 :
邻域投票:通过邻域距离投票改进单目3D对象检测。 ACM多媒体 2021 : 5239-5247 [公元29年] 云鹏 , 于章 , 胡明哲 :
Python项目中使用的通用语言特性的实证研究。 桑纳 2021 : 24-35 [i7] 王英杰 , 毛秋雨 , 韩其柱 , 于章 , 纪建民 , 张延勇(Yanyong Zhang) :
自动驾驶中的多模式三维目标检测:综述。 CoRR公司 腹肌/2106.12735 ( 2021 ) [i6] 楚晓梦 , 邓嘉君 , 姚莉 , 袁振勋 , 张延勇(Yanyong Zhang) , 纪建民 , 于章 :
邻居投票:通过邻居距离投票改进单目3D对象检测。 CoRR公司 abs/2107.02493 ( 2021 ) [i5] 陈玉安 , 陈光大 , 潘力帆 , 马骏(Jun Ma) , 于章 , 张艳勇 , 纪建民 :
基于DRQN的有限视野三维避障。 CoRR公司 abs/2108.05962 ( 2021 ) [i4] 陈玉安 , 叶若松 , 资阳陶 , 刘洪健 , 陈光大 , 杰鹏 , 马骏(Jun Ma) , 于章 , 张延勇(Yanyong Zhang) , 纪建民 :
半马尔可夫模型中具有自适应执行持续时间(AED)的机器人导航的强化学习。 CoRR公司 abs/2108.06161 ( 2021 ) [i3] 韩其柱 , 邓嘉君 , 于章 , 纪建民 , 毛秋雨 , 李厚强 , 张延勇(Yanyong Zhang) :
VPFNet:使用基于虚拟点的LiDAR和立体数据融合改进三维目标检测。 CoRR公司 腹肌/2111.14382 ( 2021 ) 2020 [公元28年] 邓浩伟 , 于章 , 李全西 :
Codar:用于各种NISQ设备的上下文持续时间-软件比特映射。 数模转换器 2020 : 1-6 [公元27年] 雷公 , 王顺洪 , 于章 , 张延勇(Yanyong Zhang) , 纪建民 :
用于自动驾驶的轻型地图增强三维目标检测和跟踪。 网构 2020 : 165-174 [公元26年] 黄一彤 , 于章 , 冯伯元 , 兴国 , 张延勇(Yanyong Zhang) , 丁宇飞 :
近距离观察自动驾驶的多租户并行CNN推断。 NPC公司 2020 : 92-104 [公元25年] 胡明哲 , 于章 :
Python/C API:进化、使用统计和错误模式。 桑纳 2020 : 532-536 [i2] 于章 , 邓浩伟 , 李全西 :
各种NISQ设备的上下文敏感和持续时间软件量子位映射。 CoRR公司 abs/2001.06887 ( 2020 )
2010 – 2019
2019 [公元24年] 秦晓霞 , 曾凡平(Fanping Zeng) , 于章 :
MSNdroid:基于多类功能和深度信任网络的Android恶意软件检测器。 ACM TUR-C公司 2019 : 44:1-44:5 【c23】 潘振中 , 于章 , 兴国 :
基于旁路卷积和特征加权的图像超分辨率模型。 HPCC/智能城市/DSS 2019 : 1866-1871 [公元22年] 周明松 , 曾凡平(Fanping Zeng) , 于章 , 吕成成 , 赵晨 , 陈国柱 :
自动生成Android应用程序的功能泄漏漏洞。 ICST研讨会 2019 : 291-295 【c21】 张玉祥 , 于章 :
基于GPU的快速调度张量计算,具有较高的数据重用性和设备利用率。 ISPA/BDCloud/SocialCom/SustainCom公司 2019 : 553-558 [公元20年] 于章 , 邓浩伟 , 李全西 , 郝泽松 , 聂磊海 :
针对退相干优化量子程序:将量子比特延迟到量子叠加中。 泰塞 2019 : 184-191 [i1] 于章 , 邓浩伟 , 李全西 , 郝泽松 , 聂磊海 :
针对退相干优化量子程序:将量子比特延迟到量子叠加中。 CoRR公司 abs/1904.09041 ( 2019 ) 2018 [第19条] 于章 , 张玉祥 :
使卤化物对多核系统有效。 BigCom公司 2018 : 213-218 [第18条] 于章 , 于芬玉 , 陈建康 :
SMR:多核系统的可伸缩MapReduce。 HPCC/智能城市/DSS 2018 : 684-691 [第17条] 于章 , 陈建康 :
VM-集成程序的可伸缩Pthreads兼容线程模型。 ICA3PP(4) 2018 : 121-137 [第16条] 于章 :
与真正的开源编译器集成的编译器实践系统:(仅摘要)。 SIGCSE公司 2018 : 1091 [第15条] 谢念年 , 曾凡平(Fanping Zeng) , 秦晓霞 , 于章 , 周明松 , 吕成成 :
RepassDroid:基于敏感API的基本权限和语义特征自动检测Android恶意软件。 泰塞 2018 : 52-59 2017 [j8] 于章 , 曹惠芳 :
DMR:多核系统的确定性MapReduce。 国际J并行程序。 45 ( 1 ) : 128-141 ( 2017 ) [j7] 于章 , 于芬玉 , 曹惠芳 , 陈建康 , 张启良 :
CHAUS:可扩展的基于虚拟机的无边界流通道。 J.计算。 科学。 Technol公司。 32 ( 6 ) : 1288-1304 ( 2017 ) [j6] 张奇良 , 于章 , Kun Zhou先生 :
C代码提取器:一个C 程序自动化的函数提取方法 (CCodeExtractor:C程序函数提取的自动方法)。 计算机科学 44 ( 4 ) : 16-20 ( 2017 ) [第14条] 于章 , 陈香兰 , 新安 , 陆建良 , 李学军 , 周学海 :
构建计算机系统能力培养的分步实践课程体系。 ACM TUR-C公司 2017 : 7:1-7:6 2016 [第13条] 于章 , 张剑阁(Jiange Zhang) , 张奇良 :
使确定性并行的用户级VMM无阻塞且高效。 PDCAT公司 2016 : 145-150 2015 [j5] 于章 , 李兆鹏 , 曹惠芳 :
系统强制确定性流以实现高效的管道并行性。 J.计算。 科学。 Technol公司。 30 ( 1 ) : 57-73 ( 2015 ) [第12条] 张伟(音译) , 于章 :
轻量级函数指针分析。 ISPEC公司 2015 : 439-453 2013 【j4】 李兆鹏 , 于章 , 陈依云 :
形状图逻辑和形状系统。 J.计算。 科学。 Technol公司。 28 ( 6 ) : 1063-1084 ( 2013 ) [第11条] 于章 , 布莱恩·福特 :
懒惰树映射:推广和缩放确定性并行。 APSys公司 2013 : 20:1-20:7 2012 [第10条] 于章 , 魏虎 :
探索确定性共享内存编程模型。 PDCAT公司 2012 : 144-149 2011 【c9】 于章 , 布莱恩·福特 :
可扩展确定性并行的虚拟内存基础。 APSys公司 2011 : 7 2010 [j3] 明复 , 于章 , 李勇 :
具有读写锁的并发程序的形式验证。 前沿计算。 科学。 中国 4 ( 1 ) : 65-77 ( 2010 ) [注2] 李勇 , 于章 , 陈依云 , 明复 :
关于懒惰STM程序的正式推理。 J.计算。 科学。 Technol公司。 25 ( 4 ) : 841-852 ( 2010 ) 【c8】 明复 , 李勇 , 新余峰 , 钟绍 , 于章 :
使用历史程序逻辑推理乐观并发。 CONCUR公司 2010 : 388-402 【c7】 于章 , 丽娜·袁 , 吴廷鹏 , 文鹏 , 李全龙 :
实时编译器辅助的对象回收和空间重用。 NPC公司 2010 : 18-34
2000 – 2009
2009 [j1] 龙莉 , 于章 , 陈依云 , 李勇 :
使用事务内存验证并发程序。 J.计算。 科学。 Technol公司。 24 ( 1 ) : 110-121 ( 2009 ) 【c6】 李勇 , 于章 , 陈依云 , 明复 :
用STM验证程序中的强原子性。 SSIRI公司 2009 : 123-131 【c5】 明复 , 于章 , 李勇 :
带有重入锁的并发汇编代码的形式化推理。 泰塞 2009 : 233-240 2008 【c4】 于章 , 曹宜华 , 李勋浩 :
存在包含选择的DTD时XPath可满足性的决策过程。 APWeb(APWeb) 2008 : 202-213 2007 【c3】 于章 , 乔塔姆·D·巴纳吉 , 特拉普 , 张延勇(Yanyong Zhang) , 理查德·霍华德 :
通过基于接收器的处理促进主动仅传输RFID系统。 第二节 2007 : 421-430 【c2】 明复 , 于章 :
基于自动机的XPath树同态分解。 APWeb/WAIM公司 2007 : 821-828 2006 【c1】 熊福 , 于章 , 陈依云 :
使用重用距离分布优化数据布局。 EUC研讨会 2006 : 858-867
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)