Login
Language: English  |  中文 
 
 
 

广西民族大学机构知识库 >

Browsing by Author Jinzhao Wu


Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中文
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 18 of 18
Issue DateTitleAuthor(s)
2013-02-18A Latent Implementation Error Detection Method for Software ValidationCollege of Computer Science, Inner Mongolia University, Hohhot 010021, China; Guangxi Key Lab of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities,; Jiantao Zhou; Jing Liu; Jinzhao Wu; Guodong Zhong
2005Action Refinement for Real-Time Concurrent Processes with UrgencyChengdu Institute of Computer Applications Chinese Academy of Science, Chengdu 610041, China; Fakult¨at f¨ur Mathematik und Informatik Universit¨at Mannheim, D7, 27, 68131 Mannheim, Germany; Guangping Qin; Jinzhao Wu
2012Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical CalculationSchool of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China; Hui Deng; Jinzhao Wu
2013Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric ComputationSchool of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; 2Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning,Guangxi 530006, China; Hui Deng; Jinzhao Wu
2013Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation SystemsSchool of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities,Nanning, Guangxi 530006, China; Institute of Acoustics, Chinese Academy of Sciences, Beijing 100190, China; Hui Deng; Jinzhao Wu; Hongyan Tan
2013Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid SystemsChengdu Institute of Computer Application, Chinese Academy of Sciences, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities; School of Computer and Information Technology, Beijing Jiaotong University, China; Hao Yang1; Jinzhao Wu; Zhiwei Zhang; Yang Liu
2003CWA extensions to multi-valued logicsMax-Planck-Institut für Informatik,Im Stadtwald, D-66123 Saarbrücken, Germany; Jinzhao Wu
2013Dynamic Evolution of Requirement Goal Deployed on Network EnvironmentUniversity of Electronic Science and Technology of China, Chengdu, Sichuan, 610041, China; Chengdu Institute of Computer Application ChineseAcademy of Sciences, Chengdu, 610041, China; Guangxi University for Nationalities, Nanning,Guangxi, 530003, China; Beijing Jiaotong University, Beijing, 100191, China; Yang Liu; Jinzhao Wu
2011Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm for Fixed Point EquationCollege of Mathematics and Computer Science, Guangxi University for Nationalities Nanning 530006, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Nanning 530006, China; School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Liangdong Qu, Liangdong; He, Dengxu; Jinzhao Wu
2011Hybrid coevolutionary glowworm swarm optimization algorithm with simplex search method for system of nonlinear equationsCollege of Mathematics and Computer Science, Guangxi University for Nationalities, Nanning 530006, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Nanning 530006, China; School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Liangdong Qu; Dengxu He; Jinzhao Wu
2009Process Algebra with Chaos Executing Policy for Unhealthy Systems1School of Information Science and Engineering Lanzhou University Lanzhou University, Lanzhou 730000, China; 2School of Computer and Information Technology,Beijing Jiaotong University,Beijing 100044, China; Guang Zheng; Lian Li; Wenbo Chen; Anping He; Jinzhao Wu
2009Real Time Process Algebra with Urgency Executing PolicySchool of Information Science and Engineering,Lanzhou University, Lanzhou, China 730000,{chenwb, zhengguang, lil}@lzu.edu.cn; School of Computer and Information Technology,Beijing Jiaotong University,Beijing, China, 100044; 3Chengdu Institute of Computer Applications Chinese Academy of Sciences,Chengdu, China, 610054 himrwujz@yahoo.com.cn; Wenbo Chen; Guang Zheng; Lian Li; Jinzhao Wu
2005Realizing ternary quantum switching networks without ancilla bitsDepartment of Electrical & Computer Engineering, Portland State University,1900 SW Fourth Avenue, PO Box 751, Portland, Oregon 97201, USA; Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041,People’s Republic of China; Guowu Yang; Xiaoyu Song; Marek Perkowski; Jinzhao Wu
2006Refinement of actions for real-time concurrent systems with causal ambiguityFakultät für Mathematik und Informatik, Universität Mannheim,Germany E-mail: mcb@informatik.uni-mannheim.de; Chengdu Institute of Computer Applications Chinese Academy of Sciences, Chengdu 610041, China; Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue
2013Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort PreprocessingSchool of Information Science and Engineering, Guangxi University for Nationalities, Nanning, China; Chengdu Institute of Computer Application, Chinese Academy Of Sciences, Chengdu, China; Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Nanning, China; Yong Huang; Jinzhao Wu
2011Stochastic Process Algebra with Value-Passing and Weak Time RestrictionsInformation Science and Engineering School, Lanzhou University, Lanzhou 730000, China, Email: forzhengguang@163.com 2 Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China; Guangxi University for Nationalities, China Academy of Chinese Medical Sciences, Nanning, 530004, China 2 School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China; Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China; Guang Zheng; Jinzhao Wu; Aiping Lu
2003Towards action refinement for true concurrent real timeUniversit¨at Mannheim, Fakult¨at f¨ur Mathematik und Informatik, D7, 27, 68131 Mannheim,Germany (e-mail: {mcb, wu}@pi2.informatik.uni-mannheim.de); Mila Majster-Cederbaum; Jinzhao Wu
1998Well-Behaved Inference Rules for First-Order Theorem ProvingDepartment of Mathematics, Peking University, Beijing 100871, China; Institute of Systems Science, Academia Sinica, Beijing 100080, China; Jinzhao Wu; Zhuojun Liu
Showing results 1 to 18 of 18

Number of Online Users: 115     Total of Site Visit: 3505152