[1] |
孙基男, 潘克峰, 陈雪峰, 张君福. 基于符号执行的注入类安全漏洞的分析技术[J]. 北京大学学报自然科学版, 2018, 54(1): 1-13. |
[2] |
张燕,解蕴慧,王泸. 组织公平感与员工工作行为: 心理安全感的中介作用[J]. 北京大学学报(自然科学版), 2015, 51(1): 180-186. |
[3] |
王腾,谢峥,赵月明,王新安,胡子一,张旭. 面向医疗电子应用的16位RISC MCU设计与实现[J]. 北京大学学报(自然科学版), 2013, 49(4): 552-562. |
[4] |
邱建国,杨默函,李君,张君. 教育部属高校科研质量管理体系调查研究[J]. 北京大学学报(自然科学版), 2013, 49(2): 341-348. |
[5] |
王铁磊,韦韬,邹维. 基于roBDD的细颗粒度动态污点分析[J]. 北京大学学报(自然科学版), 2011, 47(6): 1003-1008. |
[6] |
陈钢,宋晓宇, 顾明. COQ定理证明器辅助PLC 程序验证和分析[J]. 北京大学学报(自然科学版), 2010, 46(1): 30-34. |
[7] |
曲宁, 袁鹏, 管雪涛, 程旭. 网络计算机典型应用程序的d-TLB行为分析[J]. 北京大学学报(自然科学版), 2007, 43(1): 85-91. |
[8] |
樊启昶,朱作言. DNA打开生命之门 —— 遗传、发育与进化[J]. 北京大学学报(自然科学版), 2003, 39(6): 753-759. |
[9] |
王繁, 胡向前, 洪功义, 黎乐民. 近似相对论与非相对论密度泛函理论高精度计算方法和程序[J]. 北京大学学报(自然科学版), 2003, 39(2): 145-150. |
[10] |
樊春雷. 过程分离程序的测量限度及其解决办法[J]. 北京大学学报(自然科学版), 2002, 38(5): 723-729. |
[11] |
程承旗,胡雪莲. 自适应型WebGIS构成模式初探[J]. 北京大学学报(自然科学版), 2002, 38(1): 115-120. |
[12] |
吴瑜. RFQ加速器末端场及其对粒子运动的影响[J]. 北京大学学报(自然科学版), 1999, 35(5): 659-664. |
[13] |
丁强, 邓越, 孙玉芳, 黄爱今, 孙亦梁. 牛粪挥发性成分的毛细管气相色谱分析[J]. 北京大学学报(自然科学版), 1998, 34(6): 720-725. |
[14] |
张乃孝, 郑红军. 程序设计语言的抽象与语言族模型[J]. 北京大学学报(自然科学版), 1997, 33(5): 650-657. |
[15] |
朱滢, 张力, 刘嘉, 樊春雷. 记忆过程中意识与无意识是否相互独立?[J]. 北京大学学报(自然科学版), 1997, 33(4): 529-533. |