×

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: Journal; 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 Gao, Wei
1 Gardezi, Jaffer
1 Garg, Harish
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 Guo, Li
...and 211 more Authors

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 108 times in 103 Documents Cited by Year
A survey on Lyapunov-based methods for stability of linear time-delay systems. Zbl 1405.34046
Sun, Jian; Chen, Jie
15
2017
A survey on temporal logics for specifying and verifying real-time systems. Zbl 1425.68258
Konur, Savas
5
2013
Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems. Zbl 1402.03075
Singh, Pushpinder
5
2014
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
5
2014
Adding regular expressions to graph reachability and pattern queries. Zbl 1251.68170
Fan, Wenfei; Li, Jianzhong; Ma, Shuai; Tang, Nan; Wu, Yinghui
4
2012
A novel pairing-free certificateless authenticated key agreement protocol with provable security. Zbl 1426.94150
Sun, Haiyan; Wen, Qiaoyan; Zhang, Hua; Jin, Zhengping
3
2013
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
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
3
2014
An operational happens-before memory model. Zbl 1403.68028
Zhang, Yang; Feng, Xinyu
3
2016
Algebraic state space approach to model and control combined automata. Zbl 1403.68132
Yan, Yongyi; Chen, Zengqiang; Yue, Jumei
3
2017
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
3
2012
Resilient \(k\)-d trees: \(k\)-means in space revisited. Zbl 1251.68084
Gieseke, Fabian; Moruz, Gabriel; Vahrenhold, Jan
3
2012
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
3
2012
A lattice-based signcryption scheme without random oracles. Zbl 1360.94322
Lu, Xiuhua; Wen, Qiaoyan; Jin, Zhengping; Wang, Licheng; Yang, Chunli
3
2014
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model. Zbl 1426.94088
Cheng, Lin; Wen, Qiaoyan; Jin, Zhengping; Zhang, Hua
2
2014
A short non-delegatable strong designated verifier signature. Zbl 1368.94150
Tian, Haibo; Li, Jin
2
2014
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
2
2012
Fault tolerant control based on neural network interval type-2 fuzzy sliding mode controller for octorotor UAV. Zbl 1405.93168
Zeghlache, Samir; Saigaa, Djamel; Kara, Kamel
2
2016
Non-fragile control of fuzzy affine dynamic systems via piecewise Lyapunov functions. Zbl 1405.93147
Fu, Shasha; Qiu, Jianbin; Ji, Wenqiang
2
2017
Two of a kind or the ratings game? Adaptive pairwise preferences and latent factor models. Zbl 1251.68236
Balakrishnan, Suhrid; Chopra, Sumit
2
2012
Matching dependencies: semantics and query answering. Zbl 1251.68087
Gardezi, Jaffer; Bertossi, Leopoldo; Kiringa, Iluju
2
2012
Key-insulated aggregate signature. Zbl 1404.94135
Zhao, Huiyan; Yu, Jia; Duan, Shaoxia; Cheng, Xiangguo; Hao, Rong
2
2014
Optimal binary codes and binary construction of quantum codes. Zbl 1404.81082
Wang, Weiliang; Fan, Yangyu; Li, Ruihu
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
Integrity constraints in OWL ontologies based on grounded circumscription. Zbl 1425.68401
Ouyang, Dantong; Cui, Xianji; Ye, Yuxin
1
2013
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
Evaluation of RDF queries via equivalence. Zbl 1425.68092
Ni, Weiwei; Chong, Zhihong; Shu, Hu; Bao, Jiajia; Zhou, Aoying
1
2013
A general framework for computing maximal contractions. Zbl 1425.68396
Luo, Jie
1
2013
The autocorrelation distribution of balanced Boolean function. Zbl 1426.94144
Zhou, Yu; Zhang, Weiguo; Li, Juan; Dong, Xinfeng; Xiao, Guozhen
1
2013
Reversible spiking neural P systems. Zbl 1425.68116
Song, Tao; Shi, Xiaolong; Xu, Jinbang
1
2013
New forward-secure signature schemes with untrusted update. Zbl 1426.94149
Li, Wanpeng; Xu, Chunxiang; Zhang, Wenzheng; Zhu, Shixiong; Zhang, Xiujie
1
2013
Modelling priority queuing systems with varying service capacity. Zbl 1426.90066
Chen, Mei; Jin, Xiaolong; Wang, Yuanzhuo; Cheng, Xueqi; Min, Geyong
1
2013
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Zbl 1425.68260
Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing
1
2014
Continuous ranking on uncertain streams. Zbl 1331.68071
Jin, Cheqing; Zhang, Jingwei; Zhou, Aoying
1
2012
Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks. Zbl 1368.94138
Zhang, Mingwu; Mu, Yi
1
2014
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
Reasoning about actions with loops via Hoare logic. Zbl 1403.68267
He, Jiankun; Zhao, Xishun
1
2016
A parallel computing framework for big data. Zbl 1403.68068
Chen, Guoliang; Mao, Rui; Lu, Kezhong
1
2017
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
Stratified sampling for data mining on the deep web. Zbl 1251.68182
Liu, Tantan; Wang, Fan; Agrawal, Gagan
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
Basic theorem as representation of heterogeneous concept lattices. Zbl 1402.06002
Pócs, Jozef; Pócsová, Jana
1
2015
Tolerance-based multigranulation rough sets in incomplete systems. Zbl 1403.68295
Zhang, Zaiyue; Yang, Xibei
1
2014
Comments on: “Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems”. Zbl 1404.03048
Singh, Sukhveer; Garg, Harish
1
2018
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
Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing. Zbl 1360.94332
Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Zhang, Zezhong
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
Comments on: “Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems”. Zbl 1404.03048
Singh, Sukhveer; Garg, Harish
1
2018
A survey on Lyapunov-based methods for stability of linear time-delay systems. Zbl 1405.34046
Sun, Jian; Chen, Jie
15
2017
Algebraic state space approach to model and control combined automata. Zbl 1403.68132
Yan, Yongyi; Chen, Zengqiang; Yue, Jumei
3
2017
Non-fragile control of fuzzy affine dynamic systems via piecewise Lyapunov functions. Zbl 1405.93147
Fu, Shasha; Qiu, Jianbin; Ji, Wenqiang
2
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
3
2016
Fault tolerant control based on neural network interval type-2 fuzzy sliding mode controller for octorotor UAV. Zbl 1405.93168
Zeghlache, Samir; Saigaa, Djamel; Kara, Kamel
2
2016
Reasoning about actions with loops via Hoare logic. Zbl 1403.68267
He, Jiankun; Zhao, Xishun
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
Basic theorem as representation of heterogeneous concept lattices. Zbl 1402.06002
Pócs, Jozef; Pócsová, Jana
1
2015
Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems. Zbl 1402.03075
Singh, Pushpinder
5
2014
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
5
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
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
3
2014
A lattice-based signcryption scheme without random oracles. Zbl 1360.94322
Lu, Xiuhua; Wen, Qiaoyan; Jin, Zhengping; Wang, Licheng; Yang, Chunli
3
2014
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model. Zbl 1426.94088
Cheng, Lin; Wen, Qiaoyan; Jin, Zhengping; Zhang, Hua
2
2014
A short non-delegatable strong designated verifier signature. Zbl 1368.94150
Tian, Haibo; Li, Jin
2
2014
Key-insulated aggregate signature. Zbl 1404.94135
Zhao, Huiyan; Yu, Jia; Duan, Shaoxia; Cheng, Xiangguo; Hao, Rong
2
2014
Optimal binary codes and binary construction of quantum codes. Zbl 1404.81082
Wang, Weiliang; Fan, Yangyu; Li, Ruihu
2
2014
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Zbl 1425.68260
Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing
1
2014
Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks. Zbl 1368.94138
Zhang, Mingwu; Mu, Yi
1
2014
Tolerance-based multigranulation rough sets in incomplete systems. Zbl 1403.68295
Zhang, Zaiyue; Yang, Xibei
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
Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing. Zbl 1360.94332
Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Zhang, Zezhong
1
2014
A survey on temporal logics for specifying and verifying real-time systems. Zbl 1425.68258
Konur, Savas
5
2013
A novel pairing-free certificateless authenticated key agreement protocol with provable security. Zbl 1426.94150
Sun, Haiyan; Wen, Qiaoyan; Zhang, Hua; Jin, Zhengping
3
2013
Integrity constraints in OWL ontologies based on grounded circumscription. Zbl 1425.68401
Ouyang, Dantong; Cui, Xianji; Ye, Yuxin
1
2013
Evaluation of RDF queries via equivalence. Zbl 1425.68092
Ni, Weiwei; Chong, Zhihong; Shu, Hu; Bao, Jiajia; Zhou, Aoying
1
2013
A general framework for computing maximal contractions. Zbl 1425.68396
Luo, Jie
1
2013
The autocorrelation distribution of balanced Boolean function. Zbl 1426.94144
Zhou, Yu; Zhang, Weiguo; Li, Juan; Dong, Xinfeng; Xiao, Guozhen
1
2013
Reversible spiking neural P systems. Zbl 1425.68116
Song, Tao; Shi, Xiaolong; Xu, Jinbang
1
2013
New forward-secure signature schemes with untrusted update. Zbl 1426.94149
Li, Wanpeng; Xu, Chunxiang; Zhang, Wenzheng; Zhu, Shixiong; Zhang, Xiujie
1
2013
Modelling priority queuing systems with varying service capacity. Zbl 1426.90066
Chen, Mei; Jin, Xiaolong; Wang, Yuanzhuo; Cheng, Xueqi; Min, Geyong
1
2013
Adding regular expressions to graph reachability and pattern queries. Zbl 1251.68170
Fan, Wenfei; Li, Jianzhong; Ma, Shuai; Tang, Nan; Wu, Yinghui
4
2012
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
3
2012
Resilient \(k\)-d trees: \(k\)-means in space revisited. Zbl 1251.68084
Gieseke, Fabian; Moruz, Gabriel; Vahrenhold, Jan
3
2012
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
3
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
2
2012
Two of a kind or the ratings game? Adaptive pairwise preferences and latent factor models. Zbl 1251.68236
Balakrishnan, Suhrid; Chopra, Sumit
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
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
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
Stratified sampling for data mining on the deep web. Zbl 1251.68182
Liu, Tantan; Wang, Fan; Agrawal, Gagan
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
all top 5

Cited by 295 Authors

5 Chen, Zengqiang
5 Yan, Yongyi
4 Yue, Jumei
3 Deng, Lunzhi
3 Dou, Lihua
3 Libkin, Leonid O.
3 Sun, Jian
3 Wang, Xin
2 Barceló, Pablo
2 Bertossi, Leopoldo E.
2 Cheng, Xiangguo
2 Fan, Wenfei
2 Fava, Daniel Schnetzer
2 Fiadeiro, José Luiz
2 García, Alejandro Javier
2 Garg, Harish
2 Gheorghe, Marian
2 Hao, Rong
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 Singh, Sukhveer
2 Steffen, Martin
2 Stolz, Volker
2 Su, Kaile
2 Suschenko, Sergey
2 Susilo, Willy
2 Tamargo, Luciano H.
2 Tkachyov, Roman
2 Wang, Gang
2 Wang, Yanfeng
2 Yu, Jia
1 Adorna, Henry Natividad
1 Agrawal, Megha
1 Amano, Shun’ichi
1 Amiri, Aboubacar
1 Andersson, Jesper
1 Antoni, Lubomir
1 Benkhoris, Mohamed Fouad
1 Benyettou, Loutfi
1 Berenjkoub, Mehdi
1 Bruneel, Herwig
1 Caminiti, Saverio
1 Cao, Yang
1 Carmel, Amir
1 Chaibakhsh, Ali
1 Chang, Donghoon
1 Chang, Hongbin
1 Chen, Aixiang
1 Chen, Chunlin
1 Chen, Jie
1 Chen, Jingyu
1 Chen, Qingliang
1 Chen, Xinjian
1 Chen, Zhiwei
1 Chirkova, Rada
1 Church, Kevin E. M.
1 Cienciala, Luděk
1 Cole, Matthew O. T.
1 Cruz-Filipe, Luís
1 Dakhilalian, Mohammad
1 Dastan, Zahed
1 David, Claire
1 De Muynck, Michiel
1 de Souza, Lucas T. F.
1 De Stefani, Lorenzo
1 Delahaye, Benoît
1 Deng, He
1 Deng, Shaobo
1 Deng, Ting
1 Djerioui, Ali
1 Dong, Ruzhen
1 Dong, Xin Luna
1 Dong, Xinfeng
1 Dreyer, Derek R.
1 Duan, Shaoxia
1 Efimov, Denis V.
1 Elias, Peter
1 ElRafey, Amr
1 Ensansefat, Nasim
1 Faber, Johannes
1 Fan, Yangyu
1 Feng, Jun’e
1 Feng, Shuai
1 Finocchi, Irene
1 Fu, Zhumu
1 Fusco, Emanuele Guido
1 Fuyang, Chen
1 Gao, Ronghai
1 Gao, Yan
1 Gardezi, Jaffer
1 Gaspar, Graça
1 Ge, Aijun
1 Gerard, François
...and 195 more Authors
all top 5

Cited in 50 Journals

13 Frontiers of Computer Science
8 Information Sciences
4 International Journal of Control
4 Soft Computing
4 Asian Journal of Control
3 Designs, Codes and Cryptography
3 Journal of Systems Science and Complexity
3 IET Control Theory & Applications
2 ACM Transactions on Database Systems
2 Automatica
2 Theoretical Computer Science
2 Journal of the ACM
2 Journal of Membrane Computing
1 Acta Informatica
1 Artificial Intelligence
1 Discrete Applied Mathematics
1 International Journal of Theoretical Physics
1 Journal of the Franklin Institute
1 Applied Mathematics and Computation
1 Computing
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Mathematics and Computers in Simulation
1 SIAM Journal on Computing
1 SIAM Journal on Control and Optimization
1 Optimal Control Applications & Methods
1 Algorithmica
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 Mathematical Structures in Computer Science
1 Applications of Mathematics
1 Automation and Remote Control
1 International Journal of Robust and Nonlinear Control
1 Statistical Papers
1 Computational and Applied Mathematics
1 Annals of Mathematics and Artificial Intelligence
1 Complexity
1 Theory of Computing Systems
1 International Journal of Applied Mathematics and Computer Science
1 Quantum Information Processing
1 ACM Journal of Experimental Algorithmics
1 Journal of Industrial and Management Optimization
1 Journal of Mathematical Cryptology
1 Logical Methods in Computer Science
1 Symmetry
1 Wiley Interdisciplinary Reviews. WIREs Computational Statistics
1 Computer Science Review
1 Control Theory and Technology
1 Journal of Logical and Algebraic Methods in Programming
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year