×

zbMATH — the first resource for mathematics

Wang, Farn

Compute Distance To:
Author ID: wang.farn Recent zbMATH articles by "Wang, Farn"
Published as: Wang, F.; Wang, Farn
Documents Indexed: 62 Publications since 1992, including 5 Books

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 116 times in 103 Documents Cited by Year
On the competitiveness of on-line real-time task scheduling. Zbl 0766.68011
Baruah, S.; Koren, G.; Mao, D.; Mishra, B.; Raghunathan, A.; Rosier, Louis E.; Shasha, D.; Wang, F.
30
1992
The modelling of multi-fracturing solids and particulate media. Zbl 1060.74633
Owen, D. R. J.; Feng, Y. T.; de Souza Neto, E. A.; Cottrell, M. G.; Wang, F.; Andrade Pires, F. M.; Yu, J.
14
2004
Parametric timing analysis for real-time systems. Zbl 0872.68041
Wang, Farn
10
1996
Diffusion in Lorentz lattice gas cellular automata: the honeycomb and quasi-lattices compared with the square and triangular lattices. Zbl 1106.82362
Wang, F.; Cohen, E. G. D.
6
1995
New results for diffusion in Lorentz lattice gas cellular automata. Zbl 1106.82349
Cohen, E. G. D.; Wang, F.
6
1995
A temporal logic for the interaction of strategies. Zbl 1343.68157
Wang, Farn; Huang, Chung-Hao; Yu, Fang
5
2011
Spin-axis stabilisation of underactuated rigid spacecraft under sinusoidal disturbance. Zbl 1151.93422
Zhang, H. H.; Wang, F.; Trivailo, Pavel M.
4
2008
Static and dynamic analyses of isogeometric curvilinearly stiffened plates. Zbl 1446.74046
Qin, X. C.; Dong, C. Y.; Wang, F.; Qu, X. Y.
3
2017
Inverse radiation problem of temperature field in three-dimensional rectangular enclosure containing inhomogeneous, anisotropically scattering media. Zbl 1148.80370
Liu, D.; Wang, F.; Yan, J. H.; Huang, Q. X.; Chi, Y.; Cen, K. F.
3
2008
Application of differential evolution in harmonic worst-case identification of mass rapid transit power supply system. Zbl 1090.93009
Chang, C. S.; Lu, L. R.; Wang, F.
3
2004
Timing parameter characterization of real-time systems. Zbl 1279.68225
Wang, Farn; Yen, Hsu-Chun
3
2003
Efficient verification of timed automata with BDD-like data-structures. Zbl 1022.68586
Wang, Farn
3
2003
Nonlinear dynamic buckling of symmetrically laminated cylindrically orthotropic shallow spherical shells. Zbl 0912.73023
Liu, R.-H.; Wang, F.
3
1998
Terahertz radiation induced chaotic electron transport in semiconductor superlattices with a tilted magnetic field. Zbl 1374.82042
Wang, C.; Wang, F.; Cao, J. C.
2
2014
Model-checking iterated games. Zbl 1381.68167
Huang, Chung-Hao; Schewe, Sven; Wang, Farn
2
2013
Time-progress evaluation for dense-time automata with concave path conditions. Zbl 1183.68384
Wang, Farn
2
2008
Symbolic simulation-checking of dense-time automata. Zbl 1141.68441
Wang, Farn
2
2007
TCTL inevitability analysis of dense-time systems. Zbl 1279.68223
Wang, Farn; Hwang, Geng-Dian; Yu, Fang
2
2003
Efficient computation of a guaranteed lower bound on the robust stability margin for a class of uncertain systems. Zbl 1136.93414
Balakrishnan, V.; Wang, F.
2
1999
Existence and multiplicity of positive solutions for singular Monge-Ampère system. Zbl 1373.34044
Wang, F.; Sun, S.
1
2015
Efficient model-checking of dense-time systems with time-convexity analysis. Zbl 1279.68222
Wang, Farn
1
2013
A theoretical model for electron transfer in ion-atom collisions: calculations for the collision of a proton with an argon atom. Zbl 1252.81125
Wang, F.; Xu, X. C.; Hong, X. H.; Wang, J.; Gou, B. C.
1
2011
Efficient verification of distributed real-time systems with broadcasting behaviors. Zbl 1230.68155
Wang, Farn; Yao, Li-Wei; Yang, Ya-Lan
1
2011
Inverse radiation analysis of simultaneous estimation of temperature field and radiative properties in a two-dimensional participating medium. Zbl 1197.80042
Liu, D.; Yan, J. H.; Wang, F.; Huang, Q. X.; Chi, Y.; Cen, K. F.
1
2010
Effects of interfacial properties on the ductility of polymer-supported metal films for flexible electronics. Zbl 1194.74185
Xu, Wei; Lu, T. J.; Wang, F.
1
2010
Comparison between a composition PDF transport equation model and an ASOM model for simulating a turbulent jet flame. Zbl 1140.80411
Wang, F.; Zhou, L. X.; Xu, C. X.; Goldin, G. M.
1
2008
Automatic test case generation with region-related coverage annotations for real-time systems. Zbl 1170.68518
Huang, Geng-Dian; Wang, Farn
1
2005
Model-checking distributed real-time systems with states, events, and multiple fairness assumptions. Zbl 1108.68530
Wang, Farn
1
2004
Parametric optimization of open real-time systems. Zbl 0997.68504
Wang, Farn; Yen, Hsu-Chun
1
2001
Diffusion and propagation in Lorentz lattice gases. Zbl 0885.60087
Cohen, E. G. D.; Wang, F.
1
1996
Static and dynamic analyses of isogeometric curvilinearly stiffened plates. Zbl 1446.74046
Qin, X. C.; Dong, C. Y.; Wang, F.; Qu, X. Y.
3
2017
Existence and multiplicity of positive solutions for singular Monge-Ampère system. Zbl 1373.34044
Wang, F.; Sun, S.
1
2015
Terahertz radiation induced chaotic electron transport in semiconductor superlattices with a tilted magnetic field. Zbl 1374.82042
Wang, C.; Wang, F.; Cao, J. C.
2
2014
Model-checking iterated games. Zbl 1381.68167
Huang, Chung-Hao; Schewe, Sven; Wang, Farn
2
2013
Efficient model-checking of dense-time systems with time-convexity analysis. Zbl 1279.68222
Wang, Farn
1
2013
A temporal logic for the interaction of strategies. Zbl 1343.68157
Wang, Farn; Huang, Chung-Hao; Yu, Fang
5
2011
A theoretical model for electron transfer in ion-atom collisions: calculations for the collision of a proton with an argon atom. Zbl 1252.81125
Wang, F.; Xu, X. C.; Hong, X. H.; Wang, J.; Gou, B. C.
1
2011
Efficient verification of distributed real-time systems with broadcasting behaviors. Zbl 1230.68155
Wang, Farn; Yao, Li-Wei; Yang, Ya-Lan
1
2011
Inverse radiation analysis of simultaneous estimation of temperature field and radiative properties in a two-dimensional participating medium. Zbl 1197.80042
Liu, D.; Yan, J. H.; Wang, F.; Huang, Q. X.; Chi, Y.; Cen, K. F.
1
2010
Effects of interfacial properties on the ductility of polymer-supported metal films for flexible electronics. Zbl 1194.74185
Xu, Wei; Lu, T. J.; Wang, F.
1
2010
Spin-axis stabilisation of underactuated rigid spacecraft under sinusoidal disturbance. Zbl 1151.93422
Zhang, H. H.; Wang, F.; Trivailo, Pavel M.
4
2008
Inverse radiation problem of temperature field in three-dimensional rectangular enclosure containing inhomogeneous, anisotropically scattering media. Zbl 1148.80370
Liu, D.; Wang, F.; Yan, J. H.; Huang, Q. X.; Chi, Y.; Cen, K. F.
3
2008
Time-progress evaluation for dense-time automata with concave path conditions. Zbl 1183.68384
Wang, Farn
2
2008
Comparison between a composition PDF transport equation model and an ASOM model for simulating a turbulent jet flame. Zbl 1140.80411
Wang, F.; Zhou, L. X.; Xu, C. X.; Goldin, G. M.
1
2008
Symbolic simulation-checking of dense-time automata. Zbl 1141.68441
Wang, Farn
2
2007
Automatic test case generation with region-related coverage annotations for real-time systems. Zbl 1170.68518
Huang, Geng-Dian; Wang, Farn
1
2005
The modelling of multi-fracturing solids and particulate media. Zbl 1060.74633
Owen, D. R. J.; Feng, Y. T.; de Souza Neto, E. A.; Cottrell, M. G.; Wang, F.; Andrade Pires, F. M.; Yu, J.
14
2004
Application of differential evolution in harmonic worst-case identification of mass rapid transit power supply system. Zbl 1090.93009
Chang, C. S.; Lu, L. R.; Wang, F.
3
2004
Model-checking distributed real-time systems with states, events, and multiple fairness assumptions. Zbl 1108.68530
Wang, Farn
1
2004
Timing parameter characterization of real-time systems. Zbl 1279.68225
Wang, Farn; Yen, Hsu-Chun
3
2003
Efficient verification of timed automata with BDD-like data-structures. Zbl 1022.68586
Wang, Farn
3
2003
TCTL inevitability analysis of dense-time systems. Zbl 1279.68223
Wang, Farn; Hwang, Geng-Dian; Yu, Fang
2
2003
Parametric optimization of open real-time systems. Zbl 0997.68504
Wang, Farn; Yen, Hsu-Chun
1
2001
Efficient computation of a guaranteed lower bound on the robust stability margin for a class of uncertain systems. Zbl 1136.93414
Balakrishnan, V.; Wang, F.
2
1999
Nonlinear dynamic buckling of symmetrically laminated cylindrically orthotropic shallow spherical shells. Zbl 0912.73023
Liu, R.-H.; Wang, F.
3
1998
Parametric timing analysis for real-time systems. Zbl 0872.68041
Wang, Farn
10
1996
Diffusion and propagation in Lorentz lattice gases. Zbl 0885.60087
Cohen, E. G. D.; Wang, F.
1
1996
Diffusion in Lorentz lattice gas cellular automata: the honeycomb and quasi-lattices compared with the square and triangular lattices. Zbl 1106.82362
Wang, F.; Cohen, E. G. D.
6
1995
New results for diffusion in Lorentz lattice gas cellular automata. Zbl 1106.82349
Cohen, E. G. D.; Wang, F.
6
1995
On the competitiveness of on-line real-time task scheduling. Zbl 0766.68011
Baruah, S.; Koren, G.; Mao, D.; Mishra, B.; Raghunathan, A.; Rosier, Louis E.; Shasha, D.; Wang, F.
30
1992
all top 5

Cited by 257 Authors

8 Fung, Stanley P. Y.
5 Cohen, Ezechiel G. D.
4 Epstein, Leah
3 Chin, Francis Y. L.
3 Markey, Nicolas
3 Poon, Chung Keung
3 Wang, Farn
3 Zang, Mengyan
3 Zheng, Feifeng
2 Bouyer, Patricia
2 Chatterjee, Krishnendu
2 Dube, G. P.
2 Dumir, P. C.
2 Feng, Yating
2 Gui, Haichao
2 Jeż, Łukasz
2 Jin, Lei
2 Kwiatkowska, Marta Z.
2 La Torre, Salvatore
2 Larsen, Kim Guldstrand
2 Levin, Asaf
2 Palis, Michael A.
2 Schmid, Ulrich
2 Sgall, Jiří
2 van Stee, Rob
2 Webb, Benjamin Z.
2 Xu, Shijie
2 Yan, Jianhua
2 Yen, Hsu-Chun
2 Zhao, Chongbin
1 Ahmed-Ali, Tarek
1 Aichernig, Bernhard K.
1 An, Bingbing
1 An, Yukun
1 André, Damien
1 André, Étienne
1 Assempour, Ahmad
1 Aydin, Hakan
1 Azgomi, Mohammad Abdollahi
1 Banerjee, Satyajit
1 Beneš, Nikola
1 Bezděk, Peter
1 Bhattacharya, Sanchari
1 Biannic, Jean-Marc
1 Bonifacio, Adilson Luiz
1 Bošković, Borko
1 Bozzelli, Laura
1 Brest, Janez
1 Brunel, Julien
1 Burlion, Laurent
1 Cao, Meng-She
1 Cen, Kefa
1 Cen, Kefan
1 Chareton, Christophe
1 Charles, Jean-Luc
1 Chatain, Thomas
1 Chemouil, David
1 Chen, Chien-Liang
1 Chen, Lin
1 Chen, Shiyu
1 Chi, Yaoyao
1 Chrobak, Marek
1 Chwa, Kyungyong
1 Cimatti, Alessandro
1 Cleaveland, Rance
1 da Silva Simão, Adenilso
1 DasGupta, Bhaskar
1 Devadas, Vinay
1 Di Giampaolo, Barbara
1 Dingel, Juergen
1 Dong, Chunying
1 Dong, Zhaoyang
1 Doyen, Laurent
1 Eberle, Franziska
1 Encrenaz, Emmanuelle
1 Erlebach, Thomas
1 Fahrenberg, Uli
1 Farzam, Amir
1 Feng, Yingtao
1 Feng, Yiteng
1 Feng, Yuntian
1 Feng, Yuting
1 Filiot, Emmanuel
1 Fontana, Peter
1 Fribourg, Laurent
1 Gao, Wei
1 Gao, Wei
1 Garavel, Hubert
1 Gardy, Patrick
1 Garofalakis, Minos
1 Gou, Biancai
1 Hagiwara, Takeo
1 Hai, Wenhua
1 Han, Kookyoung
1 Han, Kuanjin
1 Hansson, Anders M.
1 Hassani, Behrooz
1 Havangi, Ramazan
1 Higashino, Teruo
1 Hobbs, Bruce E.
...and 157 more Authors
all top 5

Cited in 53 Serials

9 Theoretical Computer Science
7 Information and Computation
5 Computer Methods in Applied Mechanics and Engineering
5 Journal of Statistical Physics
4 International Journal of Foundations of Computer Science
3 International Journal of Heat and Mass Transfer
3 Algorithmica
3 Computational Mechanics
3 Real-Time Systems
3 Journal of Scheduling
2 Information Processing Letters
2 International Journal for Numerical Methods in Engineering
2 Journal of Computer and System Sciences
2 Applied Mathematical Modelling
2 Theory of Computing Systems
2 Engineering Computations
2 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 ACM Computing Surveys
1 Acta Mechanica
1 International Journal of Control
1 International Journal of Systems Science
1 International Journal of Theoretical Physics
1 Journal of the Franklin Institute
1 Physics Letters. A
1 Automatica
1 Operations Research Letters
1 Applied Mathematics and Mechanics. (English Edition)
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 Discrete Event Dynamic Systems
1 Mathematical Programming. Series A. Series B
1 Formal Methods in System Design
1 Applied Mathematics. Series B (English Edition)
1 Turkish Journal of Mathematics
1 Science in China. Series E
1 European Journal of Control
1 Nonlinear Dynamics
1 Journal of Combinatorial Optimization
1 Chaos
1 European Journal of Mechanics. A. Solids
1 Communications in Nonlinear Science and Numerical Simulation
1 International Journal of Nonlinear Sciences and Numerical Simulation
1 Physical Review Letters
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 International Journal of Computational Methods
1 Science in China. Series G
1 Acta Mechanica Sinica
1 Optimization Letters
1 Journal of Physics A: Mathematical and Theoretical
1 Discrete Mathematics, Algorithms and Applications
1 Algorithms
1 Computer Science Review

Citations by Year