×

zbMATH — the first resource for mathematics

Chen, Taolue

Compute Distance To:
Author ID: chen.taolue Recent zbMATH articles by "Chen, Taolue"
Published as: Chen, T.; Chen, Taolue
Documents Indexed: 87 Publications since 1969

Publications by Year

Citations contained in zbMATH

53 Publications have been cited 272 times in 233 Documents Cited by Year
Scheduling the maintenance on a single machine. Zbl 1054.90550
Qi, X.; Chen, T.; Tu, F.
37
1999
Vibration modes of \(3n\)-gaskets and other fractals. Zbl 1181.28007
Bajorin, N.; Chen, T.; Dagan, A.; Emmons, C.; Hussein, M.; Khalil, M.; Mody, P.; Steinhurst, B.; Teplyaev, A.
26
2008
Boundary integral formulations for three-dimensional anisotropic piezoelectric solids. Zbl 0826.73066
Chen, T.; Lin, F. Z.
16
1995
A coupled finite element and meshless local Petrov–Galerkin method for two-dimensional potential problems. Zbl 1037.65115
Chen, T.; Raju, I. S.
15
2003
The packing chromatic number of the infinite square lattice is between 13 and 15. Zbl 1361.05051
Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos
13
2017
Local decay in non-relativistic QED. Zbl 1237.81125
Chen, T.; Faupin, J.; Fröhlich, J.; Sigal, I. M.
13
2012
Vibration spectra of finitely ramifield, symmetric fractals. Zbl 1160.28302
Bajorin, N.; Chen, T.; Dagan, A.; Emmons, C.; Hussein, M.; Khalil, M.; Mody, P.; Steinhurst, B.; Teplyaev, A.
12
2008
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
9
2011
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
8
2013
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
8
2013
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
8
2012
Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174
Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
7
2011
Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
6
2011
On finite alphabets and infinite bases. Zbl 1146.68047
Chen, Taolue; Fokkink, Wan; Luttik, Bas; Nain, Sumit
6
2008
Ready to preorder: the case of weak process semantics. Zbl 1191.68434
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
5
2009
On the axiomatisability of priority. Zbl 1141.68042
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2008
On the axiomatizability of priority. Zbl 1134.68038
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2006
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
4
2013
Undecidability of cost-bounded reachability in priced probabilistic timed automata. Zbl 1241.68076
Berendsen, Jasper; Chen, Taolue; Jansen, David N.
4
2009
Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521
Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C.
4
2007
On the total variation distance of labelled Markov chains. Zbl 1395.68202
Chen, Taolue; Kiefer, Stefan
3
2014
A fuzzy-neural knowledge-based system for job completion time prediction and internal due date assignment in a wafer fabrication plant. Zbl 1291.93153
Chen, T.
3
2009
On metrics for probabilistic systems: definitions and algorithms. Zbl 1186.68250
Chen, Taolue; Han, Tingting; Lu, Jian
3
2009
Control of longitudinal wave propagation in conical periodic structures. Zbl 1094.74659
Tongele, T. N.; Chen, T.
3
2004
A homogeneous elliptical shaft may not warp under torsion. Zbl 1063.74065
Chen, T.
3
2004
Torsion of a circular compound bar with imperfect interface. Zbl 1110.74375
Chen, T.; Weng, I. S.
3
2001
Generalized plane deformation of electromagnetic thermoelastic solids. I: Correspondence and invariance shifts. Zbl 0971.74035
Zheng, Q.-S.; Chen, T.
3
1999
Electroelastic fields and effective moduli of a medium containing cavities or rigid inclusions of arbitrary shape under anti-plane mechanical and in-plane electric fields. Zbl 0886.73055
Chen, T.; Chiang, S. C.
3
1997
A complete decision procedure for linearly compositional separation logic with data constraints. Zbl 06623284
Gu, Xincai; Chen, Taolue; Wu, Zhilin
2
2016
On the axiomatizability of impossible futures. Zbl 1448.68335
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
2
2015
On the complexity of computing maximum entropy for Markovian models. Zbl 1360.68501
Chen, Taolue; Han, Tingting
2
2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
2
2014
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
2
2012
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
2
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2009
On finite alphabets and infinite bases. III: Simulation. Zbl 1151.68519
Chen, Taolue; Fokkink, Wan
2
2006
Active control of vibration and noise radiation from fluid-loaded cylinder using active constrained layer damping. Zbl 1062.74573
Laplante, W.; Chen, T.; Baz, A.; Sheilds, W.
2
2002
New perspective on Poisson’s ratios of elastic solids. Zbl 1169.74340
Zheng, Q. S.; Chen, T.
2
2001
Universal connections of elastic fibrous composites: Some new results. Zbl 0992.74023
Chen, T.; Zheng, Q.-S.
2
2000
Bisimulations for fuzzy transition systems revisited. Zbl 1451.68195
Wu, Hengyang; Chen, Taolue; Han, Tingting; Chen, Yixiang
1
2018
Polynomial-time algorithms for computing distances of fuzzy transition systems. Zbl 1390.68464
Chen, Taolue; Han, Tingting; Cao, Yongzhi
1
2018
Satisfiability of compositional separation logic with tree predicates and data constraints. Zbl 06778423
Xu, Zhaowei; Chen, Taolue; Wu, Zhilin
1
2017
Perturbation analysis in verification of discrete-time Markov chains. Zbl 1417.68100
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin
1
2014
Solvency Markov decision processes with interest. Zbl 1360.91091
Brázdil, Tomáš; Chen, Taolue; Forejt, Vojtěch; Novotný, Petr; Simaitis, Aistis
1
2013
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
1
2013
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
1
2011
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
On finite bases for weak semantics: failures versus impossible futures. Zbl 1206.68212
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
1
2009
On finite alphabets and infinite bases. II: Completed and ready simulation. Zbl 1151.68520
Chen, Taolue; Fokkink, Wan; Nain, Sumit
1
2006
On the complete axiomatization for prefix iteration modulo observation congruence. Zbl 1100.68046
Chen, Taolue; Han, Tingting; Lu, Jian
1
2006
A pseudo top-hat mathematical morphological approach to edge detection in dark regions. Zbl 0988.68210
Chen, T.; Wu, Q. H.; Rahmani-Torkaman, R.; Hughes, J.
1
2002
The problem of thermal conduction for two ellipsoidal inhomogeneities in an anisotropic medium and its relevance to composite materials. Zbl 0953.74016
Chen, T.; Yang, S.-H.
1
1995
Bisimulations for fuzzy transition systems revisited. Zbl 1451.68195
Wu, Hengyang; Chen, Taolue; Han, Tingting; Chen, Yixiang
1
2018
Polynomial-time algorithms for computing distances of fuzzy transition systems. Zbl 1390.68464
Chen, Taolue; Han, Tingting; Cao, Yongzhi
1
2018
The packing chromatic number of the infinite square lattice is between 13 and 15. Zbl 1361.05051
Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos
13
2017
Satisfiability of compositional separation logic with tree predicates and data constraints. Zbl 06778423
Xu, Zhaowei; Chen, Taolue; Wu, Zhilin
1
2017
A complete decision procedure for linearly compositional separation logic with data constraints. Zbl 06623284
Gu, Xincai; Chen, Taolue; Wu, Zhilin
2
2016
On the axiomatizability of impossible futures. Zbl 1448.68335
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
2
2015
On the total variation distance of labelled Markov chains. Zbl 1395.68202
Chen, Taolue; Kiefer, Stefan
3
2014
On the complexity of computing maximum entropy for Markovian models. Zbl 1360.68501
Chen, Taolue; Han, Tingting
2
2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
2
2014
Perturbation analysis in verification of discrete-time Markov chains. Zbl 1417.68100
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin
1
2014
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
8
2013
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
8
2013
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
4
2013
Solvency Markov decision processes with interest. Zbl 1360.91091
Brázdil, Tomáš; Chen, Taolue; Forejt, Vojtěch; Novotný, Petr; Simaitis, Aistis
1
2013
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
1
2013
Local decay in non-relativistic QED. Zbl 1237.81125
Chen, T.; Faupin, J.; Fröhlich, J.; Sigal, I. M.
13
2012
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
8
2012
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
2
2012
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
2
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
9
2011
Efficient CTMC model checking of linear real-time objectives. Zbl 1315.68174
Barbot, Benoît; Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
7
2011
Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
6
2011
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
1
2011
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
Ready to preorder: the case of weak process semantics. Zbl 1191.68434
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
5
2009
Undecidability of cost-bounded reachability in priced probabilistic timed automata. Zbl 1241.68076
Berendsen, Jasper; Chen, Taolue; Jansen, David N.
4
2009
A fuzzy-neural knowledge-based system for job completion time prediction and internal due date assignment in a wafer fabrication plant. Zbl 1291.93153
Chen, T.
3
2009
On metrics for probabilistic systems: definitions and algorithms. Zbl 1186.68250
Chen, Taolue; Han, Tingting; Lu, Jian
3
2009
LTL model checking of time-inhomogeneous Markov chains. Zbl 1262.68108
Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru
2
2009
On finite bases for weak semantics: failures versus impossible futures. Zbl 1206.68212
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
1
2009
Vibration modes of \(3n\)-gaskets and other fractals. Zbl 1181.28007
Bajorin, N.; Chen, T.; Dagan, A.; Emmons, C.; Hussein, M.; Khalil, M.; Mody, P.; Steinhurst, B.; Teplyaev, A.
26
2008
Vibration spectra of finitely ramifield, symmetric fractals. Zbl 1160.28302
Bajorin, N.; Chen, T.; Dagan, A.; Emmons, C.; Hussein, M.; Khalil, M.; Mody, P.; Steinhurst, B.; Teplyaev, A.
12
2008
On finite alphabets and infinite bases. Zbl 1146.68047
Chen, Taolue; Fokkink, Wan; Luttik, Bas; Nain, Sumit
6
2008
On the axiomatisability of priority. Zbl 1141.68042
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2008
Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521
Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C.
4
2007
On the axiomatizability of priority. Zbl 1134.68038
Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna
5
2006
On finite alphabets and infinite bases. III: Simulation. Zbl 1151.68519
Chen, Taolue; Fokkink, Wan
2
2006
On finite alphabets and infinite bases. II: Completed and ready simulation. Zbl 1151.68520
Chen, Taolue; Fokkink, Wan; Nain, Sumit
1
2006
On the complete axiomatization for prefix iteration modulo observation congruence. Zbl 1100.68046
Chen, Taolue; Han, Tingting; Lu, Jian
1
2006
Control of longitudinal wave propagation in conical periodic structures. Zbl 1094.74659
Tongele, T. N.; Chen, T.
3
2004
A homogeneous elliptical shaft may not warp under torsion. Zbl 1063.74065
Chen, T.
3
2004
A coupled finite element and meshless local Petrov–Galerkin method for two-dimensional potential problems. Zbl 1037.65115
Chen, T.; Raju, I. S.
15
2003
Active control of vibration and noise radiation from fluid-loaded cylinder using active constrained layer damping. Zbl 1062.74573
Laplante, W.; Chen, T.; Baz, A.; Sheilds, W.
2
2002
A pseudo top-hat mathematical morphological approach to edge detection in dark regions. Zbl 0988.68210
Chen, T.; Wu, Q. H.; Rahmani-Torkaman, R.; Hughes, J.
1
2002
Torsion of a circular compound bar with imperfect interface. Zbl 1110.74375
Chen, T.; Weng, I. S.
3
2001
New perspective on Poisson’s ratios of elastic solids. Zbl 1169.74340
Zheng, Q. S.; Chen, T.
2
2001
Universal connections of elastic fibrous composites: Some new results. Zbl 0992.74023
Chen, T.; Zheng, Q.-S.
2
2000
Scheduling the maintenance on a single machine. Zbl 1054.90550
Qi, X.; Chen, T.; Tu, F.
37
1999
Generalized plane deformation of electromagnetic thermoelastic solids. I: Correspondence and invariance shifts. Zbl 0971.74035
Zheng, Q.-S.; Chen, T.
3
1999
Electroelastic fields and effective moduli of a medium containing cavities or rigid inclusions of arbitrary shape under anti-plane mechanical and in-plane electric fields. Zbl 0886.73055
Chen, T.; Chiang, S. C.
3
1997
Boundary integral formulations for three-dimensional anisotropic piezoelectric solids. Zbl 0826.73066
Chen, T.; Lin, F. Z.
16
1995
The problem of thermal conduction for two ellipsoidal inhomogeneities in an anisotropic medium and its relevance to composite materials. Zbl 0953.74016
Chen, T.; Yang, S.-H.
1
1995
all top 5

Cited by 488 Authors

11 Chen, Taolue
10 Kwiatkowska, Marta Z.
8 Teplyaev, Alexander
7 Aceto, Luca
7 Faupin, Jérémy
7 Ingólfsdóttir, Anna
6 Lüttgen, Gerald
5 Bortolussi, Luca
5 Brešar, Boštjan
5 de Frutos-Escrig, David
5 Gregorio-Rodríguez, Carlos
5 Sigal, Israel Michael
5 Steinhurst, Benjamin
5 Strichartz, Robert S.
4 Fendrich, Sascha
4 Fokkink, Willem Jan
4 Kacem, Imed
4 Klavžar, Sandi
4 Larsen, Kim Guldstrand
4 Norman, Gethin
4 Ruan, Huo-Jun
4 Vogler, Walter
4 Willemse, Tim A. C.
3 Chen, Joe Po-Chou
3 Ferme, Jasmina
3 Forejt, Vojtěch
3 Luttik, Bas
3 Tadeu, António J. B.
3 Turrini, Andrea
3 Wang, Xu
3 Xu, Dehua
3 Zhang, Lijun
2 Aghezzaf, El-Houssaine
2 António, Julieta M. P.
2 Ariza, Maria P.
2 Bacci, Giorgio
2 Bacci, Giovanni
2 Baier, Christel
2 Barbaroux, Jean-Marie
2 Bertrand, Nathalie
2 Brihaye, Thomas
2 Bujtor, Ferenc
2 Cao, Xiongtao
2 Chen, Jeng-Tzong
2 Chen, Wanqing
2 Chu, Chengbin
2 Cui, Weiwei
2 Diciolla, Marco
2 Domínguez, Julián
2 Etessami, Kousha
2 Fan, Hui
2 Gastineau, Nicolas
2 Guillot, Jean-Claude
2 Hahn, Ernst Moritz
2 Hermanns, Holger
2 Hillston, Jane
2 Holub, Přemysl
2 Jansen, David N.
2 Jonsson, Bengt
2 Junges, Sebastian
2 Katoen, Joost-Pieter
2 Kellerer, Johann
2 Korže, Danilo
2 Kushch, Volodymyr I.
2 Lee, Ying-Te
2 Legay, Axel
2 Li, Xiaohui
2 Liu, Yijun
2 Lu, Zhiqiang
2 Mardare, Radu
2 Mereacre, Alexandru
2 Mogilevskaya, Sofia G.
2 Nenzi, Laura
2 Nielson, Flemming
2 Orzan, Simona
2 Pan, Ernian
2 Rajesh, K. N.
2 Rall, Douglas F.
2 Rao, Boggarapu Nageswara
2 Sanguinetti, Guido
2 Sanz, José Antonio
2 Sladek, Jan
2 Sladek, Vladimir
2 Sproston, Jeremy
2 Stanak, Peter
2 Stewart, Alistair
2 Tang, Donglei
2 Tang, Hengyong
2 Togni, Olivier
2 Trivedi, Ashutosh
2 van Glabbeek, Robert Jan
2 Vesel, Aleksander
2 Wang, Jibo
2 Wesselink, Wieger
2 Wreszinski, Walter F.
2 Yannakakis, Mihalis
2 Zhao, Chuanli
2 Zhou, Denglin
1 Abate, Alessandro
1 Abbasbandy, Saeid
...and 388 more Authors
all top 5

Cited in 88 Serials

17 Engineering Analysis with Boundary Elements
14 Theoretical Computer Science
11 Information and Computation
6 Discrete Applied Mathematics
6 Computers & Operations Research
6 European Journal of Operational Research
5 Acta Informatica
5 Formal Methods in System Design
5 Annales Henri Poincaré
4 Acta Mechanica
4 Communications in Mathematical Physics
4 International Journal for Numerical Methods in Engineering
4 Applied Mathematical Modelling
4 Fractals
4 Journal of Scheduling
3 International Journal of Engineering Science
3 Information Processing Letters
3 Journal of Mathematical Physics
3 Applied Mathematics and Computation
3 Aequationes Mathematicae
3 The Journal of Fourier Analysis and Applications
3 Journal of Combinatorial Optimization
3 Logical Methods in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Computer Methods in Applied Mechanics and Engineering
2 Journal of the Mechanics and Physics of Solids
2 Letters in Mathematical Physics
2 Wave Motion
2 Reviews in Mathematical Physics
2 Information Sciences
2 Journal of Functional Analysis
2 Applied Mathematics and Mechanics. (English Edition)
2 Asia-Pacific Journal of Operational Research
2 Journal of Elasticity
2 Discussiones Mathematicae. Graph Theory
2 Journal of Vibration and Control
2 Communications on Pure and Applied Analysis
2 International Journal of Computational Methods
1 Artificial Intelligence
1 Bulletin of the Australian Mathematical Society
1 Computers and Fluids
1 Discrete Mathematics
1 International Journal of Solids and Structures
1 International Journal of Systems Science
1 Journal d’Analyse Mathématique
1 Journal of Statistical Physics
1 Chaos, Solitons and Fractals
1 Advances in Mathematics
1 Glasgow Mathematical Journal
1 Illinois Journal of Mathematics
1 Journal of Computer and System Sciences
1 Mechanics Research Communications
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Proceedings of the American Mathematical Society
1 Studia Logica
1 Transactions of the American Mathematical Society
1 Journal of Information & Optimization Sciences
1 Annals of Pure and Applied Logic
1 Applied Numerical Mathematics
1 Constructive Approximation
1 Journal of Automated Reasoning
1 Computational Mechanics
1 International Journal of Approximate Reasoning
1 Mathematical and Computer Modelling
1 Formal Aspects of Computing
1 Signal Processing
1 Machine Learning
1 Computational Optimization and Applications
1 Journal of Applied Non-Classical Logics
1 Top
1 Mathematical Problems in Engineering
1 European Journal of Control
1 Mathematics and Mechanics of Solids
1 Theory of Computing Systems
1 Abstract and Applied Analysis
1 Chaos
1 European Journal of Mechanics. A. Solids
1 CEJOR. Central European Journal of Operations Research
1 The Journal of Logic and Algebraic Programming
1 ACM Transactions on Computational Logic
1 International Journal of Flexible Manufacturing Systems
1 International Journal of Fracture
1 Journal of Industrial and Management Optimization
1 Acta Mechanica Sinica
1 Optimization Letters
1 Algorithms
1 Arabian Journal for Science and Engineering
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year