• 1923 Citations
  • 19 h-Index
1990 …2021

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2000

IDRS: An interactive digital radio station over Internet

Huang, C. M. & Liu, P. C., 2000 May 1, In : Journal of Systems and Software. 51, 3, p. 229-243 15 p.

Research output: Contribution to journalArticle

Interactive multimedia synchronisation in the distributed environment using the formal approach

Huang, C-M., Wang, C. & Lin, C. H., 2000 Jan 1, In : IEE Proceedings: Software. 147, 4, p. 131-143 13 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

PPP (P3): An Estelle-based Probabilistic Partial Protocol verification system

Huang, C. M. & Hsu, J. M., 2000 Jan 15, In : Computer Communications. 23, 2, p. 177-192 16 p.

Research output: Contribution to journalArticle

Robust audio transmission over Internet with self-adjusted buffer control

Huang, C-M. & Liu, P. C., 2000 Jan 1, In : Information sciences. 124, 1, p. 1-28 28 p.

Research output: Contribution to journalArticle

TVIS: An interactive multimedia communication engine and its applications

Huang, C. M., Kuo, C. Y. & Wang, C., 2000 May 1, In : Journal of Systems and Software. 51, 3, p. 201-216 16 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
1999

Developing multicast, multiple-stream, multimedia presentations using a formal approach

Huang, C. M. & Kung, H. Y., 1999 Dec 1, In : IEE Proceedings: Software. 146, 6, p. 245-257 13 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

FaxWeb: Accessing the WWW using the fax machine

Huang, C-M., Jang, M. Y. & Hsu, T. H., 1999 Sep 15, In : Information and Software Technology. 41, 13, p. 859-875 17 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Interactive temporal behaviours and modelling for multimedia presentations in the WWW environment

Huang, C. M. & Jang, M. Y., 1999 Jan 1, In : Computer Journal. 42, 2, p. 112-128 17 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
1 Citation (Scopus)
1998

MING-I: A distributed interactive multimedia document development mechanism

Huang, C-M., Chen, J. S., Lin, C. H. & Wang, C., 1998 Dec 1, In : Multimedia Systems. 6, 5, p. 316-332 17 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)

Synchronization for interactive multimedia presentations

Huang, C. M. & Wang, C., 1998 Oct 1, In : IEEE Multimedia. 5, 4, p. 44-61 18 p.

Research output: Contribution to journalArticle

30 Citations (Scopus)

UIOE: A protocol test sequence generation method using the transition executability analysis (TEA)

Huang, C. M., Chiang, M. S. & Jang, M. Y., 1998 Oct 15, In : Computer Communications. 21, 16, p. 1462-1475 14 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)
1997

An Estelle-based incremental protocol design system

Huang, C. M., Hsu, J. M., Lai, H. Y., Huang, D. T. & Pong, J. C., 1997 Feb, In : Journal of Systems and Software. 36, 2, p. 115-135 21 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

A synchronization infrastructure for multicast multimedia at the presentation layer

Huang, C. M. & Kung, H. Y., 1997 Dec 1, In : IEEE Transactions on Consumer Electronics. 43, 3, p. 370-380 11 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Distributed multimedia synchronization specifications using M2EST

Huang, C. M., Chang, Y. I., Lin, C. H. & Chen, J. S., 1997 Aug, In : Information and Software Technology. 39, 8, p. 561-578 18 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

EFSM-based continuous media synchronization in multicast networks

Huang, C. M., Kung, H. Y. & Liu, P. C., 1997 Oct 15, In : Computer Communications. 20, 11, p. 950-969 20 p.

Research output: Contribution to journalArticle

Handoff architectures and protocols for transmitting compressed multimedia information in mobile PCSs

Huang, C. M. & Jang, M. Y., 1997 Dec 1, In : IEEE Transactions on Consumer Electronics. 43, 3, p. 784-794 11 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
1996

Achieving multimedia synchronization between live video and live audio streams using QoS controls

Huang, C. M. & Lee, R. Y., 1996 May 1, In : Computer Communications. 19, 5, p. 456-467 12 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

A multi-event-one-transition plus incremental processing protocol verification method

Huang, C. M., Lai, H. Y. & Huang, D. T., 1996 Jun 1, In : Journal of Information Science and Engineering. 12, 2, p. 215-241 27 p.

Research output: Contribution to journalArticle

An EFSM-based multimedia synchronization model and the authoring system

Huang, C. M. & Lo, C. M., 1996 Jan 1, In : IEEE Journal on Selected Areas in Communications. 14, 1, p. 138-152 15 p.

Research output: Contribution to journalArticle

27 Citations (Scopus)

An ODA-like multimedia document system

Huang, C-M., Chu, Y. F. & Chang, Y. I., 1996 Jan 1, In : Software - Practice and Experience. 26, 10, p. 1097-1126 30 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Probabilistic fuzzy timed protocol verification

Huang, C-M., Hsu, J. M. & Lee, S. W., 1996 Jan 1, In : Information and Computation. 19, 1, p. 407-425 19 p.

Research output: Contribution to journalArticle

Probabilistic fuzzy timed protocol verification

Huang, C. M., Hsu, J. M. & Lee, S. W., 1996 May 1, In : Computer Communications. 19, 5, p. 407-425 19 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Quantification of quality-of-presentations (QOPs) for multimedia synchronization schemes

Huang, C. M. & Lee, R. Y., 1996 Jan 1, In : Computer Communication Review. 26, 3, p. 76-104 29 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Reverse protocol verification: Concept, algorithm and application

Huang, C. M., Chang, Y. I. & Huang, D. T., 1996 Dec 1, In : Computer Journal. 39, 6, p. X5-524

Research output: Contribution to journalArticle

1 Citation (Scopus)

Synchronization architectures and control schemes for interactive multimedia presentations

Huang, C. M., Wang, C., Chen, J. S. & Lin, C. H., 1996 Dec 1, In : IEEE Transactions on Consumer Electronics. 42, 3, p. 546-556 11 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
1995

An Enhanced Computer Networks Course

Huang, C. M., 1995 Aug, In : IEEE Transactions on Education. 38, 3, p. 279-290 12 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

ECFSM-based probabilistic protocol verification

Huang, C. M., Hsu, J. M. & Lee, S. W., 1995 Jul 7, In : Information Processing Letters. 55, 1, p. 1-9 9 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
1 Citation (Scopus)

Integrated FDT-based protocol verification system

Huang, C. M., Hsu, J. M., Lai, H. Y. & Huang, D. T., 1995 Jan 1, In : Software engineering journal. 10, 6, p. 233-244 12 p.

Research output: Contribution to journalArticle

Timed protocol verification for Estelle-specified protocols

Huang, C-M. & Lee, S. W., 1995 Jan 1, In : Computer Communication Review. 25, 3, p. 4-32 29 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
1994

A modified transition tour protocol test method

Huang, C. M., Hsu, J. M. & Lai, H. Y., 1994 Sep 1, In : Journal of Systems Integration. 4, 3, p. 257-300 44 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Incremental protocol verification method

Huang, C-M. & Hsu, J. M., 1994 Jan 1, In : Computer Journal. 37, 8, p. 698-710 13 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Multimedia e‐mail: The evolution approach based on adapters

Huang, CM. M. & Lo, CM. M., 1994 Sep, In : Software: Practice and Experience. 24, 9, p. 785-800 16 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Protocol half-converters derivation using the formal approach

Huang, C-M., Chiang, M. S., Lee, S. W. & Yao, Y. W., 1994 Sep 1, In : Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering. 18, 5, p. 440-449 10 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
1990

A Computer-Aided Protocol Design by Production Systems Approach

Huang, C. M., Chang, Y. I. & Liu, M. T., 1990 Dec, In : IEEE Journal on Selected Areas in Communications. 8, 9, p. 1748-1762 15 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)