[1] |
CHEN Gang, YU Linyu, QIU Zongyan, WANG Ying.
Logic Based Formal Verification Methods: Progress and Applications
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2016, 52(2): 363-373.
|
[2] |
CHEN Mei,ZHANG Lu,XU Jin.
Construction of a Cellular AND Gate Using Riboswitch
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2014, 50(3): 411-415.
|
[3] |
JIN Wei,WANG Hanpin,ZHU Meixia.
Modeling BPEL and BPEL4People with a Timed Interruptable ?-Calculus
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2012, 48(2): 209-216.
|
[4] |
GAO Liangcai,TANG Zhi,TAO Xin,FANG Jing.
An Approach to Auto-detection, Segmentation and Tagging of Bibliographic Metadata
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(6): 893-900.
|
[5] |
GAO Liangcai,TANG Zhi,LIN Xiaofan,YU Yinyan,FANG Jing.
A Table of Content Recognition Method of Book Documents Based on Clustering Techniques
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(4): 531-538.
|
[6] |
XU Chunxiang,QU Wanling,WANG Hanpin,ZHU Meixia.
Modeling WS-BPEL Process under the Dead-Path-Elimination
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(2): 162-170.
|
[7] |
CHEN Gang,SONG Xiaoyu,GU Ming.
PLC Program Verification and Analysis Using the COQ Theorem Prover
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(1): 30-34.
|
[8] |
WANG Hongding,TAN Shaohua,TANG Shiwei,YANG Dongqing,TONG Yunhai.
Schema Merging Study with Semantic Relationships of Schema Elements
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2007, 43(3): 405-411.
|
[9] |
LIU Peng,HU Jianbin,CHEN Zhong.
A Semantic Security Policy Language for Distributed Computing Environment
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2006, 42(5): 646-657.
|
[10] |
CHEN Peng,HUO Jinjian,ZHANG Li'ang.
A Constant Time Algorithm for MST on RMESH
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2006, 42(1): 83-88.
|
[11] |
GAO Tao,XIE Kunqing,MA Xiujun,CHEN Guanhua.
SDML: A Spatial Data Mining Language for Spatial Database
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2004, 40(3): 465-472.
|
[12] |
CAI Yingkun,XIE Kunqing,MA Xiujun.
An Improved DBSCAN Algorithm which is Insensitive to Input Parameters
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2004, 40(3): 480-486.
|
[13] |
CUI Peng,ZHANG Li'ang,JI Lijiu,GAO Li.
Comparisons of Two Smoothing Algorithms for Optimization in One-Dimensional Space
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2003, 39(5): 681-689.
|
[14] |
DENG Zhihong,TANG Shiwei,ZHANG Ming,YANG Dongqing,CHEN Jie.
Overview of Ontology
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2002, 38(5): 730-728.
|
[15] |
LIU Tian.
On Checking Complexity, Evaluating Complexity and Number of Values for Functions
[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2000, 36(1): 109-116.
|