| |
| 2009 | ||
|---|---|---|
| 5 | EE | Min Wan, Gianfranco Ciardo: Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. SOFSEM 2009: 582-594 |
| 4 | EE | Min Wan, Gianfranco Ciardo: Symbolic Reachability Analysis of Integer Timed Petri Nets. SOFSEM 2009: 595-608 |
| 3 | EE | Min Wan, Zhao Zhang: A kind of conditional vertex connectivity of star graphs. Appl. Math. Lett. 22(2): 264-267 (2009) |
| 2007 | ||
| 2 | EE | Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu: Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Performance Evaluation Review 35(3): 16-18 (2007) |
| 2005 | ||
| 1 | EE | Zhiwen Mo, Min Wan, Lan Shu: An evolution strategy for the induction of fuzzy finite-state automata. GrC 2005: 579-582 |
| 1 | Gianfranco Ciardo | [2] [4] [5] |
| 2 | Andrew S. Miner | [2] |
| 3 | Zhiwen Mo | [1] |
| 4 | Lan Shu | [1] |
| 5 | Andy Jinqing Yu | [2] |
| 6 | Zhao Zhang | [3] |