# zbMATH — the first resource for mathematics

## 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 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, Wei 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,118 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)

#### Citations contained in zbMATH Open

187 Publications have been cited 380 times in 455 Documents Cited by Year
Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160
Wang, Jue; Wang, Ju
2001
Hierarchical structures on multigranulation spaces. Zbl 1280.68259
Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu
2012
The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579
Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing
2003
Analysis on attribute reduction strategies of rough set. Zbl 0902.68049
Wang, Jue; Miao, Duoqian
1998
Semi-online scheduling with machine cost. Zbl 1070.90518
He, Yong; Cai, Shengyi
2002
QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034
He, XiaoShan; Sun, XianHe; von Laszewski, Gregor
2003
Two varieties of finite automaton public key cryptosystem and digital signatures. Zbl 0614.94005
Tao, Renji; Chen, Shihua
1986
A geometric approach for multi-degree spline. Zbl 1280.65014
Li, Xin; Huang, Zhang-Jin; Liu, Zhao
2012
A type of triangular ball surface and its properties. Zbl 0893.68158
Hu, Shimin; Wang, Guojin; Sun, Jiaguang
1998
Recent advances in automated theorem proving on inequalities. Zbl 0944.68169
Yang, Lu
1999
The twisted-cube connected networks. Zbl 0917.68014
Wang, Deqiang; Zhao, Lianchang
1999
Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082
Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen
2011
Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050
Li, JiGuo; Cao, ZhenFu; Zhang, YiChen
2003
Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065
Chen, Jian-Er
2005
An $$O(k^ 2 n^ 2)$$ algorithm to find a $$k$$-partition in a $$k$$- connected graph. Zbl 0804.68104
Ma, Jun; Ma, Shaohan
1994
An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049
Huang, Wenqi; Zhang, Defu; Wang, Houxiang
2002
A reduction algorithm meeting users’ requirements. Zbl 1057.68026
Zhao, Kai; Wang, Jue
2002
Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053
Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie
2011
Symmetric $$\pi$$-calculus. Zbl 0899.68022
Fu, Yuxi
1998
Reaction graph. Zbl 0910.68073
Fu, Yuxi
1998
AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882
Peng, Wei; Lu, Xicheng
2001
Input-trees of finite automata and application to cryptanalysis. Zbl 0976.94024
Tao, Renji; Chen, Shihua
2000
Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175
Wang, Jue; Cui, Jia; Zhao, Kai
2001
A logical framework for knowledge base maintenance. Zbl 0837.68114
Li, Wei
1995
Checking temporal duration properties of timed automata. Zbl 1056.68096
Li, Yong; Dang Van Hung
2002
The comparison between the statistical heuristic search and $$A^*$$. Zbl 0719.62093
Bo, Zhang; Ling, Zhang
1989
Statistical heuristic search. Zbl 0641.68088
Zhang, Bo; Zhang, Ling
1987
Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096
Wang, Jiaqi; Tao, Qing; Wang, Jue
2002
New algorithms for the perspective-three-point problem. Zbl 0983.65020
Gao, Xiaoshan; Chen, Hangfei
2001
On the structure of finite automata of which M’ is a (weak) inverse with delay $$\tau$$. Zbl 0605.68043
Chen, Shihua
1986
A new method for generating conic sections. Zbl 0673.68032
Wang, Wenping; Wang, Jiaye
1989
On the structure of binary feedforward inverses with delay 2. Zbl 0688.68052
Zhu, Xinjie
1989
The infinite evolution mechanism of $$\epsilon$$-bisimilarity. Zbl 1296.68029
Ma, Yan-Fang; Zhang, Min
2013
Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281
Weise, Thomas; Chiong, Raymond; Tang, Ke
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
2012
A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123
Woodruff, David P.
2012
Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing. Zbl 0885.68129
Shuai, Dianxun
1997
Comparison of different implementations of MFCC. Zbl 1032.68728
Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang
2001
Some contributions to nonmonotonic consequence. Zbl 1003.68160
Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia
2001
Testing congruence for mobile processes. Zbl 1004.68118
Fu, Yuxi
2002
An algebraic hardware/software partitioning algorithm. Zbl 1005.68182
Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao
2002
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
2000
Approaches for scaling DBSCAN algorithm to large spatial databases. Zbl 0970.68583
Zhou, Aoying; Zhou, Shuigeng; Cao, Jing; Fan, Ye; Hu, Junfa
2000
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system. Zbl 0937.68124
Zhang, Chengqi; Luo, Xudong
1999
Solving SAT by algorithm transform of Wu’s method. Zbl 0944.68196
He, Simin; Zhang, Bo
1999
Constructing finite automata with invertibility by transformation method. Zbl 1044.94535
Tao, Renji; Chen, Shihua
2000
Automatic mesh generation on a regular background grid. Zbl 1048.65122
Lo, S. H.; Liu, Jianfei
2002
Semantic computation in a Chinese question-answering system. Zbl 1095.68708
Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun
2002
Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516
Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun
2003
An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517
Sun, ShuLi; Liu, JianFei
2003
Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093
Zhao, XiShun; Ding, DeCheng
2003
A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092
Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew
2003
Recent advances in evolutionary computation. Zbl 1190.68051
Yao, Xin; Xu, Yong
2006
An improved algorithm for finding the closest pair of points. Zbl 1190.68070
Ge, Qi; Wang, Haitao; Zhu, Hong
2006
Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104
Tao, Renji; Chen, Shihua
2002
Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018
He, Zengyou; Xu, Xiaofei; Deng, Shengchun
2002
The complexity of the 0/1 multi-knapsack problem. Zbl 0593.68036
Zhang, Liang; Geng, Suyun
1986
Decidability of mean value calculus. Zbl 0919.03009
Li, Xiaoshan
1999
Performance prediction of the Hough transform. Zbl 0865.68127
Hu, Zhanyi; Ma, Songde
1997
Asynchronous superimposition mechanisms of concurrent competitive waves for hyper-distributed hyper-parallel heuristic problem solving. Zbl 0881.68111
Shuai, Dianxun
1997
Magic sets revisited. Zbl 0881.68044
Chen, Yangjun
1997
Constructive sets in computable sets. Zbl 0883.03043
Fu, Yuxi
1997
Pseudo-randomness of certain sequences of $$k$$ symbols with length $$pq$$. Zbl 1280.11042
Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang
2011
Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124
Liu, Liya; Hasan, Osman; Tahar, Sofiène
2013
Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111
Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun
2012
Worst-case Nash equilibria in restricted routing. Zbl 1280.68056
Lu, Pin-Yan; Yu, Chang-Yuan
2012
Counting and topological order. Zbl 0885.68052
Chen, Yangjun
1997
An efficient multiple predicate learner. Zbl 0899.68084
Zhang, Xiaolong; Numao, Masayuki
1998
Some notes on graph automata, tiling systems and partition logic. Zbl 0914.68136
Shen, Enshao
1998
Formal derivation of graph algorithmic programs using partition-and-recur. Zbl 0910.68090
Xue, Jinyun
1998
Dependent type system with subtyping I: Type level transitivity elimination. Zbl 0911.68142
Chen, Gang
1998
Structures definable in polymorphism. Zbl 0910.68147
Fu, Yuxi
1998
The supervised learning Gaussian mixture model. Zbl 0915.68140
Ma, Jiyong; Gao, Wen
1998
An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009
Zhan, Naijun
2001
oodOPT: A semantics-based concurrency control framework for fully-replicated architecture. Zbl 1013.68116
Yang, Guangxin; Shi, Meilin
2001
CIM algorithm for approximating three-dimensional polygonal curves. Zbl 1013.68272
Yong, Junhai; Hu, Shimin; Sun, Jiaguang
2001
A new color constancy model for machine vision. Zbl 1014.68196
Tao, Linmi; Xu, Guangyou
2001
Constraints on extensions of a default theory. Zbl 0989.03030
Su, Kaile
2001
A fault-tolerant routing scheme in dynamic networks. Zbl 1010.68006
Feng, Xiushan; Han, Chengde
2001
Notes on liveness and boundedness of extended strong asymmetric choice nets. II. Zbl 1010.68097
Jiao, Li; Lu, Weiming
2001
Comparative study of two flow control mechanisms in high speed networks. Zbl 1004.68577
Zhang, Xiaolin; Du, Haining; Zhang, Sabing; Fei, Xiang; Wu, Jieyi
2001
Requirements specifications checking of embedded real time software. Zbl 1004.68034
Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing
2002
Sequential combination methods for data clustering analysis. Zbl 1021.68081
Qian, Yuntao; Suen, Ching Y.; Tang, Yuanyan
2002
Digital image watermarking based on discrete wavelet transform. Zbl 1021.68103
Ding, Wei; Yan, Weiqi; Qi, Dongxu
2002
Practical fast computation of Zernike moments. Zbl 1004.68190
Al-Rawi, Mohammed; Yang, Jie
2002
From active to passive – progress in testing internet routing protocols. Zbl 1005.68013
Zhao, Yixin; Wu, Jianping; Yin, Xia
2002
Extracting and sharing knowledge from medical texts. Zbl 1005.68840
Cao, Cungen
2002
Study of general incomplete star interconnection networks. Zbl 1005.68011
Shi, Yuntao; Hou, Zifeng; Song, Jianping
2002
Average-case analysis of algorithms using Kolmogorov complexity. Zbl 0961.68065
Jiang, Tao; Li, Ming; Vitányi, Paul M. B.
2000
Decision tree complexity of graph properties with dimension at most 5. Zbl 0961.68108
Gao, Suixiang; Lin, Guohui
2000
Checking timed automata for linear duration properties. Zbl 0961.68079
Zhao, Jianhua; Dang Van Hung
2000
Default reasoning and belief revision: A syntax-independent approach. Zbl 0964.03028
Zhang, Dongmo; Zhu, Zhaohui; Chen, Shifu
2000
Improving the syllable-synchronous network search algorithm for word decoding in continuous Chinese speech recognition. Zbl 0963.68174
Zheng, Fang; Wu, Jian; Song, Zhanjiang
2000
Exploiting deterministic TPG for path delay testing. Zbl 0961.68114
Li, Xiaowei; Cheung, Paul Y. S.
2000
An optimal multicast algorithm for cube-connected cycles. Zbl 0966.68004
Song, Jianping; Hou, Zifeng; Shi, Yuntao
2000
Semantics of constructions. I: The traditional approach. Zbl 0974.03032
Fu, Yuxi
2001
A new mesh simplification algorithm based on triangle collapses. Zbl 0974.68242
Pan, Zhigeng; Zhou, Kun; Shi, Jiaoying
2001
Efficient aggregation algorithms on very large compressed data warehouses. Zbl 0969.68629
Li, Jianzhong; Li, Yingshu; Srivastava, Jaideep
2000
Approximation for knapsack problems with multiple constraints. Zbl 0937.68152
Zhang, Li’ang; Zhang, Yin
1999
On $$k$$-positive satisfiability problem. Zbl 1084.68889
Huang, Xiong; Li, Wei
1999
The infinite evolution mechanism of $$\epsilon$$-bisimilarity. Zbl 1296.68029
Ma, Yan-Fang; Zhang, Min
2013
Formal reasoning about finite-state discrete-time Markov chains in HOL. Zbl 1280.68124
Liu, Liya; Hasan, Osman; Tahar, Sofiène
2013
Dominant skyline query processing over multiple time series. Zbl 1296.90112
Wang, Hao; Wang, Chao-Kun; Xu, Ya-Jun; Ning, Yuan-Chi
2013
A generic framework for anonymous authentication in mobile networks. Zbl 1296.94159
Xu, Jing; Zhu, Wen-Tao
2013
On 2-site Voronoi diagrams under geometric distance functions. Zbl 1280.68276
Barequet, Gill; Dickerson, Matthew; Eppstein, David; Hodorkovsky, David; Vyatkina, Kira
2013
On the toggling-branching recurrence of computability logic. Zbl 1280.03038
Qu, Mei-Xia; Luan, Jun-Feng; Zhu, Da-Ming; Du, Meng
2013
An algorithm for connected-component labeling, hole labeling and Euler number computing. Zbl 1280.68287
He, Li-Feng; Chao, Yu-Yan; Suzuki, Kenji
2013
Collision attack on the full extended MD4 and pseudo-preimage attack on RIPEMD. Zbl 1280.94098
Wang, Gao-Li
2013
Hierarchical structures on multigranulation spaces. Zbl 1280.68259
Yang, Xi-Bei; Qian, Yu-Hua; Yang, Jing-Yu
2012
A geometric approach for multi-degree spline. Zbl 1280.65014
Li, Xin; Huang, Zhang-Jin; Liu, Zhao
2012
Evolutionary optimization: pitfalls and booby traps. Zbl 1279.68281
Weise, Thomas; Chiong, Raymond; Tang, Ke
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
2012
A quadratic lower bound for three-query linear locally decodable codes over any field. Zbl 1280.94123
Woodruff, David P.
2012
Envy-free pricing with general supply constraints for unit demand consumers. Zbl 1281.91111
Im, Sungjin; Lu, Pin-Yan; Wang, Ya-Jun
2012
Worst-case Nash equilibria in restricted routing. Zbl 1280.68056
Lu, Pin-Yan; Yu, Chang-Yuan
2012
Differential evolution with adaptive mutation and parameter control using Lévy probability distribution. Zbl 1279.68304
He, Ren-Jie; Yang, Zhen-Yu
2012
Compact differential evolution light: high performance despite limited memory requirement and modest computational overhead. Zbl 1279.68031
Iacca, Giovanni; Caraffini, Fabio; Neri, Ferrante
2012
Synthesizing distributed protocol specifications from a UML state machine modeled service specification. Zbl 1280.68067
Dallal, Jehad Al; Saleh, Kassem A.
2012
Optimal checkpoint placement on real-time tasks with harmonic periods. Zbl 1280.68068
Kwak, Seong Woo; Yang, Jung-Min
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
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
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.
2012
Impossible differential attacks on 13-round CLEFIA-128. Zbl 1280.94082
Mala, Hamid; Dakhilalian, Mohammad; Shakiba, Mohsen
2011
Theoretical treatment of target coverage in wireless sensor networks. Zbl 1280.68053
Gu, Yu; Zhao, Bao-Hua; Ji, Yu-Sheng; Li, Jie
2011
Pseudo-randomness of certain sequences of $$k$$ symbols with length $$pq$$. Zbl 1280.11042
Chen, Zhi-Xiong; Du, Xiao-Ni; Wu, Chen-Huang
2011
Security of the SMS4 block cipher against differential cryptanalysis. Zbl 1280.94095
Su, Bo-Zhan; Wu, Wen-Ling; Zhang, Wen-Tao
2011
NuMDG: a new tool for multiway decision graphs construction. Zbl 1280.68121
Abed, Sa&rsquo;ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène
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
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
2011
Detecting communities in $$K$$-partite $$K$$-uniform (hyper)networks. Zbl 1280.68055
Liu, Xin; Murata, Tsuyoshi
2011
Managing software requirements changes based on negotiation-style revision. Zbl 1280.68079
Mu, Ke-Dian; Liu, Weiru; Jin, Zhi; Hong, Jun; Bell, David
2011
Recent advances in evolutionary computation. Zbl 1190.68051
Yao, Xin; Xu, Yong
2006
An improved algorithm for finding the closest pair of points. Zbl 1190.68070
Ge, Qi; Wang, Haitao; Zhu, Hong
2006
Quaternion diffusion for color image filtering. Zbl 1190.68076
Liu, Zhongxuan; Lian, Shiguo; Ren, Zhen
2006
Constraint-based fuzzy models for an environment with heterogeneous information-granules. Zbl 1190.68056
Lai, K. Robert; Chiang, Yi-Yuan
2006
Parameterized computation and complexity: a new approach dealing with NP-hardness. Zbl 1258.68065
Chen, Jian-Er
2005
The haplotyping problem: an overview of computational models and solutions. Zbl 1083.68579
Bonizzoni, Paola; Della Vedova, Gianluca; Dondi, Riccardo; Li, Jing
2003
QoS guided min-min heuristic for grid task scheduling. Zbl 1031.68034
He, XiaoShan; Sun, XianHe; von Laszewski, Gregor
2003
Nonrepudiable proxy multi-signature scheme. Zbl 1046.68050
Li, JiGuo; Cao, ZhenFu; Zhang, YiChen
2003
Minimizing ADMs on WDM directed fiber trees. Zbl 1083.68516
Zhou, FengFeng; Chen, GuoLiang; Xu, YinLong; Gu, Jun
2003
An efficient optimization procedure for tetrahedral meshes by chaos search algorithm. Zbl 1083.65517
Sun, ShuLi; Liu, JianFei
2003
Fixed-parameter tractability of disjunction-free default reasoning. Zbl 1025.68093
Zhao, XiShun; Ding, DeCheng
2003
A new dynamical evolutionary algorithm based on statistical mechanics. Zbl 1046.68092
Li, YuanXiang; Zou, XiuFen; Kang, LiShan; Michalewicz, Zbigniew
2003
$$\mathcal I$$-SATCHMORE: An improvement of $$\mathcal A$$-SATCHMORE. Zbl 1089.68625
He, LiFeng; Chao, Yuyan; Nakamura, Tsuyoshi; Itoh, Hidenori
2003
A cost effective fault-tolerant scheme for RAIDs. Zbl 1091.68514
Fang, Liang; Lu, XiCheng
2003
Space-time coding and signal processing for MIMO communications. Zbl 1058.94501
Berenguer, Inaki; Wang, Xiaodong
2003
Combining static analysis and case-based search space partitioning for reducing peak memory in model checking. Zbl 1083.68519
Zhang, WenHui
2003
Semantic language and multi-language MT approach based on SL. Zbl 1083.68619
Gao, QingShi; Hu, Yue; Li, Li; Gao, XiaoYu
2003
Automatic target detection by optimal morphological filters. Zbl 1023.68115
Yu, Nong; Wu, Hao; Wu, ChangYong; Li, YuShu
2003
A programmable approach to maintenance of a finite knowledge base. Zbl 1025.68033
Luan, ShangMin; Dai, GuoZhong; Li, Wei
2003
VEGA infrastructure for resource discovery in grids. Zbl 1031.68021
Gong, YiLi; Dong, FangPeng; Li, Wei; Xu, ZhiWei
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
2003
A theorem on grid access control. Zbl 1031.68025
Xu, ZhiWei; Bu, GuanYing
2003
Study on strand space model theory. Zbl 1031.68063
Ji, QingGuang; Qing, SiHan; Zhou, YongBin; Feng, DengGuo
2003
IEEE 802.11 distributed coordination function: Enhancement and analysis. Zbl 1046.68025
Wu, HaiTao; Lin, Yu; Cheng, ShiDuan; Peng, Yong; Long, KePing
2003
A commit strategy for distributed real-time transaction. Zbl 1031.68026
Qin, Biao; Liu, YunSheng; Yang, JinCai
2003
SSTT: Efficient local search for GSI global routing. Zbl 1031.68054
Jing, Tong; Hong, XianLong; Bao, HaiYun
2003
Outline of initial design of the structured hypertext transfer protocol. Zbl 1091.68512
Swen, Bin
2003
Decomposing a kind of weakly invertible finite automata with delay 2. Zbl 1046.68071
Yao, Gang
2003
Fast algorithms for revision of some special propositional knowledge bases. Zbl 1046.68104
Luan, ShangMin; Dai, GuoZhong
2003
Semi-online scheduling with machine cost. Zbl 1070.90518
He, Yong; Cai, Shengyi
2002
An algorithm based on tabu search for satisfiability problem. Zbl 1005.68049
Huang, Wenqi; Zhang, Defu; Wang, Houxiang
2002
A reduction algorithm meeting users’ requirements. Zbl 1057.68026
Zhao, Kai; Wang, Jue
2002
Checking temporal duration properties of timed automata. Zbl 1056.68096
Li, Yong; Dang Van Hung
2002
Kernel projection algorithm for large-scale SVM problems. Zbl 1057.68096
Wang, Jiaqi; Tao, Qing; Wang, Jue
2002
Testing congruence for mobile processes. Zbl 1004.68118
Fu, Yuxi
2002
An algebraic hardware/software partitioning algorithm. Zbl 1005.68182
Qin, Shengchao; He, Jifeng; Qiu, Zongyan; Zhang, Naixiao
2002
Automatic mesh generation on a regular background grid. Zbl 1048.65122
Lo, S. H.; Liu, Jianfei
2002
Semantic computation in a Chinese question-answering system. Zbl 1095.68708
Li, Sujian; Zhang, Jian; Huang, Xiong; Bai, Shuo; Liu, Qun
2002
Structure of weakly invertible semi-input-memory finite automata with delay 1. Zbl 1012.68104
Tao, Renji; Chen, Shihua
2002
Squeezer: An efficient algorithm for clustering categorical data. Zbl 1057.68018
He, Zengyou; Xu, Xiaofei; Deng, Shengchun
2002
Requirements specifications checking of embedded real time software. Zbl 1004.68034
Wu, Guoqing; Shu, Fengdi; Wang, Min; Chen, Weiqing
2002
Sequential combination methods for data clustering analysis. Zbl 1021.68081
Qian, Yuntao; Suen, Ching Y.; Tang, Yuanyan
2002
Digital image watermarking based on discrete wavelet transform. Zbl 1021.68103
Ding, Wei; Yan, Weiqi; Qi, Dongxu
2002
Practical fast computation of Zernike moments. Zbl 1004.68190
Al-Rawi, Mohammed; Yang, Jie
2002
From active to passive – progress in testing internet routing protocols. Zbl 1005.68013
Zhao, Yixin; Wu, Jianping; Yin, Xia
2002
Extracting and sharing knowledge from medical texts. Zbl 1005.68840
Cao, Cungen
2002
Study of general incomplete star interconnection networks. Zbl 1005.68011
Shi, Yuntao; Hou, Zifeng; Song, Jianping
2002
A model-based approach to object-oriented software metrics. Zbl 1095.68568
Mei, Hong; Xie, Tao; Yang, Fuqing
2002
A personalized information dissemination system based on How-Net. Zbl 1094.68692
Zhang, Lei; Du, Xiaoyong; Wang, Shan
2002
Data extraction from the web based on pre-defined schema. Zbl 1057.68007
Meng, Xiaofeng; Lu, Hongjun; Wang, Haiyan; Gu, Mingzhe
2002
Hybrid broadcast for the video-on-demand service. Zbl 1012.68008
2002
An effective feedback control mechanism for DiffServ architecture. Zbl 1057.68011
Wang, Chonggang; Long, Keping; Yang, Jian; Cheng, Shiduan
2002
A component-based software configuration management model and its supporting system. Zbl 1057.68012
Mei, Hong; Zhang, Lu; Yang, Fuqing
2002
Blending parametric patches with subdivision surfaces. Zbl 1057.68122
Li, Guiqing; Li, Hua
2002
Formal ontology: Foundation of domain knowledge sharing and reusing. Zbl 1012.68061
Lu, Ruqian; Jin, Zhi
2002
Reduction algorithms based on discernibility matrix: The ordered attributes method. Zbl 1014.68160
Wang, Jue; Wang, Ju
2001
AHBP: An efficient broadcast protocol for mobile ad hoc networks. Zbl 0986.68882
Peng, Wei; Lu, Xicheng
2001
Investigation on AQ11, ID3 and the principle of discernibility matrix. Zbl 0974.68175
Wang, Jue; Cui, Jia; Zhao, Kai
2001
New algorithms for the perspective-three-point problem. Zbl 0983.65020
Gao, Xiaoshan; Chen, Hangfei
2001
Comparison of different implementations of MFCC. Zbl 1032.68728
Zheng, Fang; Zhang, Guoliang; Song, Zhanjiang
2001
Some contributions to nonmonotonic consequence. Zbl 1003.68160
Zhu, Zhaohui; Zhang, Dongmo; Chen, Shifu; Zhu, Wujia
2001
An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009
Zhan, Naijun
2001
oodOPT: A semantics-based concurrency control framework for fully-replicated architecture. Zbl 1013.68116
Yang, Guangxin; Shi, Meilin
2001
CIM algorithm for approximating three-dimensional polygonal curves. Zbl 1013.68272
Yong, Junhai; Hu, Shimin; Sun, Jiaguang
2001
A new color constancy model for machine vision. Zbl 1014.68196
Tao, Linmi; Xu, Guangyou
2001
Constraints on extensions of a default theory. Zbl 0989.03030
Su, Kaile
2001
A fault-tolerant routing scheme in dynamic networks. Zbl 1010.68006
Feng, Xiushan; Han, Chengde
2001
Notes on liveness and boundedness of extended strong asymmetric choice nets. II. Zbl 1010.68097
Jiao, Li; Lu, Weiming
2001
Comparative study of two flow control mechanisms in high speed networks. Zbl 1004.68577
Zhang, Xiaolin; Du, Haining; Zhang, Sabing; Fei, Xiang; Wu, Jieyi
2001
...and 87 more Documents
all top 5

#### Cited by 1,013 Authors

 7 Fu, Yuxi 7 Miao, Duoqian 6 Chen, Shihua 6 Tao, Renji 5 Qian, Jin 5 Wang, Jue 4 Cao, Zhenfu 4 Chen, Jian-er 4 Liu, Caihui 4 Rossi, André 4 Sevaux, Marc 4 Shuai, Dianxun 4 Wang, Jianxin 3 Beccari, Carolina Vittoria 3 Casciola, Giulio 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, Wei 3 Li, Wei 3 Rieck, Michael Q. 3 Shen, Wanqiang 3 Toshniwal, Deepesh 3 Velasco, Nubia 3 Wang, Guoyin 3 Wang, Jian 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 Della Vedova, Gianluca 2 Ding, Decheng 2 Dondi, Riccardo 2 Dutta, Kaushik 2 Fermé, Eduardo Leopoldo 2 Gao, Suixiang 2 Goranko, Valentin F. 2 Gu, Jing 2 Guo, Chunxiang 2 He, Yong 2 Hiemstra, René R. 2 Hu, Feng 2 Hu, Qinghua 2 Hu, Shaoxiang 2 Hu, Zhanyi 2 Huang, Bing 2 Huang, Jiwu 2 Huang, Qiong 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, Jinjin 2 Li, Layuan 2 Liao, Zhiwu 2 Lin, Guoping 2 Luan, Shangmin 2 Luo, Xudong 2 Ma, Huadong 2 Ma, Songde 2 Ma, Yanfang 2 Montanari, Angelo 2 Mustafa, Ghulam 2 Nechita, Ion 2 Paul, Jean-Claude 2 Pawlak, Zdzisław 2 Pedrycz, Witold 2 Pu, Lianrong 2 Sasaki, Yu ...and 913 more Authors
all top 5

#### Cited in 121 Journals

 98 Journal of Computer Science and Technology 25 Information Sciences 18 Theoretical Computer Science 13 Science in China. Series F 12 Mathematical Problems in Engineering 11 International Journal of Computer Mathematics 10 European Journal of Operational Research 8 Applied Mathematics and Computation 8 International Journal of Approximate Reasoning 7 Discrete Applied Mathematics 7 Computers & Operations Research 7 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 4 Computer Methods in Applied Mechanics and Engineering 4 Journal of Computational and Applied Mathematics 4 Computer Aided Geometric Design 4 International Journal of Foundations of Computer Science 4 Chinese Science Bulletin 4 Soft Computing 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 Algorithmica 2 International Journal of Parallel Programming 2 Mathematical and Computer Modelling 2 Journal of Global Optimization 2 Archive for Mathematical Logic 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 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 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 ACM Transactions on Graphics 1 Discrete & Computational Geometry 1 Information and Computation 1 International Journal of Intelligent Systems 1 Journal of Cryptology 1 Signal Processing 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 Computational Optimization and Applications 1 Formal Methods in System Design 1 Computational and Applied Mathematics 1 Advances in Computational Mathematics 1 Complexity 1 International Transactions in Operational Research 1 Constraints 1 Science in China. Series E 1 Theory of Computing Systems 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 1 Electronic Commerce Research 1 Natural Computing 1 International Journal of Wavelets, Multiresolution and Information Processing 1 Iranian Journal of Fuzzy Systems ...and 21 more Journals
all top 5

#### Cited in 40 Fields

 293 Computer science (68-XX) 65 Operations research, mathematical programming (90-XX) 64 Information and communication theory, circuits (94-XX) 46 Numerical analysis (65-XX) 28 Mathematical logic and foundations (03-XX) 19 Combinatorics (05-XX) 18 Biology and other natural sciences (92-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Statistics (62-XX) 10 Approximations and expansions (41-XX) 10 Systems theory; control (93-XX) 8 Number theory (11-XX) 6 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 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) 2 Probability theory and stochastic processes (60-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 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)