Ming-Ying Chung

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EEMing-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu: A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA 2006: 51-66
4EEMing-Ying Chung, Gianfranco Ciardo: A dynamic firing speculation to speedup distributed symbolic state-space generation. IPDPS 2006
3EEMing-Ying Chung, Gianfranco Ciardo: A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. Electr. Notes Theor. Comput. Sci. 135(2): 65-80 (2006)
2EEMing-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu: A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004
1EEMing-Ying Chung, Gianfranco Ciardo: Saturation NOW. QEST 2004: 272-281

Coauthor Index

1Gianfranco Ciardo [1] [2] [3] [4] [5]
2Susanna Donatelli [2]
3N. He [2]
4Brigitte Plateau [2]
5William J. Stewart [2]
6E. Sulaiman [2]
7Andy Jinqing Yu [2] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)