 | 2009 |
|---|
| 6 |       | Gianfranco Ciardo,
Galen Mecham,
Emmanuel Paviot-Adet,
Min Wan:
P-Semiflow Computation with Decision Diagrams.
Petri Nets 2009: 143-162 |
| 5 | | Min Wan,
Gianfranco Ciardo:
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.
SOFSEM 2009: 582-594 |
| 4 | | Min Wan,
Gianfranco Ciardo:
Symbolic Reachability Analysis of Integer Timed Petri Nets.
SOFSEM 2009: 595-608 |
| 3 | | Min Wan,
Zhao Zhang:
A kind of conditional vertex connectivity of star graphs.
Appl. Math. Lett. 22(2): 264-267 (2009) |
| 2007 |
|---|
| 2 | | 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 | | Zhiwen Mo,
Min Wan,
Lan Shu:
An evolution strategy for the induction of fuzzy finite-state automata.
GrC 2005: 579-582 |
