×
Edit Profile (opens in new tab)

Ben, Yue

Co-Author Distance
Author ID: ben.yue Recent zbMATH articles by "Ben, Yue"
Published as: Ben, Yue
Documents Indexed: 5 Publications since 2002
Co-Authors: 5 Co-Authors with 4 Joint Publications
75 Co-Co-Authors

Co-Authors

0 single-authored
4 Prasad Sistla, A.
2 Chadha, Rohit
2 Viswanathan, Mahesh
1 Feng, Yao
1 Žefran, Miloý

Serials

1 Journal of Fluid Mechanics
1 Journal of Computer and System Sciences

Fields

3 Computer science (68-XX)
1 Fluid mechanics (76-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 12 times in 9 Documents Cited by ▼ Year ▼
Nonlinear Smoluchowski slip velocity and micro-vortex generation. Zbl 1003.76094
Ben, Y.; Chang, H.-C.
11
2002
Decidable and expressive classes of probabilistic automata. Zbl 1459.68098
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue
7
2015
Model checking failure-prone open systems using probabilistic automata. Zbl 1471.68128
Ben, Yue; Sistla, A. Prasad
3
2015
Timely monitoring of partially observable stochastic systems. Zbl 1362.93146
Sistla, A. Prasad; Žefran, Miloý; Feng, Yao; Ben, Yue
2
2014
Decidable and expressive classes of probabilistic automata. Zbl 1459.68098
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue
7
2015
Model checking failure-prone open systems using probabilistic automata. Zbl 1471.68128
Ben, Yue; Sistla, A. Prasad
3
2015
Timely monitoring of partially observable stochastic systems. Zbl 1362.93146
Sistla, A. Prasad; Žefran, Miloý; Feng, Yao; Ben, Yue
2
2014
Nonlinear Smoluchowski slip velocity and micro-vortex generation. Zbl 1003.76094
Ben, Y.; Chang, H.-C.
11
2002
all cited Publications top 5 cited Publications
all top 5

Cited by 15 Authors

3 Chadha, Rohit
3 Daviaud, Laure
3 Prasad Sistla, A.
3 Viswanathan, Mahesh
2 Jurdziński, Marcin
2 Lazić, Ranko
2 Mazowiecki, Filip
2 Pérez, Guillermo A.
2 Worrell, James Benjamin
1 Abbas, Houssam
1 Ben, Yue
1 Kiefer, Stefan
1 Löding, Christof
1 Pelphrey, Richard
1 Pirogov, Anton

Cited in 1 Serial

2 Journal of Computer and System Sciences

Cited in 3 Fields

9 Computer science (68-XX)
1 Probability theory and stochastic processes (60-XX)
1 Systems theory; control (93-XX)

Citations by Year