[1] |
陈钢, 于林宇, 裘宗燕, 王颖. 基于逻辑的形式化验证方法: 进展及应用[J]. 北京大学学报(自然科学版), 2016, 52(2): 363-373. |
[2] |
陈梅,张路,许进. 基于Riboswitch的细胞与门构建[J]. 北京大学学报(自然科学版), 2014, 50(3): 411-415. |
[3] |
金?,王捍贫,朱梅霞. 基于时序可中断π演算的BPEL和BPEL4People建模[J]. 北京大学学报(自然科学版), 2012, 48(2): 209-216. |
[4] |
高良才,汤帜,陶欣,房婧. 一种自动发现、分割与标注引文元数据的方法[J]. 北京大学学报(自然科学版), 2010, 46(6): 893-900. |
[5] |
高良才,汤帜,林晓帆,俞银燕,房婧. 一种基于聚类技术的图书目录识别方法[J]. 北京大学学报(自然科学版), 2010, 46(4): 531-538. |
[6] |
徐春香,屈婉玲,王捍贫,朱梅霞. 死路删除语义下的WS-BPEL流程的建模[J]. 北京大学学报(自然科学版), 2010, 46(2): 162-170. |
[7] |
陈钢,宋晓宇, 顾明. COQ定理证明器辅助PLC 程序验证和分析[J]. 北京大学学报(自然科学版), 2010, 46(1): 30-34. |
[8] |
王宏鼎,谭少华,唐世渭,杨冬青,童云海. 基于模式元素语义关系的模式合并方法研究[J]. 北京大学学报(自然科学版), 2007, 43(3): 405-411. |
[9] |
刘鹏,胡建斌,陈钟. 分布式计算环境下的语义安全策略语言[J]. 北京大学学报(自然科学版), 2006, 42(5): 646-657. |
[10] |
陈鹏,霍金健,张立昂. 最小生成树问题在RMESH上的常数时间算法[J]. 北京大学学报(自然科学版), 2006, 42(1): 83-88. |
[11] |
高韬, 谢昆青, 马修军, 陈冠华. SDML:基于空间数据库的空间数据挖掘语言[J]. 北京大学学报(自然科学版), 2004, 40(3): 465-472. |
[12] |
蔡颖琨, 谢昆青, 马修军. 屏蔽了输入参数敏感性的DBSCAN改进算法[J]. 北京大学学报(自然科学版), 2004, 40(3): 480-486. |
[13] |
崔鹏,张立昂,吉利久,高立. 两种平滑优化算法在一维情况下的比较研究[J]. 北京大学学报(自然科学版), 2003, 39(5): 681-689. |
[14] |
邓志鸿,唐世渭,张铭,杨冬青,陈捷. Ontology研究综述[J]. 北京大学学报(自然科学版), 2002, 38(5): 730-728. |
[15] |
刘田. 关于函数的验证复杂性、求值复杂性和输出值个数[J]. 北京大学学报(自然科学版), 2000, 36(1): 109-116. |