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: 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 7 Gao, Wen 7 Shuai, Dianxun 7 Zhang, Bo 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,163 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 188 Publications have been cited 539 times in 473 Documents Cited by ▼ Year ▼ Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160Wang, Jue; Wang, Ju 24 2001 Hierarchical structures on multigranulation spaces. Zbl 1280.68259Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu 19 2012 The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing 11 2003 Analysis on attribute reduction strategies of rough set. Zbl 0902.68049Wang, Jue; Miao, Duoqian 11 1998 Two varieties of finite automaton public key cryptosystem and digital signatures. Zbl 0614.94005Tao, Renji; Chen, Shihua 10 1986 Semi-online scheduling with machine cost. Zbl 1070.90518He, Yong; Cai, Shengyi 10 2002 QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034He, XiaoShan; Sun, XianHe; von Laszewski, Gregor 10 2003 A geometric approach for multi-degree spline. Zbl 1280.65014Li, Xin; Huang, Zhang-Jin; Liu, Zhao 9 2012 The twisted-cube connected networks. Zbl 0917.68014Wang, Deqiang; Zhao, Lianchang 7 1999 A type of triangular ball surface and its properties. Zbl 0893.68158Hu, Shimin; Wang, Guojin; Sun, Jiaguang 6 1998 Recent advances in automated theorem proving on inequalities. Zbl 0944.68169Yang, Lu 6 1999 An \(O(k^ 2 n^ 2)\) algorithm to find a \(k\)-partition in a \(k\)- connected graph. Zbl 0804.68104Ma, Jun; Ma, Shaohan 6 1994 Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065Chen, Jian-Er 6 2005 Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen 6 2011 AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882Peng, Wei; Lu, Xicheng 4 2001 On the structure of finite automata of which M’ is a (weak) inverse with delay \(\tau\). Zbl 0605.68043Chen, Shihua 4 1986 An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049Huang, Wenqi; Zhang, Defu; Wang, Houxiang 4 2002 A reduction algorithm meeting users’ requirements. Zbl 1057.68026Zhao, Kai; Wang, Jue 4 2002 Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050Li, JiGuo; Cao, ZhenFu; Zhang, YiChen 4 2003 Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281Weise, Thomas; Chiong, Raymond; Tang, Ke 4 2012 Scheduling multi-mode projects under uncertainty to optimize cash flows: a Monte Carlo ant colony system approach. Zbl 1279.68301Chen, Wei-Neng; Zhang, Jun 4 2012 Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie 4 2011 Symmetric \(\pi\)-calculus. Zbl 0899.68022Fu, Yuxi 3 1998 Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175Wang, Jue; Cui, Jia; Zhao, Kai 3 2001 Input-trees of finite automata and application to cryptanalysis. Zbl 0976.94024Tao, Renji; Chen, Shihua 3 2000 New algorithms for the perspective-three-point problem. Zbl 0983.65020Gao, Xiaoshan; Chen, Hangfei 3 2001 Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093Zhao, XiShun; Ding, DeCheng 3 2003 A new method for generating conic sections. Zbl 0673.68032Wang, Wenping; Wang, Jiaye 3 1989 On the structure of binary feedforward inverses with delay 2. Zbl 0688.68052Zhu, Xinjie 3 1989 Statistical heuristic search. Zbl 0641.68088Zhang, Bo; Zhang, Ling 3 1987 The complexity of the 0/1 multi-knapsack problem. Zbl 0593.68036Zhang, Liang; Geng, Suyun 3 1986 A logical framework for knowledge base maintenance. Zbl 0837.68114Li, Wei 3 1995 Average-case analysis of algorithms using Kolmogorov complexity. Zbl 0961.68065Jiang, Tao; Li, Ming; Vitányi, Paul M. B. 3 2000 Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096Wang, Jiaqi; Tao, Qing; Wang, Jue 3 2002 An improved algorithm for finding the closest pair of points. Zbl 1190.68070Ge, Qi; Wang, Haitao; Zhu, Hong 3 2006 Checking temporal duration properties of timed automata. Zbl 1056.68096Li, Yong; Dang Van Hung 3 2002 A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123Woodruff, David P. 3 2012 Reaction graph. Zbl 0910.68073Fu, Yuxi 3 1998 The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029Ma, Yan-Fang; Zhang, Min 3 2013 The comparison between the statistical heuristic search and \(A^*\). Zbl 0719.62093Bo, Zhang; Ling, Zhang 3 1989 Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing. Zbl 0885.68129Shuai, Dianxun 2 1997 Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system. Zbl 0937.68124Zhang, Chengqi; Luo, Xudong 2 1999 Solving SAT by algorithm transform of Wu’s method. Zbl 0944.68196He, Simin; Zhang, Bo 2 1999 Constructing finite automata with invertibility by transformation method. Zbl 1044.94535Tao, Renji; Chen, Shihua 2 2000 A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying 2 2001 Performance prediction of the Hough transform. Zbl 0865.68127Hu, Zhanyi; Ma, Songde 2 1997 Optimum tactics of parallel multi-grid algorithm with virtual boundary forecast method running on a local network with the PVM platform. Zbl 0960.65105Guo, Qingping; Paker, Yakup; Zhang, Shesheng; Parkinson, Dennis; Wei, Jianing 2 2000 Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun 2 2003 An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517Sun, ShuLi; Liu, JianFei 2 2003 Approaches for scaling DBSCAN algorithm to large spatial databases. Zbl 0970.68583Zhou, Aoying; Zhou, Shuigeng; Cao, Jing; Fan, Ye; Hu, Junfa 2 2000 Fault-tolerance analysis of multibus multiprocessor system. Zbl 0685.68017Yao, Rong; Chen, Tinghuai; Kang, Tai 2 1989 Comparison of different implementations of MFCC. Zbl 1032.68728Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang 2 2001 Some contributions to nonmonotonic consequence. Zbl 1003.68160Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia 2 2001 Testing congruence for mobile processes. Zbl 1004.68118Fu, Yuxi 2 2002 An improved graphic representation for structured program design. Zbl 0725.68031Zhou, Qihai 2 1991 An optimal multicast algorithm for cube-connected cycles. Zbl 0966.68004Song, Jianping; Hou, Zifeng; Shi, Yuntao 2 2000 An algebraic hardware/software partitioning algorithm. Zbl 1005.68182Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 2 2002 Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104Tao, Renji; Chen, Shihua 2 2002 Blending parametric patches with subdivision surfaces. Zbl 1057.68122Li, Guiqing; Li, Hua 2 2002 Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018He, Zengyou; Xu, Xiaofei; Deng, Shengchun 2 2002 Recent advances in evolutionary computation. Zbl 1190.68051Yao, Xin; Xu, Yong 2 2006 Automatic mesh generation on a regular background grid. Zbl 1048.65122Lo, S. H.; Liu, Jianfei 2 2002 Semantic computation in a Chinese question-answering system. Zbl 1095.68708Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun 2 2002 A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew 2 2003 Asynchronous superimposition mechanisms of concurrent competitive waves for hyper-distributed hyper-parallel heuristic problem solving. Zbl 0881.68111Shuai, Dianxun 2 1997 Magic sets revisited. Zbl 0881.68044Chen, Yangjun 2 1997 Constructive sets in computable sets. Zbl 0883.03043Fu, Yuxi 2 1997 Compact differential evolution light: high performance despite limited memory requirement and modest computational overhead. Zbl 1279.68031Iacca, Giovanni; Caraffini, Fabio; Neri, Ferrante 2 2012 Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun 2 2012 Worst-case Nash equilibria in restricted routing. Zbl 1280.68056Lu, Pin-Yan; Yu, Chang-Yuan 2 2012 An optimized divide-and-conquer algorithm for the closest-pair problem in the planar case. Zbl 1280.68282Pereira, José C.; Lobo, Fernando G. 2 2012 Pseudo-randomness of certain sequences of \(k\) symbols with length \(pq\). Zbl 1280.11042Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang 2 2011 Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124Liu, Liya; Hasan, Osman; Tahar, Sofiène 2 2013 Formal derivation of graph algorithmic programs using partition-and-recur. Zbl 0910.68090Xue, Jinyun 2 1998 Decidability of mean value calculus. Zbl 0919.03009Li, Xiaoshan 2 1999 An efficient multiple predicate learner. Zbl 0899.68084Zhang, Xiaolong; Numao, Masayuki 1 1998 Counting and topological order. Zbl 0885.68052Chen, Yangjun 1 1997 Approximation for knapsack problems with multiple constraints. Zbl 0937.68152Zhang, Li’ang; Zhang, Yin 1 1999 On \(k\)-positive satisfiability problem. Zbl 1084.68889Huang, Xiong; Li, Wei 1 1999 An incremental approach to automatic algorithm design. Zbl 0979.68566Luan, Shangmin; Li, Wei 1 1999 Relative properties of frame language. Zbl 0945.68056Fu, Yuxi 1 1999 Topology in process calculus. I: Limit behaviour of agents. Zbl 0937.68048Ying, Mingsheng 1 1999 Asynchronous heterogeneous mechanism for hyper-distributed hyper-parallel AI processing. Zbl 0937.68117Shuai, Dianxun 1 1999 Automated generation of Kempe linkage and its complexity. Zbl 0954.70006Gao, Xiaoshan; Zhu, Changcai 1 1999 Computing bisimulations for finite-control \(\pi\)-calculus. Zbl 0954.68040Lin, Huimin 1 2000 Timing-sequence testing of parallel programs. Zbl 0954.68046Liang, Yu; Li, Shu; Zhang, Hui; Han, Chengde 1 2000 The faster higher-order cellular automaton for hyper-parallel undistorted data compression. Zbl 0953.68098Gu, Jing; Shuai, Dianxun 1 2000 A new parallel-by-cell approach to undistorted data compression based on cellular automaton and genetic algorithm. Zbl 0952.68093Gu, Jing; Shuai, Dianxun 1 1999 Studies on algorithms for self-stabilizing communication protocols. Zbl 0951.68501Li, Layuan; Li, Chunlin 1 1999 Semantics of constructions. I: The traditional approach. Zbl 0974.03032Fu, Yuxi 1 2001 On GID-testable two-dimensional iterative arrays. Zbl 0804.68014Weikang, Huang; Lombard, F. 1 1994 Using timed Petri net to model instruction-level loop scheduling with resource constraints. Zbl 0942.68630Wang, Jian; Eisenbeis, Christine; Su, Bogong 1 1994 Generalized resolution and NC-resolution. Zbl 0822.68100Liu, Xuhua; Sun, Jigui 1 1994 A distributed algorithm for determining minimal covers of acyclic database schemes. Zbl 0808.68058Ye, Xinming 1 1994 Story parsing grammar. Zbl 0813.68146Zhang, Songmao 1 1994 Some results on default logic. Zbl 0808.68096Zhang, Mingyi 1 1994 An algorithm for determining database consistency under the closed world assumption. Zbl 0941.68556Shen, Yidong 1 1992 Net operations. Zbl 0821.68089Jiang, Changjun; Wu, Zhehui 1 1992 \(R_ aR_ b\) transformation of compound finite automata over commutative rings. Zbl 0865.68079Wang, Hao 1 1997 Existence and uniqueness in shape from shading. Zbl 0865.68130Deng, Yanping; Li, Jiegu 1 1997 The infinite evolution mechanism of \(\epsilon\)-bisimilarity. Zbl 1296.68029Ma, Yan-Fang; Zhang, Min 3 2013 Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124Liu, Liya; Hasan, Osman; Tahar, Sofiène 2 2013 Collision attack on the full extended MD4 and pseudo-preimage attack on RIPEMD. Zbl 1280.94098Wang, Gao-Li 1 2013 On 2-site Voronoi diagrams under geometric distance functions. Zbl 1280.68276Barequet, Gill; Dickerson, Matthew; Eppstein, David; Hodorkovsky, David; Vyatkina, Kira 1 2013 On the toggling-branching recurrence of computability logic. Zbl 1280.03038Qu, 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.68287He, Li-Feng; Chao, Yu-Yan; Suzuki, Kenji 1 2013 Dominant skyline query processing over multiple time series. Zbl 1296.90112Wang, Hao; Wang, Chao-Kun; Xu, Ya-Jun; Ning, Yuan-Chi 1 2013 A generic framework for anonymous authentication in mobile networks. Zbl 1296.94159Xu, Jing; Zhu, Wen-Tao 1 2013 Hierarchical structures on multigranulation spaces. Zbl 1280.68259Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu 19 2012 A geometric approach for multi-degree spline. Zbl 1280.65014Li, Xin; Huang, Zhang-Jin; Liu, Zhao 9 2012 Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281Weise, Thomas; Chiong, Raymond; Tang, Ke 4 2012 Scheduling multi-mode projects under uncertainty to optimize cash flows: a Monte Carlo ant colony system approach. Zbl 1279.68301Chen, Wei-Neng; Zhang, Jun 4 2012 A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123Woodruff, David P. 3 2012 Compact differential evolution light: high performance despite limited memory requirement and modest computational overhead. Zbl 1279.68031Iacca, Giovanni; Caraffini, Fabio; Neri, Ferrante 2 2012 Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun 2 2012 Worst-case Nash equilibria in restricted routing. Zbl 1280.68056Lu, Pin-Yan; Yu, Chang-Yuan 2 2012 An optimized divide-and-conquer algorithm for the closest-pair problem in the planar case. Zbl 1280.68282Pereira, José C.; Lobo, Fernando G. 2 2012 Differential evolution with adaptive mutation and parameter control using Lévy probability distribution. Zbl 1279.68304He, Ren-Jie; Yang, Zhen-Yu 1 2012 Optimal checkpoint placement on real-time tasks with harmonic periods. Zbl 1280.68068Kwak, Seong Woo; Yang, Jung-Min 1 2012 Convex decomposition based cluster labeling method for support vector clustering. Zbl 1280.68191Ping, 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.68064Gong, Mao-Guo; Zhang, Ling-Jun; Ma, Jing-Jing; Jiao, Li-Cheng 1 2012 On isomorphism testing of groups with normal Hall subgroups. Zbl 1280.68111Qiao, You-Ming; Sarma M. N., Jayalal; Tang, Bang-Sheng 1 2012 Synthesizing distributed protocol specifications from a UML state machine modeled service specification. Zbl 1280.68067Dallal, Jehad Al; Saleh, Kassem A. 1 2012 Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen 6 2011 Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie 4 2011 Pseudo-randomness of certain sequences of \(k\) symbols with length \(pq\). Zbl 1280.11042Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang 2 2011 Security of the SMS4 block cipher against differential cryptanalysis. Zbl 1280.94095Su, Bo-Zhan; Wu, Wen-Ling; Zhang, Wen-Tao 1 2011 NuMDG: a new tool for multiway decision graphs construction. Zbl 1280.68121Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène 1 2011 Construction of 1-resilient Boolean functions with optimal algebraic immunity and good nonlinearity. Zbl 1280.94088Pan, Sen-Shan; Fu, Xiao-Tong; Zhang, Wei-Guo 1 2011 Provably secure role-based encryption with revocation mechanism. Zbl 1280.94101Zhu, Yan; Hu, Hong-Xin; Ahn, Gail-Joon; Wang, Huai-Xi; Wang, Shan-Biao 1 2011 Detecting communities in \(K\)-partite \(K\)-uniform (hyper)networks. Zbl 1280.68055Liu, Xin; Murata, Tsuyoshi 1 2011 Managing software requirements changes based on negotiation-style revision. Zbl 1280.68079Mu, Ke-Dian; Liu, Weiru; Jin, Zhi; Hong, Jun; Bell, David 1 2011 An improved algorithm for finding the closest pair of points. Zbl 1190.68070Ge, Qi; Wang, Haitao; Zhu, Hong 3 2006 Recent advances in evolutionary computation. Zbl 1190.68051Yao, Xin; Xu, Yong 2 2006 Quaternion diffusion for color image filtering. Zbl 1190.68076Liu, Zhongxuan; Lian, Shiguo; Ren, Zhen 1 2006 Force-based incremental algorithm for mining community structure in dynamic network. Zbl 1190.68053Yang, Bo; Liu, Dayou 1 2006 Constraint-based fuzzy models for an environment with heterogeneous information-granules. Zbl 1190.68056Lai, K. Robert; Chiang, Yi-Yuan 1 2006 Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065Chen, Jian-Er 6 2005 The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing 11 2003 QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034He, XiaoShan; Sun, XianHe; von Laszewski, Gregor 10 2003 Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050Li, JiGuo; Cao, ZhenFu; Zhang, YiChen 4 2003 Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093Zhao, XiShun; Ding, DeCheng 3 2003 Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun 2 2003 An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517Sun, ShuLi; Liu, JianFei 2 2003 A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew 2 2003 Space-time coding and signal processing for MIMO communications. Zbl 1058.94501Berenguer, Inaki; Wang, Xiaodong 1 2003 Combining static analysis and case-based search space partitioning for reducing peak memory in model checking. Zbl 1083.68519Zhang, WenHui 1 2003 Semantic language and multi-language MT approach based on SL. Zbl 1083.68619Gao, QingShi; Hu, Yue; Li, Li; Gao, XiaoYu 1 2003 Automatic target detection by optimal morphological filters. Zbl 1023.68115Yu, Nong; Wu, Hao; Wu, ChangYong; Li, YuShu 1 2003 A programmable approach to maintenance of a finite knowledge base. Zbl 1025.68033Luan, ShangMin; Dai, GuoZhong; Li, Wei 1 2003 VEGA infrastructure for resource discovery in grids. Zbl 1031.68021Gong, YiLi; Dong, FangPeng; Li, Wei; Xu, ZhiWei 1 2003 CAFISE: An approach to enabling adaptive configuration of service grid applications. Zbl 1031.68024Han, 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.68025Xu, ZhiWei; Bu, GuanYing 1 2003 Study on strand space model theory. Zbl 1031.68063Ji, QingGuang; Qing, SiHan; Zhou, YongBin; Feng, DengGuo 1 2003 IEEE 802.11 distributed coordination function: Enhancement and analysis. Zbl 1046.68025Wu, HaiTao; Lin, Yu; Cheng, ShiDuan; Peng, Yong; Long, KePing 1 2003 A commit strategy for distributed real-time transaction. Zbl 1031.68026Qin, Biao; Liu, YunSheng; Yang, JinCai 1 2003 SSTT: Efficient local search for GSI global routing. Zbl 1031.68054Jing, Tong; Hong, XianLong; Bao, HaiYun 1 2003 Outline of initial design of the structured hypertext transfer protocol. Zbl 1091.68512Swen, Bin 1 2003 Decomposing a kind of weakly invertible finite automata with delay 2. Zbl 1046.68071Yao, Gang 1 2003 Fast algorithms for revision of some special propositional knowledge bases. Zbl 1046.68104Luan, ShangMin; Dai, GuoZhong 1 2003 \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE. Zbl 1089.68625He, LiFeng; Chao, Yuyan; Nakamura, Tsuyoshi; Itoh, Hidenori 1 2003 A cost effective fault-tolerant scheme for RAIDs. Zbl 1091.68514Fang, Liang; Lu, XiCheng 1 2003 Semi-online scheduling with machine cost. Zbl 1070.90518He, Yong; Cai, Shengyi 10 2002 An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049Huang, Wenqi; Zhang, Defu; Wang, Houxiang 4 2002 A reduction algorithm meeting users’ requirements. Zbl 1057.68026Zhao, Kai; Wang, Jue 4 2002 Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096Wang, Jiaqi; Tao, Qing; Wang, Jue 3 2002 Checking temporal duration properties of timed automata. Zbl 1056.68096Li, Yong; Dang Van Hung 3 2002 Testing congruence for mobile processes. Zbl 1004.68118Fu, Yuxi 2 2002 An algebraic hardware/software partitioning algorithm. Zbl 1005.68182Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao 2 2002 Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104Tao, Renji; Chen, Shihua 2 2002 Blending parametric patches with subdivision surfaces. Zbl 1057.68122Li, Guiqing; Li, Hua 2 2002 Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018He, Zengyou; Xu, Xiaofei; Deng, Shengchun 2 2002 Automatic mesh generation on a regular background grid. Zbl 1048.65122Lo, S. H.; Liu, Jianfei 2 2002 Semantic computation in a Chinese question-answering system. Zbl 1095.68708Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun 2 2002 Requirements specifications checking of embedded real time software. Zbl 1004.68034Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing 1 2002 Sequential combination methods for data clustering analysis. Zbl 1021.68081Qian, Yuntao; Suen, Ching Y.; Tang, Yuanyan 1 2002 Digital image watermarking based on discrete wavelet transform. Zbl 1021.68103Ding, Wei; Yan, Weiqi; Qi, Dongxu 1 2002 Practical fast computation of Zernike moments. Zbl 1004.68190Al-Rawi, Mohammed; Yang, Jie 1 2002 From active to passive – progress in testing internet routing protocols. Zbl 1005.68013Zhao, Yixin; Wu, Jianping; Yin, Xia 1 2002 Extracting and sharing knowledge from medical texts. Zbl 1005.68840Cao, Cungen 1 2002 Study of general incomplete star interconnection networks. Zbl 1005.68011Shi, Yuntao; Hou, Zifeng; Song, Jianping 1 2002 Data extraction from the web based on pre-defined schema. Zbl 1057.68007Meng, Xiaofeng; Lu, Hongjun; Wang, Haiyan; Gu, Mingzhe 1 2002 Hybrid broadcast for the video-on-demand service. Zbl 1012.68008Ma, Huadong; Shin, Kang G. 1 2002 An effective feedback control mechanism for DiffServ architecture. Zbl 1057.68011Wang, Chonggang; Long, Keping; Yang, Jian; Cheng, Shiduan 1 2002 A component-based software configuration management model and its supporting system. Zbl 1057.68012Mei, Hong; Zhang, Lu; Yang, Fuqing 1 2002 Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061Lu, Ruqian; Jin, Zhi 1 2002 A model-based approach to object-oriented software metrics. Zbl 1095.68568Mei, Hong; Xie, Tao; Yang, Fuqing 1 2002 A personalized information dissemination system based on How-Net. Zbl 1094.68692Zhang, Lei; Du, Xiaoyong; Wang, Shan 1 2002 Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160Wang, Jue; Wang, Ju 24 2001 AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882Peng, Wei; Lu, Xicheng 4 2001 Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175Wang, Jue; Cui, Jia; Zhao, Kai 3 2001 New algorithms for the perspective-three-point problem. Zbl 0983.65020Gao, Xiaoshan; Chen, Hangfei 3 2001 A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying 2 2001 Comparison of different implementations of MFCC. Zbl 1032.68728Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang 2 2001 Some contributions to nonmonotonic consequence. Zbl 1003.68160Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia 2 2001 Semantics of constructions. I: The traditional approach. Zbl 0974.03032Fu, Yuxi 1 2001 Dynamic data prefetching in home-based software DSMs. Zbl 0979.68026Hu, Weiwu; Zhang, Fuxin; Liu, Haiming 1 2001 An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009Zhan, Naijun 1 2001 oodOPT: A semantics-based concurrency control framework for fully-replicated architecture. Zbl 1013.68116Yang, Guangxin; Shi, Meilin 1 2001 CIM algorithm for approximating three-dimensional polygonal curves. Zbl 1013.68272Yong, Junhai; Hu, Shimin; Sun, Jiaguang 1 2001 ...and 88 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,085 Authors 8 Miao, Duoqian 7 Fu, Yuxi 6 Chen, Shihua 6 Tao, Renji 5 Qian, Jin 5 Wang, Jianxin 5 Wang, Jue 4 Beccari, Carolina Vittoria 4 Casciola, Giulio 4 Chen, Jian-er 4 Liu, Caihui 4 Rossi, André 4 Sevaux, Marc 4 Shuai, Dianxun 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 Toshniwal, Deepesh 3 Velasco, Nubia 3 Wang, Guoyin 3 Wu, Guoqing 3 Xu, Weihua 3 Xue, Qingshui 3 Yao, Yiyu 3 Yu, Jianhang 3 Yue, Xiaodong 3 Zhang, Defu 3 Zhang, Dongmo 3 Zhao, Yan 3 Zheng, Yujun 3 Zhu, Daming 3 Zhu, Yuanpeng 2 Anshelevich, Elliot 2 Aubrun, Guillaume 2 Bae, Sang Won 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 He, Yong 2 Hiemstra, René R. 2 Hu, Feng 2 Hu, Qinghua 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 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 Liao, Zhiwu 2 Lin, Guoping 2 Luan, Shangmin 2 Luo, Xudong 2 Ma, Huadong 2 Ma, Songde 2 Ma, Yanfang 2 Meng, Xiangzhong 2 Montanari, Angelo 2 Mustafa, Ghulam 2 Nechita, Ion 2 Paul, Jean-Claude ...and 985 more Authors all top 5 Cited in 125 Journals 98 Journal of Computer Science and Technology 26 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 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 5 Soft Computing 4 Computer Methods in Applied Mechanics and Engineering 4 Computer Aided Geometric Design 4 International Journal of Foundations of Computer Science 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 MSCS. Mathematical Structures in Computer Science 3 Designs, Codes and Cryptography 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 Mathematics and Computers in Simulation 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 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 International Journal of Quantum Information 2 2 Inverse Problems in Science and Engineering 2 Computational & Mathematical Methods in Medicine 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 Journal of Mathematical Analysis and Applications 1 Journal of Statistical Physics 1 Periodica Mathematica Hungarica 1 Mathematics of Computation 1 Acta Mathematicae Applicatae Sinica. English Series 1 Optimization 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Journal of Cryptology 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 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 The Journal of Logic and Algebraic Programming 1 Concurrency and Computation: Practice & Experience ...and 25 more Journals all top 5 Cited in 41 Fields 303 Computer science (68-XX) 70 Operations research, mathematical programming (90-XX) 64 Information and communication theory, circuits (94-XX) 48 Numerical analysis (65-XX) 27 Mathematical logic and foundations (03-XX) 24 Combinatorics (05-XX) 18 Biology and other natural sciences (92-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Statistics (62-XX) 12 Approximations and expansions (41-XX) 10 Systems theory; control (93-XX) 8 Number theory (11-XX) 7 Algebraic geometry (14-XX) 4 Partial differential equations (35-XX) 4 Geometry (51-XX) 4 Quantum theory (81-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Probability theory and stochastic processes (60-XX) 3 Mechanics of deformable solids (74-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) 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 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year