Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
1989 | An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols | Shen, M.; Lei, C. L.; Chang, C. C. | 27th Allerton Conf. on Communication, Control, and Computing | |||
2013 | Thermodynamical properties in spontaneous optical pattern formations | Shen, M.; Lin, Y.; Yang, W.-X.; Jeng, C.-C.; MING-FENG SHIH ; Lee, R.-K. | Pacific Rim Conference on Lasers and Electro-Optics |