Frontiers of Computer Science Short Title: Front. Comput. Sci. Publisher: Springer, Berlin/Heidelberg; Higher Education Press, Beijing ISSN: 2095-2228; 2095-2236/e Online: http://link.springer.com/journal/volumesAndIssues/11704 Predecessor: Frontiers of Computer Science in China Comments: No longer indexed Documents Indexed: 102 Publications (2012–2018) References Indexed: 86 Publications with 2,834 References. all top 5 Latest Issues 12, No. 6 (2018) 12, No. 5 (2018) 12, No. 4 (2018) 12, No. 2 (2018) 12, No. 1 (2018) 11, No. 6 (2017) 11, No. 5 (2017) 11, No. 4 (2017) 11, No. 3 (2017) 10, No. 5 (2016) 10, No. 4 (2016) 10, No. 2 (2016) 10, No. 1 (2016) 9, No. 4 (2015) 9, No. 3 (2015) 9, No. 1 (2015) 8, No. 6 (2014) 8, No. 5 (2014) 8, No. 4 (2014) 8, No. 3 (2014) 8, No. 2 (2014) 8, No. 1 (2014) 7, No. 6 (2013) 7, No. 5 (2013) 7, No. 4 (2013) 7, No. 3 (2013) 7, No. 2 (2013) 7, No. 1 (2013) 6, No. 6 (2012) 6, No. 5 (2012) 6, No. 4 (2012) 6, No. 3 (2012) 6, No. 2 (2012) 6, No. 1 (2012) all top 5 Authors 4 Sui, Yuefei 3 Jin, Zhengping 3 Li, Wei 3 Su, Kaile 3 Wen, Qiaoyan 3 Xu, Chunxiang 2 Chen, Qingliang 2 Chen, Zengqiang 2 Dong, JinSong 2 Feng, Xinyu 2 Hu, Yupu 2 Jiang, Mingming 2 Ke, Wei 2 Lai, Qiqi 2 Li, Wanpeng 2 Liu, Quan 2 Liu, Yang 2 Liu, Zhiming 2 Luo, Jie 2 Singh, Pushpinder 2 Sun, Jun 2 Wang, Baocang 2 Wang, Shuling 2 Yan, Yongyi 2 Zhang, Hua 2 Zhang, Wenzheng 2 Zhang, Xiujie 2 Zhang, Zaiyue 2 Zhou, Aoying 2 Zhou, Yu 1 Agrawal, Gagan 1 Ba, Wei 1 Bai, Mei 1 Balakrishnan, Suhrid 1 Bao, Jiajia 1 Beecks, Christian 1 Bertossi, Leopoldo E. 1 Besnard, Loïc 1 Bo, Yang 1 Cao, Cungen 1 Cao, Jin 1 Cao, Yanan 1 Cao, Yingchun 1 Carbonell, Jaime G. 1 Chang, Liang 1 Chen, Aixiang 1 Chen, Daoxu 1 Chen, Guoliang 1 Chen, Hong 1 Chen, Honghui 1 Chen, Jianfei 1 Chen, Jie 1 Chen, Jingyu 1 Chen, Kefei 1 Chen, Lifei 1 Chen, Mei 1 Chen, Ning 1 Chen, Ting 1 Chen, Wu 1 Chen, Xiuwei 1 Chen, Yanwen 1 Chen, Yixiang 1 Chen, Yuan 1 Cheng, Lin 1 Cheng, Xiangguo 1 Cheng, Xueqi 1 Chirkova, Rada 1 Chong, Zhihong 1 Chopra, Sumit 1 Colombo Tosatto, Silvano 1 Cui, Xianji 1 Deng, Shaobo 1 Doberkat, Ernst-Erich 1 Dong, Le 1 Dong, Xin Luna 1 Dong, Xinfeng 1 Du, Xiaomin 1 Du, Yuyue 1 Duan, Shaoxia 1 el Kharbili, Marwane 1 Fan, Wenfei 1 Fan, Yangyu 1 Fu, Ming 1 Fu, Qiming 1 Fu, Shasha 1 Gao, Huiji 1 Gardezi, Jaffer 1 Gautier, Thierry 1 Gieseke, Fabian 1 Gong, Maoguo 1 Gong, Peng 1 Governatori, Guido 1 Gu, Jiayi 1 Gu, Xin 1 Guan, Sujie 1 Guo, Deke 1 Guo, Gongde 1 Gwadera, Robert 1 Han, Tingting 1 Han, Yabiao ...and 196 more Authors all top 5 Fields 76 Computer science (68-XX) 21 Information and communication theory, circuits (94-XX) 11 Mathematical logic and foundations (03-XX) 9 Operations research, mathematical programming (90-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Statistics (62-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Ordinary differential equations (34-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 36 Publications have been cited 60 times in 59 Documents Cited by ▼ Year ▼ A survey on Lyapunov-based methods for stability of linear time-delay systems. Zbl 1405.34046Sun, Jian; Chen, Jie 6 2017 Achieving high throughput and TCP Reno fairness in delay-based TCP over large networks. Zbl 1343.68029Wang, Jingyuan; Wen, Jiangtao; Han, Yuxing; Zhang, Jun; Li, Chao; Xiong, Zhang 4 2014 Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Zbl 1403.68131Yan, Yongyi; Chen, Zengqiang; Liu, Zhongxin 3 2014 A survey on temporal logics for specifying and verifying real-time systems. Zbl 1425.68258Konur, Savas 3 2013 Adding regular expressions to graph reachability and pattern queries. Zbl 1251.68170Fan, Wenfei; Li, Jianzhong; Ma, Shuai; Tang, Nan; Wu, Yinghui 3 2012 Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems. Zbl 1402.03075Singh, Pushpinder 2 2014 A complete coalition logic of temporal knowledge for multi-agent systems. Zbl 1403.68256Chen, Qingliang; Su, Kaile; Hu, Yong; Hu, Guiwu 2 2015 Timed-pNets: a communication behavioural semantic model for distributed systems. Zbl 1403.68138Chen, Yanwen; Chen, Yixiang; Madelaine, Eric 2 2015 An operational happens-before memory model. Zbl 1403.68028Zhang, Yang; Feng, Xinyu 2 2016 A short non-delegatable strong designated verifier signature. Zbl 1368.94150Tian, Haibo; Li, Jin 2 2014 Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes. Zbl 1368.94095Dong, Le; Wu, Wenling; Wu, Shuang; Zou, Jian 2 2014 RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker 2 2012 Resilient \(k\)-d trees: \(k\)-means in space revisited. Zbl 1251.68084Gieseke, Fabian; Moruz, Gabriel; Vahrenhold, Jan 2 2012 Tractable XML data exchange via relations. Zbl 1251.68083Chirkova, Rada; Libkin, Leonid; Reutter, Juan L. 2 2012 Matching dependencies: semantics and query answering. Zbl 1251.68087Gardezi, Jaffer; Bertossi, Leopoldo; Kiringa, Iluju 2 2012 Tolerance-based multigranulation rough sets in incomplete systems. Zbl 1403.68295Zhang, Zaiyue; Yang, Xibei 1 2014 Key-insulated aggregate signature. Zbl 1404.94135Zhao, Huiyan; Yu, Jia; Duan, Shaoxia; Cheng, Xiangguo; Hao, Rong 1 2014 Optimal binary codes and binary construction of quantum codes. Zbl 1404.81082Wang, Weiliang; Fan, Yangyu; Li, Ruihu 1 2014 The autocorrelation distribution of balanced Boolean function. Zbl 1426.94144Zhou, Yu; Zhang, Weiguo; Li, Juan; Dong, Xinfeng; Xiao, Guozhen 1 2013 A novel pairing-free certificateless authenticated key agreement protocol with provable security. Zbl 1426.94150Sun, Haiyan; Wen, Qiaoyan; Zhang, Hua; Jin, Zhengping 1 2013 Cryptanalysis and improvement of a certificateless encryption scheme in the standard model. Zbl 1426.94088Cheng, Lin; Wen, Qiaoyan; Jin, Zhengping; Zhang, Hua 1 2014 Non-fragile control of fuzzy affine dynamic systems via piecewise Lyapunov functions. Zbl 1405.93147Fu, Shasha; Qiu, Jianbin; Ji, Wenqiang 1 2017 Forecasting time series with optimal neural networks using multi-objective optimization algorithm based on AICc. Zbl 1425.68348Hou, Muzhou; Yang, Yunlei; Liu, Taohua; Peng, Wenping 1 2018 A parallel computing framework for big data. Zbl 1403.68068Chen, Guoliang; Mao, Rui; Lu, Kezhong 1 2017 Dm-KDE: dynamical kernel density estimation by sequences of KDE estimators with fixed number of components over data streams. Zbl 1329.62193Xu, Min; Ishibuchi, Hisao; Gu, Xin; Wang, Shitong 1 2014 A lattice-based signcryption scheme without random oracles. Zbl 1360.94322Lu, Xiuhua; Wen, Qiaoyan; Jin, Zhengping; Wang, Licheng; Yang, Chunli 1 2014 Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing. Zbl 1360.94332Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Zhang, Zezhong 1 2014 Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks. Zbl 1368.94138Zhang, Mingwu; Mu, Yi 1 2014 SeVe: automatic tool for verification of security protocols. Zbl 1251.68142Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song 1 2012 Enriching short text representation in microblog for clustering. Zbl 1251.68303Tang, Jiliang; Wang, Xufei; Gao, Huiji; Hu, Xia; Liu, Huan 1 2012 Two of a kind or the ratings game? Adaptive pairwise preferences and latent factor models. Zbl 1251.68236Balakrishnan, Suhrid; Chopra, Sumit 1 2012 Composite recommendations: from items to packages. Zbl 1251.68304Xie, Min; Lakshmanan, Laks V. S.; Wood, Peter T. 1 2012 Linking temporal records. Zbl 1251.68090Li, Pei; Dong, Xin Luna; Maurino, Andrea; Srivastava, Divesh 1 2012 A uniform solution to the independent set problem through tissue P systems with cell separation. Zbl 1251.68107Zhang, Xingyi; Zeng, Xiangxiang; Luo, Bin; Zhang, Zheng 1 2012 The ClasSi coefficient for the evaluation of ranking quality in the presence of class similarities. Zbl 1251.68096Ivanescu, Anca Maria; Wichterich, Marc; Beecks, Christian 1 2012 Continuous ranking on uncertain streams. Zbl 1331.68071Jin, Cheqing; Zhang, Jingwei; Zhou, Aoying 1 2012 Forecasting time series with optimal neural networks using multi-objective optimization algorithm based on AICc. Zbl 1425.68348Hou, Muzhou; Yang, Yunlei; Liu, Taohua; Peng, Wenping 1 2018 A survey on Lyapunov-based methods for stability of linear time-delay systems. Zbl 1405.34046Sun, Jian; Chen, Jie 6 2017 Non-fragile control of fuzzy affine dynamic systems via piecewise Lyapunov functions. Zbl 1405.93147Fu, Shasha; Qiu, Jianbin; Ji, Wenqiang 1 2017 A parallel computing framework for big data. Zbl 1403.68068Chen, Guoliang; Mao, Rui; Lu, Kezhong 1 2017 An operational happens-before memory model. Zbl 1403.68028Zhang, Yang; Feng, Xinyu 2 2016 A complete coalition logic of temporal knowledge for multi-agent systems. Zbl 1403.68256Chen, Qingliang; Su, Kaile; Hu, Yong; Hu, Guiwu 2 2015 Timed-pNets: a communication behavioural semantic model for distributed systems. Zbl 1403.68138Chen, Yanwen; Chen, Yixiang; Madelaine, Eric 2 2015 Achieving high throughput and TCP Reno fairness in delay-based TCP over large networks. Zbl 1343.68029Wang, Jingyuan; Wen, Jiangtao; Han, Yuxing; Zhang, Jun; Li, Chao; Xiong, Zhang 4 2014 Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Zbl 1403.68131Yan, Yongyi; Chen, Zengqiang; Liu, Zhongxin 3 2014 Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems. Zbl 1402.03075Singh, Pushpinder 2 2014 A short non-delegatable strong designated verifier signature. Zbl 1368.94150Tian, Haibo; Li, Jin 2 2014 Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes. Zbl 1368.94095Dong, Le; Wu, Wenling; Wu, Shuang; Zou, Jian 2 2014 Tolerance-based multigranulation rough sets in incomplete systems. Zbl 1403.68295Zhang, Zaiyue; Yang, Xibei 1 2014 Key-insulated aggregate signature. Zbl 1404.94135Zhao, Huiyan; Yu, Jia; Duan, Shaoxia; Cheng, Xiangguo; Hao, Rong 1 2014 Optimal binary codes and binary construction of quantum codes. Zbl 1404.81082Wang, Weiliang; Fan, Yangyu; Li, Ruihu 1 2014 Cryptanalysis and improvement of a certificateless encryption scheme in the standard model. Zbl 1426.94088Cheng, Lin; Wen, Qiaoyan; Jin, Zhengping; Zhang, Hua 1 2014 Dm-KDE: dynamical kernel density estimation by sequences of KDE estimators with fixed number of components over data streams. Zbl 1329.62193Xu, Min; Ishibuchi, Hisao; Gu, Xin; Wang, Shitong 1 2014 A lattice-based signcryption scheme without random oracles. Zbl 1360.94322Lu, Xiuhua; Wen, Qiaoyan; Jin, Zhengping; Wang, Licheng; Yang, Chunli 1 2014 Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing. Zbl 1360.94332Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Zhang, Zezhong 1 2014 Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks. Zbl 1368.94138Zhang, Mingwu; Mu, Yi 1 2014 A survey on temporal logics for specifying and verifying real-time systems. Zbl 1425.68258Konur, Savas 3 2013 The autocorrelation distribution of balanced Boolean function. Zbl 1426.94144Zhou, Yu; Zhang, Weiguo; Li, Juan; Dong, Xinfeng; Xiao, Guozhen 1 2013 A novel pairing-free certificateless authenticated key agreement protocol with provable security. Zbl 1426.94150Sun, Haiyan; Wen, Qiaoyan; Zhang, Hua; Jin, Zhengping 1 2013 Adding regular expressions to graph reachability and pattern queries. Zbl 1251.68170Fan, Wenfei; Li, Jianzhong; Ma, Shuai; Tang, Nan; Wu, Yinghui 3 2012 RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker 2 2012 Resilient \(k\)-d trees: \(k\)-means in space revisited. Zbl 1251.68084Gieseke, Fabian; Moruz, Gabriel; Vahrenhold, Jan 2 2012 Tractable XML data exchange via relations. Zbl 1251.68083Chirkova, Rada; Libkin, Leonid; Reutter, Juan L. 2 2012 Matching dependencies: semantics and query answering. Zbl 1251.68087Gardezi, Jaffer; Bertossi, Leopoldo; Kiringa, Iluju 2 2012 SeVe: automatic tool for verification of security protocols. Zbl 1251.68142Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song 1 2012 Enriching short text representation in microblog for clustering. Zbl 1251.68303Tang, Jiliang; Wang, Xufei; Gao, Huiji; Hu, Xia; Liu, Huan 1 2012 Two of a kind or the ratings game? Adaptive pairwise preferences and latent factor models. Zbl 1251.68236Balakrishnan, Suhrid; Chopra, Sumit 1 2012 Composite recommendations: from items to packages. Zbl 1251.68304Xie, Min; Lakshmanan, Laks V. S.; Wood, Peter T. 1 2012 Linking temporal records. Zbl 1251.68090Li, Pei; Dong, Xin Luna; Maurino, Andrea; Srivastava, Divesh 1 2012 A uniform solution to the independent set problem through tissue P systems with cell separation. Zbl 1251.68107Zhang, Xingyi; Zeng, Xiangxiang; Luo, Bin; Zhang, Zheng 1 2012 The ClasSi coefficient for the evaluation of ranking quality in the presence of class similarities. Zbl 1251.68096Ivanescu, Anca Maria; Wichterich, Marc; Beecks, Christian 1 2012 Continuous ranking on uncertain streams. Zbl 1331.68071Jin, Cheqing; Zhang, Jingwei; Zhou, Aoying 1 2012 all cited Publications top 5 cited Publications all top 5 Cited by 167 Authors 3 Libkin, Leonid O. 2 Barceló, Pablo 2 Bertossi, Leopoldo E. 2 Deng, Lunzhi 2 Fan, Wenfei 2 Fava, Daniel Schnetzer 2 Fiadeiro, José Luiz 2 Gheorghe, Marian 2 Ke, Wei 2 Kokshenev, Vladimir 2 Konur, Savas 2 Liu, Zhiming 2 Lopes, Antónia 2 Mikheev, Pavel O. 2 Reutter, Juan L. 2 Silvestri, Francesco 2 Singh, Pushpinder 2 Steffen, Martin 2 Stolz, Volker 2 Su, Kaile 2 Suschenko, Sergey 2 Tkachyov, Roman 1 Adorna, Henry Natividad 1 Amano, Shun’ichi 1 Amiri, Aboubacar 1 Andersson, Jesper 1 Berenjkoub, Mehdi 1 Caminiti, Saverio 1 Cao, Yang 1 Chen, Aixiang 1 Chen, Chunlin 1 Chen, Jie 1 Chen, Jingyu 1 Chen, Qingliang 1 Chen, Zengqiang 1 Cheng, Xiangguo 1 Chirkova, Rada 1 Church, Kevin E. M. 1 Cienciala, Luděk 1 Cole, Matthew O. T. 1 Dakhilalian, Mohammad 1 David, Claire 1 de Souza, Lucas T. F. 1 De Stefani, Lorenzo 1 Delahaye, Benoît 1 Deng, Shaobo 1 Deng, Ting 1 Dong, Ruzhen 1 Dong, Xin Luna 1 Dong, Xinfeng 1 Efimov, Denis V. 1 Faber, Johannes 1 Feng, Jun’e 1 Finocchi, Irene 1 Fusco, Emanuele Guido 1 Gao, Ronghai 1 Gao, Yan 1 García, Alejandro Javier 1 Gardezi, Jaffer 1 Ge, Aijun 1 Gong, Junqing 1 Gottifredi, Sebastián 1 Grassi, Vincenzo 1 Griffiths, Nathan 1 Grodzki, Grzegorz 1 Guan, Sujie 1 Gui, Weihua 1 Guo, Yuqian 1 Gupta, Ajaykumar 1 Han, Yabiao 1 Han, Yiliang 1 Hao, Rong 1 Hao, Yonglin 1 Hou, Muzhou 1 Huai, Jinpeng 1 Huang, Sujuan 1 Huyanan, Satiengpong 1 Ipate, Florentin 1 Jelenc, David 1 Kiringa, Iluju 1 Kokshenev, V. V. 1 Kolahi, Solmaz 1 Kong, Fanyu 1 Lakshmanan, Laks V. S. 1 Lefticaru, Raluca 1 Legay, Axel 1 Li, Meiyu 1 Li, Pei 1 Li, Yongkun 1 Liao, Hao 1 Lin, Feng 1 Liu, Xinzhi 1 Lu, Xiangyu 1 Luo, Jianshu 1 Luo, Xiangyu 1 Ma, Chuangui 1 Ma, Shuai 1 Maurino, Andrea 1 Meier, Willi 1 Meng, Min ...and 67 more Authors all top 5 Cited in 33 Journals 10 Frontiers of Computer Science 4 Information Sciences 3 Designs, Codes and Cryptography 2 ACM Transactions on Database Systems 2 Automatica 2 Theoretical Computer Science 2 Soft Computing 2 Journal of the ACM 2 Journal of Systems Science and Complexity 2 Journal of Membrane Computing 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 International Journal of Control 1 International Journal of Theoretical Physics 1 Journal of the Franklin Institute 1 Applied Mathematics and Computation 1 Computing 1 Journal of Computer and System Sciences 1 SIAM Journal on Computing 1 SIAM Journal on Control and Optimization 1 Algorithmica 1 MSCS. Mathematical Structures in Computer Science 1 Automation and Remote Control 1 Statistical Papers 1 Computational and Applied Mathematics 1 Complexity 1 Theory of Computing Systems 1 Journal of Discrete Mathematical Sciences & Cryptography 1 International Journal of Applied Mathematics and Computer Science 1 Journal of Mathematical Cryptology 1 Symmetry 1 Journal of Logical and Algebraic Methods in Programming 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 19 Fields 34 Computer science (68-XX) 13 Information and communication theory, circuits (94-XX) 10 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Statistics (62-XX) 2 Quantum theory (81-XX) 2 Biology and other natural sciences (92-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year