Edit Profile Ben, Yue Compute Distance To: Compute Author ID: ben.yue Published as: Ben, Y.; Ben, Yue Documents Indexed: 5 Publications since 2002 all top 5 Co-Authors 0 single-authored 2 Chadha, Rohit 2 Prasad Sistla, A. 2 Sistla, Aravinda Prasad 2 Viswanathan, Mahesh 1 Feng, Yao 1 Žefran, Miloý Serials 1 Journal of Computer and System Sciences Fields 3 Computer science (68-XX) 1 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 10 times in 8 Documents Cited by ▼ Year ▼ Nonlinear Smoluchowski slip velocity and micro-vortex generation. Zbl 1003.76094Ben, Y.; Chang, H.-C. 6 2002 Model checking failure-prone open systems using probabilistic automata. Zbl 06527547Ben, Yue; Sistla, A. Prasad 2 2015 Decidable and expressive classes of probabilistic automata. Zbl 06487993Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue 2 2015 Model checking failure-prone open systems using probabilistic automata. Zbl 06527547Ben, Yue; Sistla, A. Prasad 2 2015 Decidable and expressive classes of probabilistic automata. Zbl 06487993Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue 2 2015 Nonlinear Smoluchowski slip velocity and micro-vortex generation. Zbl 1003.76094Ben, Y.; Chang, H.-C. 6 2002 all top 5 Cited by 12 Authors 4 Yariv, Ehud 2 Chadha, Rohit 2 Sistla, Aravinda Prasad 2 Viswanathan, Mahesh 1 Bass, Ludvik 1 Ben, Yue 1 Bracken, Anthony J. 1 Davis, Anthony M. J. 1 Galligani, Emanuele 1 Hamed, Mohammad Abu 1 Mezzadri, Francesco 1 Miloh, Touvia Cited in 5 Serials 3 Journal of Fluid Mechanics 1 Journal of Computer and System Sciences 1 SIAM Journal on Applied Mathematics 1 Physics of Fluids 1 Advances in Computational Mathematics all top 5 Cited in 6 Fields 4 Fluid mechanics (76-XX) 2 Computer science (68-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year