×

zbMATH — the first resource for mathematics

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

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 195 more Authors

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 52 times in 51 Documents Cited by Year
A survey on Lyapunov-based methods for stability of linear time-delay systems. Zbl 1405.34046
Sun, Jian; Chen, Jie
4
2017
Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Zbl 1403.68131
Yan, Yongyi; Chen, Zengqiang; Liu, Zhongxin
3
2014
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
3
2012
Adding regular expressions to graph reachability and pattern queries. Zbl 1251.68170
Fan, Wenfei; Li, Jianzhong; Ma, Shuai; Tang, Nan; Wu, Yinghui
3
2012
Achieving high throughput and TCP Reno fairness in delay-based TCP over large networks. Zbl 1343.68029
Wang, Jingyuan; Wen, Jiangtao; Han, Yuxing; Zhang, Jun; Li, Chao; Xiong, Zhang
3
2014
Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems. Zbl 1402.03075
Singh, Pushpinder
2
2014
A complete coalition logic of temporal knowledge for multi-agent systems. Zbl 1403.68256
Chen, Qingliang; Su, Kaile; Hu, Yong; Hu, Guiwu
2
2015
Timed-pNets: a communication behavioural semantic model for distributed systems. Zbl 1403.68138
Chen, Yanwen; Chen, Yixiang; Madelaine, Eric
2
2015
Resilient \(k\)-d trees: \(k\)-means in space revisited. Zbl 1251.68084
Gieseke, Fabian; Moruz, Gabriel; Vahrenhold, Jan
2
2012
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
2
2012
Matching dependencies: semantics and query answering. Zbl 1251.68087
Gardezi, Jaffer; Bertossi, Leopoldo; Kiringa, Iluju
2
2012
A short non-delegatable strong designated verifier signature. Zbl 1368.94150
Tian, Haibo; Li, Jin
2
2014
Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes. Zbl 1368.94095
Dong, Le; Wu, Wenling; Wu, Shuang; Zou, Jian
2
2014
A survey on temporal logics for specifying and verifying real-time systems. Zbl 1425.68258
Konur, Savas
2
2013
Tolerance-based multigranulation rough sets in incomplete systems. Zbl 1403.68295
Zhang, Zaiyue; Yang, Xibei
1
2014
Key-insulated aggregate signature. Zbl 1404.94135
Zhao, Huiyan; Yu, Jia; Duan, Shaoxia; Cheng, Xiangguo; Hao, Rong
1
2014
An operational happens-before memory model. Zbl 1403.68028
Zhang, Yang; Feng, Xinyu
1
2016
A parallel computing framework for big data. Zbl 1403.68068
Chen, Guoliang; Mao, Rui; Lu, Kezhong
1
2017
Forecasting time series with optimal neural networks using multi-objective optimization algorithm based on AICc. Zbl 1425.68348
Hou, Muzhou; Yang, Yunlei; Liu, Taohua; Peng, Wenping
1
2018
Continuous ranking on uncertain streams. Zbl 1331.68071
Jin, Cheqing; Zhang, Jingwei; Zhou, Aoying
1
2012
SeVe: automatic tool for verification of security protocols. Zbl 1251.68142
Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song
1
2012
Enriching short text representation in microblog for clustering. Zbl 1251.68303
Tang, Jiliang; Wang, Xufei; Gao, Huiji; Hu, Xia; Liu, Huan
1
2012
Composite recommendations: from items to packages. Zbl 1251.68304
Xie, Min; Lakshmanan, Laks V. S.; Wood, Peter T.
1
2012
Linking temporal records. Zbl 1251.68090
Li, 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.68107
Zhang, 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.68096
Ivanescu, Anca Maria; Wichterich, Marc; Beecks, Christian
1
2012
Dm-KDE: dynamical kernel density estimation by sequences of KDE estimators with fixed number of components over data streams. Zbl 1329.62193
Xu, Min; Ishibuchi, Hisao; Gu, Xin; Wang, Shitong
1
2014
A lattice-based signcryption scheme without random oracles. Zbl 1360.94322
Lu, Xiuhua; Wen, Qiaoyan; Jin, Zhengping; Wang, Licheng; Yang, Chunli
1
2014
Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing. Zbl 1360.94332
Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Zhang, Zezhong
1
2014
Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks. Zbl 1368.94138
Zhang, Mingwu; Mu, Yi
1
2014
The autocorrelation distribution of balanced Boolean function. Zbl 1426.94144
Zhou, Yu; Zhang, Weiguo; Li, Juan; Dong, Xinfeng; Xiao, Guozhen
1
2013
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model. Zbl 1426.94088
Cheng, Lin; Wen, Qiaoyan; Jin, Zhengping; Zhang, Hua
1
2014
Forecasting time series with optimal neural networks using multi-objective optimization algorithm based on AICc. Zbl 1425.68348
Hou, Muzhou; Yang, Yunlei; Liu, Taohua; Peng, Wenping
1
2018
A survey on Lyapunov-based methods for stability of linear time-delay systems. Zbl 1405.34046
Sun, Jian; Chen, Jie
4
2017
A parallel computing framework for big data. Zbl 1403.68068
Chen, Guoliang; Mao, Rui; Lu, Kezhong
1
2017
An operational happens-before memory model. Zbl 1403.68028
Zhang, Yang; Feng, Xinyu
1
2016
A complete coalition logic of temporal knowledge for multi-agent systems. Zbl 1403.68256
Chen, Qingliang; Su, Kaile; Hu, Yong; Hu, Guiwu
2
2015
Timed-pNets: a communication behavioural semantic model for distributed systems. Zbl 1403.68138
Chen, Yanwen; Chen, Yixiang; Madelaine, Eric
2
2015
Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Zbl 1403.68131
Yan, Yongyi; Chen, Zengqiang; Liu, Zhongxin
3
2014
Achieving high throughput and TCP Reno fairness in delay-based TCP over large networks. Zbl 1343.68029
Wang, Jingyuan; Wen, Jiangtao; Han, Yuxing; Zhang, Jun; Li, Chao; Xiong, Zhang
3
2014
Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems. Zbl 1402.03075
Singh, Pushpinder
2
2014
A short non-delegatable strong designated verifier signature. Zbl 1368.94150
Tian, Haibo; Li, Jin
2
2014
Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes. Zbl 1368.94095
Dong, Le; Wu, Wenling; Wu, Shuang; Zou, Jian
2
2014
Tolerance-based multigranulation rough sets in incomplete systems. Zbl 1403.68295
Zhang, Zaiyue; Yang, Xibei
1
2014
Key-insulated aggregate signature. Zbl 1404.94135
Zhao, Huiyan; Yu, Jia; Duan, Shaoxia; Cheng, Xiangguo; Hao, Rong
1
2014
Dm-KDE: dynamical kernel density estimation by sequences of KDE estimators with fixed number of components over data streams. Zbl 1329.62193
Xu, Min; Ishibuchi, Hisao; Gu, Xin; Wang, Shitong
1
2014
A lattice-based signcryption scheme without random oracles. Zbl 1360.94322
Lu, Xiuhua; Wen, Qiaoyan; Jin, Zhengping; Wang, Licheng; Yang, Chunli
1
2014
Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing. Zbl 1360.94332
Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Zhang, Zezhong
1
2014
Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks. Zbl 1368.94138
Zhang, Mingwu; Mu, Yi
1
2014
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model. Zbl 1426.94088
Cheng, Lin; Wen, Qiaoyan; Jin, Zhengping; Zhang, Hua
1
2014
A survey on temporal logics for specifying and verifying real-time systems. Zbl 1425.68258
Konur, Savas
2
2013
The autocorrelation distribution of balanced Boolean function. Zbl 1426.94144
Zhou, Yu; Zhang, Weiguo; Li, Juan; Dong, Xinfeng; Xiao, Guozhen
1
2013
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
3
2012
Adding regular expressions to graph reachability and pattern queries. Zbl 1251.68170
Fan, Wenfei; Li, Jianzhong; Ma, Shuai; Tang, Nan; Wu, Yinghui
3
2012
Resilient \(k\)-d trees: \(k\)-means in space revisited. Zbl 1251.68084
Gieseke, Fabian; Moruz, Gabriel; Vahrenhold, Jan
2
2012
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
2
2012
Matching dependencies: semantics and query answering. Zbl 1251.68087
Gardezi, Jaffer; Bertossi, Leopoldo; Kiringa, Iluju
2
2012
Continuous ranking on uncertain streams. Zbl 1331.68071
Jin, Cheqing; Zhang, Jingwei; Zhou, Aoying
1
2012
SeVe: automatic tool for verification of security protocols. Zbl 1251.68142
Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song
1
2012
Enriching short text representation in microblog for clustering. Zbl 1251.68303
Tang, Jiliang; Wang, Xufei; Gao, Huiji; Hu, Xia; Liu, Huan
1
2012
Composite recommendations: from items to packages. Zbl 1251.68304
Xie, Min; Lakshmanan, Laks V. S.; Wood, Peter T.
1
2012
Linking temporal records. Zbl 1251.68090
Li, 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.68107
Zhang, 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.68096
Ivanescu, Anca Maria; Wichterich, Marc; Beecks, Christian
1
2012
all top 5

Cited by 148 Authors

3 Libkin, Leonid O.
2 Barceló, Pablo
2 Bertossi, Leopoldo E.
2 Fan, Wenfei
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 Su, Kaile
2 Suschenko, Sergey
2 Tkachyov, Roman
1 Adorna, Henry Natividad
1 Amano, Shun’ichi
1 Amin, Rohul
1 Amiri, Aboubacar
1 Anwar, Sajid
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 Cosmas, John
1 Dakhilalian, Mohammad
1 David, Claire
1 De Stefani, Lorenzo
1 Delahaye, Benoît
1 Deng, Lunzhi
1 Deng, Shaobo
1 Deng, Ting
1 Dong, Ruzhen
1 Dong, Xin Luna
1 Dong, Xinfeng
1 Efimov, Denis V.
1 Faber, Johannes
1 Fava, Daniel Schnetzer
1 Feng, Jun’e
1 Finocchi, Irene
1 Fusco, Emanuele Guido
1 Gao, Yan
1 Gardezi, Jaffer
1 Ge, Aijun
1 Gong, Junqing
1 Griffiths, Nathan
1 Grodzki, Grzegorz
1 Guan, Sujie
1 Gui, Weihua
1 Guo, Yuqian
1 Han, Yabiao
1 Han, Yiliang
1 Hao, Rong
1 Hao, Yonglin
1 Hou, Muzhou
1 Huai, Jinpeng
1 Ipate, Florentin
1 Khan, Sher Afzal
1 Kiringa, Iluju
1 Kokshenev, V. V.
1 Kolahi, Solmaz
1 Kong, Fanyu
1 Lakshmanan, Laks V. S.
1 Lazaridis, Pavlos
1 Lefticaru, Raluca
1 Legay, Axel
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
1 Meng, Xiaofang
1 Mikheev, P. A.
1 Moreno, Jaime A.
1 Mu, Daoguang
1 Murlak, Filip
1 Nawaz, Muhammad
1 Nazir, Shah
1 Niculescu, Ionuţ Mihai
1 Piech, Henryk
...and 48 more Authors

Citations by Year