×

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)

Publications by Year

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 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