Journals in DBLP
Huimin Lin A Graphical mu-Calculus and Local Model Checking. [Citation Graph (0, 0)][DBLP ] Journal ] Tom Head , Xia Chen , Masayuki Yamamura , Susannah Gal Aqueous Computing: A Survey with an Invitation to Participate. [Citation Graph (0, 0)][DBLP ] Journal ] Ren-ji Tao , Shihua Chen Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 2. [Citation Graph (0, 0)][DBLP ] Journal ] Yong Li 0005 , Dang Van Hung Checking Temporal Duration Properties of Timed Automata. [Citation Graph (0, 0)][DBLP ] Journal ] Sheqin Dong , Shuo Zhou , Xianlong Hong , Chung-Kuan Cheng , Jun Gu , Yici Cai An Optimum Placement Search Algorithm Based on Extended Corner Block List. [Citation Graph (0, 0)][DBLP ] Journal ] Ruiqi Lian , Zhaoqing Zhang , Ruliang Qiao Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers. [Citation Graph (0, 0)][DBLP ] Journal ] Zhaoxuan Shen , Jong Ching Chuen Lower Bound Estimation of Hardware Resources for Scheduling in High-Level Synthesis. [Citation Graph (0, 0)][DBLP ] Journal ] Hafizur Rahaman , Debesh K. Das , Bhargab B. Bhattacharya BIST Design for Detecting Multiple Stuck-Open Faults in CMOS Circuits Using Transition Count. [Citation Graph (0, 0)][DBLP ] Journal ] Zhou Chong , Yongqiang Sun SPMH: A Solution to the Problem of Malicious Hosts. [Citation Graph (0, 0)][DBLP ] Journal ] Zheng Dong , Kefei Chen , Jinyuan You Multiparty Authentication Services and Key Agreement Protocols with Semi-Trusted Third Party. [Citation Graph (0, 0)][DBLP ] Journal ] Hong Mei , Tao Xie , Fuqing Yang A Model-Based Approach to Object-Oriented Software Metrics. [Citation Graph (0, 0)][DBLP ] Journal ] Changjun Jiang , Huaiqing Wang , Shaoyi Liao Behavior Relativity of Petri Nets. [Citation Graph (0, 0)][DBLP ] Journal ] Yong He , Shengyi Cai Semi-Online Scheduling with Machine Cost. [Citation Graph (0, 0)][DBLP ] Journal ] Guodong Li , Defu Zhang Distributing and Scheduling Divisible Task on Parallel Communicating Processors. [Citation Graph (0, 0)][DBLP ] Journal ] Zongwei Lu , Zhenghui Lin , Houpeng Chen Variables Bounding Based Retiming Algorithm. [Citation Graph (0, 0)][DBLP ] Journal ] Aoying Zhou , Weining Qian , Hailei Qian Clustering DTDs: An Interactive Two-Level Approach. [Citation Graph (0, 0)][DBLP ] Journal ] Xianxian Li , Jinpeng Huai Efficient Non-Repudiation Multicast Source Authentication Schemes. [Citation Graph (0, 0)][DBLP ] Journal ] Xiaofeng Chen , Changjie Wang , Yumin Wang Fair Electronic Cash Based on Double Signatur. [Citation Graph (0, 0)][DBLP ] Journal ] Fangguo Zhang , Futai Zhang , Yumin Wang Selection of Secure Hyperelliptic Curves of g_2 Based on a Subfield. [Citation Graph (0, 0)][DBLP ] Journal ] Kyu-Yeul Lee , Doo-Yeoun Cho , Tae Wan Kim A Tracing Algorithm for Surface-Surface Intersections on Surface Boundaries. [Citation Graph (0, 0)][DBLP ] Journal ] Kaihuai Qin , Zhengyi Chang , Huawei Wang , Denggao Li Physics-Based Loop Surface Modeling. [Citation Graph (0, 0)][DBLP ] Journal ] Qingshan Liu , Songde Ma , Hanqing Lu Head Tracking Using Shapes and Adaptive Color Histograms. [Citation Graph (0, 0)][DBLP ] Journal ] Fan Yun , Runsheng Wang An Image Retrieval Method Using DCT Features. [Citation Graph (0, 0)][DBLP ] Journal ] Huaizhong Lin , Chun Chen Optimistic Voting for Managing Replicated Data. [Citation Graph (0, 0)][DBLP ] Journal ] S. H. Lo , Liu Jianfei Automatic Mesh Generation on a Regular Background Grid. [Citation Graph (0, 0)][DBLP ] Journal ] Zhengding Lu , Li Chunlin , Li Layuan Coordinating Mobile Agents by the XML-Based Tuple Space. [Citation Graph (0, 0)][DBLP ] Journal ] Zhang Lei , Xiaoyong Du , Shan Wang A Personalized Information Dissemination System Based on How-Net. [Citation Graph (0, 0)][DBLP ] Journal ] Chuanfeng Chen , Li Zengzhi , Yazhe Tang , Kangping Liu Internet Network Resource Information Model. [Citation Graph (0, 0)][DBLP ] Journal ] Jianhua Li , Xiaolong Wang Combining Trigram and Automatic Weight Distribution in Chinese Spelling Error Correction. [Citation Graph (0, 0)][DBLP ] Journal ] Yan Pengju , Zheng Fang , Sun Hui Spontaneous Speech Parsing in Travel Information Inquiring and Booking Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Sujian Li , Jian Zhang , Huang Xiong , Shuo Bai , Qun Liu Semantic Computation in a Chinese Question-Answering System. [Citation Graph (0, 0)][DBLP ] Journal ] 