dblp.uni-trier.dewww.uni-trier.de

Jenq-Muh Hsu

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

2008
15EEJenq-Muh Hsu, Wei-Bin Lain, Jui-Chih Liang: A Context-Aware Push-to-Talk Service. MUE 2008: 586-591
14EEJenq-Muh Hsu, Yen-Shou Lai, Pao-Ta Yu: Using the RFIDs to Construct the Ubiquitous Self-Learning Environment for Understanding the Plants in the Schoolyard. WMUTE 2008: 210-212
2007
13EEYen-Shou Lai, Hung-Hsu Tsai, Pao-Ta Yu, Jenq-Muh Hsu: A Multimedia Learning System Using HMMs to Improve Phonemic Awareness for English Pronunciation. MUE 2007: 1064-1069
12EEJenq-Muh Hsu, Wei-Juing Wu, I-Ray Chang: Ubiquitous Multimedia Information Delivering Service for Smart Home. MUE 2007: 341-346
11EEHsien-Chang Wang, Gu-Jun Chen, Jenq-Muh Hsu: Applying SIP VoIP to Context-Aware Telephony. JACIII 11(7): 767-771 (2007)
2006
10 Pao-Ta Yu, Yen-Shou Lai, Chia-Ming Liu, Jenq-Muh Hsu: The Development of a Grouping System in a Collaborative Learning Environment. ICCE 2006: 201-204
2005
9EEJenq-Muh Hsu, Chian-Fei Hsu, Chung-Ming Huang: Design of an IPv6 SOHO Router Based on Embedded Linux System. AINA 2005: 827-832
2000
8EEChung-Ming Huang, Jenq-Muh Hsu: An Estelle-Based Probabilistic Partial Timed Protocol Verification System. ICPADS 2000: 83-90
7EEChung-Ming Huang, Jenq-Muh Hsu: PPP (P3): an Estelle-based probabilistic partial protocol verification system. Computer Communications 23(2): 177-192 (2000)
1997
6 Chung-Ming Huang, Jenq-Muh Hsu, L. Huei-Yang, H. Duen-Tay, P. Jao-Chiang: An Estelle-Based Incremental Protocol Design System. Journal of Systems and Software 36(2): 115-135 (1997)
1996
5EEChung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee: Probabilistic fuzzy timed protocol verification. Computer Communications 19(5): 407-425 (1996)
1995
4EEChung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee: ECFSM-Based Probabilistic Protocol Verification. Inf. Process. Lett. 55(1): 1-9 (1995)
1994
3 Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu: Probabilistic Timed Protocol Verification for the Extended State Transition Model. ICPADS 1994: 432-437
2 Chung-Ming Huang, Jenq-Muh Hsu: An Incremental Protocol Verification Method. Comput. J. 37(8): 698-710 (1994)
1EEChung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai: A modified transition tour protocol test method. Journal of Systems Integration 4(3): 257-300 (1994)

Coauthor Index

1I-Ray Chang [12]
2Gu-Jun Chen [11]
3H. Duen-Tay [6]
4Chian-Fei Hsu [9]
5Chung-Ming Huang [1] [2] [3] [4] [5] [6] [7] [8] [9]
6L. Huei-Yang [6]
7P. Jao-Chiang [6]
8Huei-Yang Lai [1]
9Yen-Shou Lai [10] [13] [14]
10Wei-Bin Lain [15]
11Shiun-Wei Lee [3] [4] [5]
12Jui-Chih Liang [15]
13Chia-Ming Liu [10]
14Hung-Hsu Tsai [13]
15Hsien-Chang Wang [11]
16Wei-Juing Wu [12]
17Pao-Ta Yu [10] [13] [14]

Colors in the list of coauthors

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