 | 2012 |
| 6 |  | Jin Tian,
Ru He,
Lavanya Ram:
Bayesian Model Averaging Using the k-best Bayesian Network Structures
CoRR abs/1203.3520: (2012) |
| 5 |  | Jin Tian,
Ru He:
Computing Posterior Probabilities of Structural Features in Bayesian Networks
CoRR abs/1205.2612: (2012) |
| 2010 |
| 4 |  | Ru He,
Paul Jennings,
Samik Basu,
Arka P. Ghosh,
Huaiqing Wu:
A bounded statistical approach for model checking of unbounded until properties.
ASE 2010: 225-234 |
| 3 |  | Jin Tian,
Ru He,
Lavanya Ram:
Bayesian Model Averaging Using the k-best Bayesian Network Structures.
UAI 2010: 589-597 |
| 2009 |
| 2 |  | Samik Basu,
Arka P. Ghosh,
Ru He:
Approximate Model Checking of PCTL Involving Unbounded Path Properties.
ICFEM 2009: 326-346 |
| 1 |  | Jin Tian,
Ru He:
Computing Posterior Probabilities of Structural Features in Bayesian Networks.
UAI 2009: 538-547 |