Journal of Computer Science and Technology Short Title: J. Comput. Sci. Technol. Publisher: Springer, Dordrecht; Science Press, Beijing ISSN: 1000-9000; 1860-4749/e Online: http://link.springer.com/journal/volumesAndIssues/11390 Comments: Journal; No longer indexed Documents Indexed: 688 Publications (1986–2014) References Indexed: 674 Publications with 11,039 References. all top 5 Latest Issues 29, No. 1 (2014) 28, No. 6 (2013) 28, No. 5 (2013) 28, No. 4 (2013) 28, No. 3 (2013) 28, No. 2 (2013) 28, No. 1 (2013) 27, No. 6 (2012) 27, No. 5 (2012) 27, No. 4 (2012) 27, No. 3 (2012) 27, No. 2 (2012) 27, No. 1 (2012) 26, No. 6 (2011) 26, No. 5 (2011) 26, No. 4 (2011) 26, No. 3 (2011) 26, No. 2 (2011) 26, No. 1 (2011) 21, No. 4 (2006) 21, No. 3 (2006) 21, No. 2 (2006) 21, No. 1 (2006) 20, No. 1 (2005) 18, No. 6 (2003) 18, No. 5 (2003) 18, No. 4 (2003) 18, No. 3 (2003) 18, No. 2 (2003) 18, No. 1 (2003) 17, No. 6 (2002) 17, No. 5 (2002) 17, No. 4 (2002) 17, No. 3 (2002) 17, No. 2 (2002) 17, No. 1 (2002) 16, No. 6 (2001) 16, No. 5 (2001) 16, No. 4 (2001) 16, No. 3 (2001) 16, No. 2 (2001) 16, No. 1 (2001) 15, No. 6 (2000) 15, No. 5 (2000) 15, No. 4 (2000) 15, No. 3 (2000) 15, No. 2 (2000) 15, No. 1 (2000) 14, No. 6 (1999) 14, No. 5 (1999) 14, No. 4 (1999) 14, No. 3 (1999) 14, No. 2 (1999) 13, No. 6 (1998) 13, No. 5 (1998) 13, No. 4 (1998) 13, No. 3 (1998) 13, No. 2 (1998) 13, No. 1 (1998) 13, Suppl. (1998) 12, No. 6 (1997) 12, No. 5 (1997) 12, No. 4 (1997) 12, No. 3 (1997) 12, No. 1 (1997) 11, No. 4 (1996) 10, No. 5 (1995) 10, No. 4 (1995) 10, No. 3 (1995) 9, No. 3 (1994) 9, No. 2 (1994) 9, No. 1 (1994) 8, No. 4 (1993) 8, No. 3 (1993) 8, No. 1 (1993) 7, No. 4 (1992) 7, No. 1 (1992) 6, No. 3 (1991) 6, No. 2 (1991) 6, No. 1 (1991) 5, No. 3 (1990) 5, No. 2 (1990) 5, No. 1 (1990) 4, No. 2 (1989) 4, No. 1 (1989) 2, No. 1 (1987) 1, No. 2 (1986) 1, No. 1 (1986) all top 5 Authors 10 Min, Yinghua 9 Chen, Guoliang 9 Li, Wei 9 Zhou, Aoying 8 Fu, Yuxi 8 Peng, Qunsheng 8 Shi, Baile 8 Sun, Yongqiang 8 Zhang, Bo 7 Gao, Wen 7 Shuai, Dianxun 7 Zheng, Fang 6 Cao, Cungen 6 Chen, Shihua 6 Cheng, Shiduan 6 Liu, Weiyi 6 Ma, Songde 6 Sui, Yuefei 6 Wang, Jue 6 Wang, Shan 6 Wei, Daozheng 6 Zhang, Ling 5 Chen, Huowang 5 Gu, Jun 5 Hong, Xianlong 5 Hu, Yunfa 5 Hu, Zhanyi 5 Liu, Shenquan 5 Ma, Shaohan 5 Qin, Kaihuai 5 Shen, Yidong 5 Shi, Jiaoying 5 Sun, Jiaguang 5 Tao, Renji 5 Wang, Jiaye 5 Wu, Jianping 4 Bao, Hujun 4 Chao, Yuyan 4 Chen, Shifu 4 Gao, Qingshi 4 He, Lifeng 4 Jin, Wen 4 Li, Xiaowei 4 Long, KePing 4 Luan, Shangmin 4 Meng, Xiaofeng 4 Qian, Weining 4 Wu, Enhua 4 Wu, HaiTao 4 Wu, Jieyi 4 Xu, Yinlong 4 Ying, Mingsheng 4 Yu, Ge 4 Yuan, Chongyi 4 Zhang, Fuyan 4 Zheng, Guoliang 4 Zhu, Hong 3 Chen, Tinghuai 3 Chen, Yangjun 3 Chen, Yiyun 3 Cheung, Paul Y. S. 3 Dai, Guozhong 3 Fei, Xiang 3 Gu, Guanqun 3 Gu, Jing 3 Han, Chengde 3 Hou, Zifeng 3 Hu, Shimin 3 Huang, Liusheng 3 Itoh, Hidenori 3 Jin, Zhi 3 Li, Chunlin 3 Li, Guojie 3 Li, Layuan 3 Li, Xuandong 3 Lin, Huimin 3 Lin, Yu 3 Ma, Huadong 3 Ma, Jun 3 Song, Guoxin 3 Song, Jianping 3 Song, Ning 3 Song, Zhanjiang 3 Tang, Shiwei 3 Tian, Zengping 3 Wang, Dingxing 3 Wang, Guoren 3 Wang, Shitong 3 Wang, Wenping 3 Wu, Jinzhao 3 Wu, Quanyuan 3 Zhang, Mingyi 3 Zhang, Zhaoqing 3 Zhou, Shuigeng 3 Zhuang, Zhenquan 2 Bao, HaiYun 2 Cai, Wenli 2 Cai, Yici 2 Chen, Jian-er 2 Chen, Junliang ...and 1,165 more Authors all top 5 Fields 630 Computer science (68-XX) 55 Information and communication theory, circuits (94-XX) 35 Mathematical logic and foundations (03-XX) 21 Numerical analysis (65-XX) 17 Operations research, mathematical programming (90-XX) 9 Combinatorics (05-XX) 8 Statistics (62-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General and overarching topics; collections (00-XX) 4 Biology and other natural sciences (92-XX) 3 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 2 Group theory and generalizations (20-XX) 2 Approximations and expansions (41-XX) 2 Geometry (51-XX) 2 Probability theory and stochastic processes (60-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Partial differential equations (35-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 192 Publications have been cited 565 times in 497 Documents Cited by ▼ Year ▼ Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160 Wang, Jue; Wang, Ju 26 2001 Hierarchical structures on multigranulation spaces. Zbl 1280.68259 Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu 21 2012 Analysis on attribute reduction strategies of rough set. Zbl 0902.68049 Wang, Jue; Miao, Duoqian 13 1998 Semi-online scheduling with machine cost. Zbl 1070.90518 He, Yong; Cai, Shengyi 10 2002 The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579 Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing 10 2003 QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034 He, XiaoShan; Sun, XianHe; von Laszewski, Gregor 10 2003 Two varieties of finite automaton public key cryptosystem and digital signatures. Zbl 0614.94005 Tao, Renji; Chen, Shihua 9 1986 A geometric approach for multi-degree spline. Zbl 1280.65014 Li, Xin; Huang, Zhang-Jin; Liu, Zhao 9 2012 The twisted-cube connected networks. Zbl 0917.68014 Wang, Deqiang; Zhao, Lianchang 7 1999 Recent advances in automated theorem proving on inequalities. Zbl 0944.68169 Yang, Lu 6 1999 Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065 Chen, Jian-Er 6 2005 A type of triangular ball surface and its properties. Zbl 0893.68158 Hu, Shimin; Wang, Guojin; Sun, Jiaguang 6 1998 An \(O(k^ 2 n^ 2)\) algorithm to find a \(k\)-partition in a \(k\)- connected graph. Zbl 0804.68104 Ma, Jun; Ma, Shaohan 6 1994 Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082 Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen 6 2011 AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882 Peng, Wei; Lu, Xicheng 5 2001 A reduction algorithm meeting users’ requirements. Zbl 1057.68026 Zhao, Kai; Wang, Jue 5 2002 Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281 Weise, Thomas; Chiong, Raymond; Tang, Ke 5 2012 Computing bisimulations for finite-control \(\pi\)-calculus. Zbl 0954.68040 Lin, Huimin 4 2000 Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175 Wang, Jue; Cui, Jia; Zhao, Kai 4 2001 Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050 Li, JiGuo; Cao, ZhenFu; Zhang, YiChen 4 2003 Checking temporal duration properties of timed automata. Zbl 1056.68096 Li, Yong; Dang Van Hung 4 2002 On the structure of finite automata of which M’ is a (weak) inverse with delay \(\tau\). Zbl 0605.68043 Chen, Shihua 4 1986 An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049 Huang, Wenqi; Zhang, Defu; Wang, Houxiang 4 2002 Scheduling multi-mode projects under uncertainty to optimize cash flows: a Monte Carlo ant colony system approach. Zbl 1279.68301 Chen, Wei-Neng; Zhang, Jun 4 2012 Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053 Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie 4 2011 Statistical heuristic search. Zbl 0641.68088 Zhang, Bo; Zhang, Ling 3 1987 A new method for generating conic sections. Zbl 0673.68032 Wang, Wenping; Wang, Jiaye 3 1989 On the structure of binary feedforward inverses with delay 2. Zbl 0688.68052 Zhu, Xinjie 3 1989 Input-trees of finite automata and application to cryptanalysis. Zbl 0976.94024 Tao, Renji; Chen, Shihua 3 2000 Symmetric \(\pi\)-calculus. Zbl 0899.68022 Fu, Yuxi 3 1998 A logical framework for knowledge base maintenance. Zbl 0837.68114 Li, Wei 3 1995 Average-case analysis of algorithms using Kolmogorov complexity. Zbl 0961.68065 Jiang, Tao; Li, Ming; Vitányi, Paul M. B. 3 2000 New algorithms for the perspective-three-point problem. Zbl 0983.65020 Gao, Xiaoshan; Chen, Hangfei 3 2001 Reaction graph. Zbl 0910.68073 Fu, Yuxi 3 1998 Formal derivation of graph algorithmic programs using partition-and-recur. Zbl 0910.68090 Xue, Jinyun 3 1998 A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092 Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew 3 2003 An improved algorithm for finding the closest pair of points. Zbl 1190.68070 Ge, Qi; Wang, Haitao; Zhu, Hong 3 2006 The complexity of the 0/1 multi-knapsack problem. Zbl 0593.68036 Zhang, Liang; Geng, Suyun 3 1986 The comparison between the statistical heuristic search and \(A^*\). Zbl 0719.62093 Zhang, Bo; Zhang, Ling 3 1989 The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029 Ma, Yan-Fang; Zhang, Min 3 2013 Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093 Zhao, XiShun; Ding, DeCheng 3 2003 Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096 Wang, Jiaqi; Tao, Qing; Wang, Jue 3 2002 Compact differential evolution light: high performance despite limited memory requirement and modest computational overhead. Zbl 1279.68031 Iacca, Giovanni; Caraffini, Fabio; Neri, Ferrante 3 2012 A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123 Woodruff, David P. 3 2012 Pseudo-randomness of certain sequences of \(k\) symbols with length \(pq\). Zbl 1280.11042 Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang 3 2011 Fault-tolerance analysis of multibus multiprocessor system. Zbl 0685.68017 Yao, Rong; Chen, Tinghuai; Kang, Tai 2 1989 Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system. Zbl 0937.68124 Zhang, Chengqi; Luo, Xudong 2 1999 Solving SAT by algorithm transform of Wu’s method. Zbl 0944.68196 He, Simin; Zhang, Bo 2 1999 Optimum tactics of parallel multi-grid algorithm with virtual boundary forecast method running on a local network with the PVM platform. Zbl 0960.65105 Guo, Qingping; Paker, Yakup; Zhang, Shesheng; Parkinson, Dennis; Wei, Jianing 2 2000 Checking timed automata for linear duration properties. Zbl 0961.68079 Zhao, Jianhua; Dang Van Hung 2 2000 An optimal multicast algorithm for cube-connected cycles. Zbl 0966.68004 Song, Jianping; Hou, Zifeng; Shi, Yuntao 2 2000 A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242 Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying 2 2001 Approaches for scaling DBSCAN algorithm to large spatial databases. Zbl 0970.68583 Zhou, Aoying; Zhou, Shuigeng; Cao, Jing; Fan, Ye; Hu, Junfa 2 2000 Decidability of mean value calculus. Zbl 0919.03009 Li, Xiaoshan 2 1999 Comparison of different implementations of MFCC. Zbl 1032.68728 Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang 2 2001 Some contributions to nonmonotonic consequence. Zbl 1003.68160 Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia 2 2001 Testing congruence for mobile processes. Zbl 1004.68118 Fu, Yuxi 2 2002 Automatic mesh generation on a regular background grid. Zbl 1048.65122 Lo, S. H.; Liu, Jianfei 2 2002 Semantic computation in a Chinese question-answering system. Zbl 1095.68708 Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun 2 2002 Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516 Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun 2 2003 An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517 Sun, ShuLi; Liu, JianFei 2 2003 Recent advances in evolutionary computation. Zbl 1190.68051 Yao, Xin; Xu, Yong 2 2006 An improved graphic representation for structured program design. Zbl 0725.68031 Zhou, Qihai 2 1991 Performance prediction of the Hough transform. Zbl 0865.68127 Hu, Zhanyi; Ma, Songde 2 1997 Asynchronous superimposition mechanisms of concurrent competitive waves for hyper-distributed hyper-parallel heuristic problem solving. Zbl 0881.68111 Shuai, Dianxun 2 1997 Magic sets revisited. Zbl 0881.68044 Chen, Yangjun 2 1997 Constructive sets in computable sets. Zbl 0883.03043 Fu, Yuxi 2 1997 Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing. Zbl 0885.68129 Shuai, Dianxun 2 1997 An algebraic hardware/software partitioning algorithm. Zbl 1005.68182 Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 2 2002 Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104 Tao, Renji; Chen, Shihua 2 2002 Blending parametric patches with subdivision surfaces. Zbl 1057.68122 Li, Guiqing; Li, Hua 2 2002 Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018 He, Zengyou; Xu, Xiaofei; Deng, Shengchun 2 2002 Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111 Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun 2 2012 Worst-case Nash equilibria in restricted routing. Zbl 1280.68056 Lu, Pin-Yan; Yu, Chang-Yuan 2 2012 An optimized divide-and-conquer algorithm for the closest-pair problem in the planar case. Zbl 1280.68282 Pereira, José C.; Lobo, Fernando G. 2 2012 Construction of 1-resilient Boolean functions with optimal algebraic immunity and good nonlinearity. Zbl 1280.94088 Pan, Sen-Shan; Fu, Xiao-Tong; Zhang, Wei-Guo 2 2011 Managing software requirements changes based on negotiation-style revision. Zbl 1280.68079 Mu, Ke-Dian; Liu, Weiru; Jin, Zhi; Hong, Jun; Bell, David 2 2011 Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124 Liu, Liya; Hasan, Osman; Tahar, Sofiène 2 2013 Easy test generation PLAs. Zbl 0632.94025 Min, Yinghua 1 1987 A new formal method for communication protocol specification. Zbl 0681.68033 Li, Layuan 1 1989 Study on strand space model theory. Zbl 1031.68063 Ji, QingGuang; Qing, SiHan; Zhou, YongBin; Feng, DengGuo 1 2003 IEEE 802.11 distributed coordination function: Enhancement and analysis. Zbl 1046.68025 Wu, HaiTao; Lin, Yu; Cheng, ShiDuan; Peng, Yong; Long, KePing 1 2003 A commit strategy for distributed real-time transaction. Zbl 1031.68026 Qin, Biao; Liu, YunSheng; Yang, JinCai 1 2003 SSTT: Efficient local search for GSI global routing. Zbl 1031.68054 Jing, Tong; Hong, XianLong; Bao, HaiYun 1 2003 Approximation for knapsack problems with multiple constraints. Zbl 0937.68152 Zhang, Li’ang; Zhang, Yin 1 1999 On \(k\)-positive satisfiability problem. Zbl 1084.68889 Huang, Xiong; Li, Wei 1 1999 An incremental approach to automatic algorithm design. Zbl 0979.68566 Luan, Shangmin; Li, Wei 1 1999 Relative properties of frame language. Zbl 0945.68056 Fu, Yuxi 1 1999 Topology in process calculus. I: Limit behaviour of agents. Zbl 0937.68048 Ying, Mingsheng 1 1999 Asynchronous heterogeneous mechanism for hyper-distributed hyper-parallel AI processing. Zbl 0937.68117 Shuai, Dianxun 1 1999 Automated generation of Kempe linkage and its complexity. Zbl 0954.70006 Gao, Xiaoshan; Zhu, Changcai 1 1999 Constructing finite automata with invertibility by transformation method. Zbl 1044.94535 Tao, Renji; Chen, Shihua 1 2000 Timing-sequence testing of parallel programs. Zbl 0954.68046 Liang, Yu; Li, Shu; Zhang, Hui; Han, Chengde 1 2000 A new parallel-by-cell approach to undistorted data compression based on cellular automaton and genetic algorithm. Zbl 0952.68093 Gu, Jing; Shuai, Dianxun 1 1999 Studies on algorithms for self-stabilizing communication protocols. Zbl 0951.68501 Li, Layuan; Li, Chunlin 1 1999 An efficient multiple predicate learner. Zbl 0899.68084 Zhang, Xiaolong; Numao, Masayuki 1 1998 Head boundedness of nonterminating rewritings. Zbl 0837.68053 Chen, Yiyun 1 1995 Logical object as a basis of knowledge based systems. Zbl 0845.68100 Xu, Dianxiang; Zheng, Guoliang 1 1995 Decision tree complexity of graph properties with dimension at most 5. Zbl 0961.68108 Gao, Suixiang; Lin, Guohui 1 2000 Default reasoning and belief revision: A syntax-independent approach. Zbl 0964.03028 Zhang, Dongmo; Zhu, Zhaohui; Chen, Shifu 1 2000 The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029 Ma, Yan-Fang; Zhang, Min 3 2013 Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124 Liu, Liya; Hasan, Osman; Tahar, Sofiène 2 2013 Dominant skyline query processing over multiple time series. Zbl 1296.90112 Wang, Hao; Wang, Chao-Kun; Xu, Ya-Jun; Ning, Yuan-Chi 1 2013 A generic framework for anonymous authentication in mobile networks. Zbl 1296.94159 Xu, Jing; Zhu, Wen-Tao 1 2013 Collision attack on the full extended MD4 and pseudo-preimage attack on RIPEMD. Zbl 1280.94098 Wang, Gao-Li 1 2013 On 2-site Voronoi diagrams under geometric distance functions. Zbl 1280.68276 Barequet, Gill; Dickerson, Matthew; Eppstein, David; Hodorkovsky, David; Vyatkina, Kira 1 2013 On the toggling-branching recurrence of computability logic. Zbl 1280.03038 Qu, Mei-Xia; Luan, Jun-Feng; Zhu, Da-Ming; Du, Meng 1 2013 An algorithm for connected-component labeling, hole labeling and Euler number computing. Zbl 1280.68287 He, Li-Feng; Chao, Yu-Yan; Suzuki, Kenji 1 2013 Hierarchical structures on multigranulation spaces. Zbl 1280.68259 Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu 21 2012 A geometric approach for multi-degree spline. Zbl 1280.65014 Li, Xin; Huang, Zhang-Jin; Liu, Zhao 9 2012 Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281 Weise, Thomas; Chiong, Raymond; Tang, Ke 5 2012 Scheduling multi-mode projects under uncertainty to optimize cash flows: a Monte Carlo ant colony system approach. Zbl 1279.68301 Chen, Wei-Neng; Zhang, Jun 4 2012 Compact differential evolution light: high performance despite limited memory requirement and modest computational overhead. Zbl 1279.68031 Iacca, Giovanni; Caraffini, Fabio; Neri, Ferrante 3 2012 A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123 Woodruff, David P. 3 2012 Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111 Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun 2 2012 Worst-case Nash equilibria in restricted routing. Zbl 1280.68056 Lu, Pin-Yan; Yu, Chang-Yuan 2 2012 An optimized divide-and-conquer algorithm for the closest-pair problem in the planar case. Zbl 1280.68282 Pereira, José C.; Lobo, Fernando G. 2 2012 Differential evolution with adaptive mutation and parameter control using Lévy probability distribution. Zbl 1279.68304 He, Ren-Jie; Yang, Zhen-Yu 1 2012 Optimal checkpoint placement on real-time tasks with harmonic periods. Zbl 1280.68068 Kwak, Seong Woo; Yang, Jung-Min 1 2012 Convex decomposition based cluster labeling method for support vector clustering. Zbl 1280.68191 Ping, Yuan; Tian, Ying-Jie; Zhou, Ya-Jian; Yang, Yi-Xian 1 2012 Community detection in dynamic social networks based on multiobjective immune algorithm. Zbl 1280.68064 Gong, Mao-Guo; Zhang, Ling-Jun; Ma, Jing-Jing; Jiao, Li-Cheng 1 2012 On isomorphism testing of groups with normal Hall subgroups. Zbl 1280.68111 Qiao, You-Ming; Sarma M. N., Jayalal; Tang, Bang-Sheng 1 2012 Pricing loss leaders can be hard. Zbl 1280.68105 Wu, Yi 1 2012 Synthesizing distributed protocol specifications from a UML state machine modeled service specification. Zbl 1280.68067 Dallal, Jehad Al; Saleh, Kassem A. 1 2012 Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082 Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen 6 2011 Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053 Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie 4 2011 Pseudo-randomness of certain sequences of \(k\) symbols with length \(pq\). Zbl 1280.11042 Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang 3 2011 Construction of 1-resilient Boolean functions with optimal algebraic immunity and good nonlinearity. Zbl 1280.94088 Pan, Sen-Shan; Fu, Xiao-Tong; Zhang, Wei-Guo 2 2011 Managing software requirements changes based on negotiation-style revision. Zbl 1280.68079 Mu, Ke-Dian; Liu, Weiru; Jin, Zhi; Hong, Jun; Bell, David 2 2011 Security of the SMS4 block cipher against differential cryptanalysis. Zbl 1280.94095 Su, Bo-Zhan; Wu, Wen-Ling; Zhang, Wen-Tao 1 2011 NuMDG: a new tool for multiway decision graphs construction. Zbl 1280.68121 Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène 1 2011 Provably secure role-based encryption with revocation mechanism. Zbl 1280.94101 Zhu, Yan; Hu, Hong-Xin; Ahn, Gail-Joon; Wang, Huai-Xi; Wang, Shan-Biao 1 2011 Differential attack on five rounds of the SC2000 block cipher. Zbl 1280.94081 Lu, Jiqiang 1 2011 Detecting communities in \(K\)-partite \(K\)-uniform (hyper)networks. Zbl 1280.68055 Liu, Xin; Murata, Tsuyoshi 1 2011 An improved algorithm for finding the closest pair of points. Zbl 1190.68070 Ge, Qi; Wang, Haitao; Zhu, Hong 3 2006 Recent advances in evolutionary computation. Zbl 1190.68051 Yao, Xin; Xu, Yong 2 2006 Quaternion diffusion for color image filtering. Zbl 1190.68076 Liu, Zhongxuan; Lian, Shiguo; Ren, Zhen 1 2006 Force-based incremental algorithm for mining community structure in dynamic network. Zbl 1190.68053 Yang, Bo; Liu, Dayou 1 2006 Constraint-based fuzzy models for an environment with heterogeneous information-granules. Zbl 1190.68056 Lai, K. Robert; Chiang, Yi-Yuan 1 2006 Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065 Chen, Jian-Er 6 2005 The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579 Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing 10 2003 QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034 He, XiaoShan; Sun, XianHe; von Laszewski, Gregor 10 2003 Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050 Li, JiGuo; Cao, ZhenFu; Zhang, YiChen 4 2003 A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092 Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew 3 2003 Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093 Zhao, XiShun; Ding, DeCheng 3 2003 Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516 Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun 2 2003 An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517 Sun, ShuLi; Liu, JianFei 2 2003 Study on strand space model theory. Zbl 1031.68063 Ji, QingGuang; Qing, SiHan; Zhou, YongBin; Feng, DengGuo 1 2003 IEEE 802.11 distributed coordination function: Enhancement and analysis. Zbl 1046.68025 Wu, HaiTao; Lin, Yu; Cheng, ShiDuan; Peng, Yong; Long, KePing 1 2003 A commit strategy for distributed real-time transaction. Zbl 1031.68026 Qin, Biao; Liu, YunSheng; Yang, JinCai 1 2003 SSTT: Efficient local search for GSI global routing. Zbl 1031.68054 Jing, Tong; Hong, XianLong; Bao, HaiYun 1 2003 Outline of initial design of the structured hypertext transfer protocol. Zbl 1091.68512 Swen, Bin 1 2003 Decomposing a kind of weakly invertible finite automata with delay 2. Zbl 1046.68071 Yao, Gang 1 2003 Fast algorithms for revision of some special propositional knowledge bases. Zbl 1046.68104 Luan, ShangMin; Dai, GuoZhong 1 2003 \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE. Zbl 1089.68625 He, LiFeng; Chao, Yuyan; Nakamura, Tsuyoshi; Itoh, Hidenori 1 2003 A cost effective fault-tolerant scheme for RAIDs. Zbl 1091.68514 Fang, Liang; Lu, XiCheng 1 2003 Space-time coding and signal processing for MIMO communications. Zbl 1058.94501 Berenguer, Inaki; Wang, Xiaodong 1 2003 Combining static analysis and case-based search space partitioning for reducing peak memory in model checking. Zbl 1083.68519 Zhang, WenHui 1 2003 Analyzing and mining ordered information tables. Zbl 1083.68101 Sai, Ying; Yao, Y. Y. 1 2003 Semantic language and multi-language MT approach based on SL. Zbl 1083.68619 Gao, QingShi; Hu, Yue; Li, Li; Gao, XiaoYu 1 2003 Automatic target detection by optimal morphological filters. Zbl 1023.68115 Yu, Nong; Wu, Hao; Wu, ChangYong; Li, YuShu 1 2003 A programmable approach to maintenance of a finite knowledge base. Zbl 1025.68033 Luan, ShangMin; Dai, GuoZhong; Li, Wei 1 2003 VEGA infrastructure for resource discovery in grids. Zbl 1031.68021 Gong, YiLi; Dong, FangPeng; Li, Wei; Xu, ZhiWei 1 2003 CAFISE: An approach to enabling adaptive configuration of service grid applications. Zbl 1031.68024 Han, YanBo; Zhao, ZhuoFeng; Li, Gang; Xing, DongShan; Lv, QingZhong; Wang, JianWu; Xiong, JinHua; Liu, Hao 1 2003 A theorem on grid access control. Zbl 1031.68025 Xu, ZhiWei; Bu, GuanYing 1 2003 Semi-online scheduling with machine cost. Zbl 1070.90518 He, Yong; Cai, Shengyi 10 2002 A reduction algorithm meeting users’ requirements. Zbl 1057.68026 Zhao, Kai; Wang, Jue 5 2002 Checking temporal duration properties of timed automata. Zbl 1056.68096 Li, Yong; Dang Van Hung 4 2002 An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049 Huang, Wenqi; Zhang, Defu; Wang, Houxiang 4 2002 Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096 Wang, Jiaqi; Tao, Qing; Wang, Jue 3 2002 Testing congruence for mobile processes. Zbl 1004.68118 Fu, Yuxi 2 2002 Automatic mesh generation on a regular background grid. Zbl 1048.65122 Lo, S. H.; Liu, Jianfei 2 2002 Semantic computation in a Chinese question-answering system. Zbl 1095.68708 Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun 2 2002 An algebraic hardware/software partitioning algorithm. Zbl 1005.68182 Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 2 2002 Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104 Tao, Renji; Chen, Shihua 2 2002 Blending parametric patches with subdivision surfaces. Zbl 1057.68122 Li, Guiqing; Li, Hua 2 2002 Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018 He, Zengyou; Xu, Xiaofei; Deng, Shengchun 2 2002 Requirements specifications checking of embedded real time software. Zbl 1004.68034 Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing 1 2002 A model-based approach to object-oriented software metrics. Zbl 1095.68568 Mei, Hong; Xie, Tao; Yang, Fuqing 1 2002 A personalized information dissemination system based on How-Net. Zbl 1094.68692 Zhang, Lei; Du, Xiaoyong; Wang, Shan 1 2002 Sequential combination methods for data clustering analysis. Zbl 1021.68081 Qian, Yuntao; Suen, Ching Y.; Tang, Yuanyan 1 2002 Digital image watermarking based on discrete wavelet transform. Zbl 1021.68103 Ding, Wei; Yan, Weiqi; Qi, Dongxu 1 2002 Practical fast computation of Zernike moments. Zbl 1004.68190 Al-Rawi, Mohammed; Yang, Jie 1 2002 From active to passive – progress in testing internet routing protocols. Zbl 1005.68013 Zhao, Yixin; Wu, Jianping; Yin, Xia 1 2002 Extracting and sharing knowledge from medical texts. Zbl 1005.68840 Cao, Cungen 1 2002 Study of general incomplete star interconnection networks. Zbl 1005.68011 Shi, Yuntao; Hou, Zifeng; Song, Jianping 1 2002 Data extraction from the web based on pre-defined schema. Zbl 1057.68007 Meng, Xiaofeng; Lu, Hongjun; Wang, Haiyan; Gu, Mingzhe 1 2002 Hybrid broadcast for the video-on-demand service. Zbl 1012.68008 Ma, Huadong; Shin, Kang G. 1 2002 An effective feedback control mechanism for DiffServ architecture. Zbl 1057.68011 Wang, Chonggang; Long, Keping; Yang, Jian; Cheng, Shiduan 1 2002 A component-based software configuration management model and its supporting system. Zbl 1057.68012 Mei, Hong; Zhang, Lu; Yang, Fuqing 1 2002 Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061 Lu, Ruqian; Jin, Zhi 1 2002 Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160 Wang, Jue; Wang, Ju 26 2001 AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882 Peng, Wei; Lu, Xicheng 5 2001 Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175 Wang, Jue; Cui, Jia; Zhao, Kai 4 2001 New algorithms for the perspective-three-point problem. Zbl 0983.65020 Gao, Xiaoshan; Chen, Hangfei 3 2001 A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242 Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying 2 2001 Comparison of different implementations of MFCC. Zbl 1032.68728 Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang 2 2001 Some contributions to nonmonotonic consequence. Zbl 1003.68160 Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia 2 2001 Semantics of constructions. I: The traditional approach. Zbl 0974.03032 Fu, Yuxi 1 2001 Towards a denotational semantics of timed RSL using duration calculus. Zbl 0974.68114 Li, Li 1 2001 ...and 92 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,149 Authors 9 Miao, Duoqian 7 Fu, Yuxi 6 Chen, Shihua 6 Tao, Renji 6 Wang, Jue 5 Qian, Jin 5 Wang, Jianxin 4 Beccari, Carolina Vittoria 4 Casciola, Giulio 4 Chen, Jian-er 4 Hu, Qinghua 4 Liu, Caihui 4 Rossi, André 4 Sevaux, Marc 4 Shuai, Dianxun 4 Wang, Guoyin 4 Yao, Yiyu 4 Zhao, Yan 3 Cao, Zhenfu 3 Castaño, Fabian 3 Duan, Zhenhua 3 Fan, Jianxi 3 Gao, Xiaoshan 3 Han, Xuli 3 Hughes, Thomas J. R. 3 Jiang, Yiwei 3 Li, Huaxiong 3 Li, Jinjin 3 Li, Wei 3 Rieck, Michael Q. 3 Shen, Wanqiang 3 Skowron, Andrzej 3 Toshniwal, Deepesh 3 Velasco, Nubia 3 Wu, Guoqing 3 Xu, Weihua 3 Xue, Jinyun 3 Xue, Qingshui 3 Yu, Jianhang 3 Yue, Xiaodong 3 Zhang, Defu 3 Zhang, Dongmo 3 Zheng, Yujun 3 Zhu, Daming 3 Zhu, Yuanpeng 2 Anshelevich, Elliot 2 Aubrun, Guillaume 2 Bae, Sang Won 2 Caraffini, Fabio 2 Chang, Jou-Ming 2 Chen, Guoliang 2 Chen, Wufan 2 Chen, Yangjun 2 Chen, Zhixiong 2 Cheng, Shiduan 2 Choi, Sunghee 2 Cioni, Lapo 2 Della Vedova, Gianluca 2 Ding, Decheng 2 Dondi, Riccardo 2 Dutta, Kaushik 2 Feng, Qilong 2 Fermé, Eduardo Leopoldo 2 Ferrari, Luca 2 Gao, Suixiang 2 Goranko, Valentin F. 2 Gu, Jing 2 Guo, Chunxiang 2 Guo, Litao 2 Han, Suqing 2 He, Jifeng 2 He, Yong 2 Hiemstra, René R. 2 Hu, Feng 2 Hu, Shaoxiang 2 Hu, Zhanyi 2 Huang, Bing 2 Huang, Qiong 2 Huang, Shuqiang 2 Imreh, Csanád 2 Jia, Xiaohua 2 Jiang, Tao 2 Jiao, Licheng 2 Jing, Tong 2 Kar, Koushik 2 Kononova, Anna V. 2 Lai, Xuejia 2 Lee, Chunseok 2 Leung, Ho-fung 2 Li, Chao 2 Li, Chunlin 2 Li, Fengying 2 Li, Layuan 2 Li, Shaohua 2 Li, Wei 2 Liang, Jiye 2 Liao, Zhiwu 2 Lin, Guoping 2 Luan, Shangmin 2 Luo, Xudong ...and 1,049 more Authors all top 5 Cited in 129 Journals 98 Journal of Computer Science and Technology 28 Information Sciences 19 Theoretical Computer Science 12 Mathematical Problems in Engineering 11 International Journal of Computer Mathematics 11 Science in China. Series F 10 European Journal of Operational Research 9 Applied Mathematics and Computation 8 Discrete Applied Mathematics 8 Computers & Operations Research 8 International Journal of Approximate Reasoning 8 Journal of Mathematical Imaging and Vision 7 Journal of Intelligent and Fuzzy Systems 6 Soft Computing 6 Wuhan University Journal of Natural Sciences (WUJNS) 6 Journal of Systems Science and Complexity 5 Computers & Mathematics with Applications 5 Information Processing Letters 5 Journal of Computational and Applied Mathematics 4 Computer Methods in Applied Mechanics and Engineering 4 Computer Aided Geometric Design 4 International Journal of Foundations of Computer Science 4 Designs, Codes and Cryptography 4 Chinese Science Bulletin 4 Science China. Information Sciences 3 Acta Informatica 3 Computing 3 International Journal for Numerical Methods in Engineering 3 Journal of Philosophical Logic 3 Mathematics and Computers in Simulation 3 MSCS. Mathematical Structures in Computer Science 3 Pattern Recognition 3 Applied Mathematics. Series B (English Edition) 3 Journal of Applied Mathematics 3 Frontiers of Computer Science in China 2 Artificial Intelligence 2 Fuzzy Sets and Systems 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 ACM Transactions on Graphics 2 Algorithmica 2 International Journal of Parallel Programming 2 Information and Computation 2 Mathematical and Computer Modelling 2 Journal of Cryptology 2 Journal of Global Optimization 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 2 Theory of Computing Systems 2 Abstract and Applied Analysis 2 Journal of Inequalities and Applications 2 Journal of Combinatorial Optimization 2 Sādhanā 2 Quantum Information Processing 2 International Journal of Quantum Information 2 Inverse Problems in Science and Engineering 2 Computational & Mathematical Methods in Medicine 2 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Biological Cybernetics 1 Computers and Fluids 1 Communications in Mathematical Physics 1 Discrete Mathematics 1 International Journal of Control 1 International Journal of General Systems 1 International Journal of Systems Science 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Journal of Statistical Physics 1 Periodica Mathematica Hungarica 1 Mathematics of Computation 1 Synthese 1 Acta Mathematicae Applicatae Sinica. English Series 1 Optimization 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Signal Processing 1 Annals of Operations Research 1 Real-Time Systems 1 Numerical Algorithms 1 Automation and Remote Control 1 Linear Algebra and its Applications 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Archive for Mathematical Logic 1 Computational Optimization and Applications 1 Formal Methods in System Design 1 International Journal of Computer Vision 1 Computational and Applied Mathematics 1 The Electronic Journal of Combinatorics 1 Advances in Computational Mathematics 1 Complexity 1 International Transactions in Operational Research 1 Constraints 1 Science in China. Series E 1 Nonlinear Dynamics 1 Journal of Scheduling 1 Data Mining and Knowledge Discovery 1 Acta Mathematica Sinica. English Series 1 International Journal of Applied Mathematics and Computer Science 1 Engineering Computations 1 RAIRO. Operations Research ...and 29 more Journals all top 5 Cited in 42 Fields 322 Computer science (68-XX) 72 Operations research, mathematical programming (90-XX) 69 Information and communication theory, circuits (94-XX) 48 Numerical analysis (65-XX) 30 Mathematical logic and foundations (03-XX) 25 Combinatorics (05-XX) 18 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 18 Biology and other natural sciences (92-XX) 13 Statistics (62-XX) 12 Approximations and expansions (41-XX) 11 Systems theory; control (93-XX) 9 Number theory (11-XX) 7 Algebraic geometry (14-XX) 7 Quantum theory (81-XX) 4 Partial differential equations (35-XX) 4 Geometry (51-XX) 4 Mechanics of deformable solids (74-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Probability theory and stochastic processes (60-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Convex and discrete geometry (52-XX) 2 Differential geometry (53-XX) 2 Manifolds and cell complexes (57-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Mathematics education (97-XX) Citations by Year