default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jenq-Muh Hsu
@inproceedings{DBLP:conf/ichl/TsaiCHTDY15,
author = {Cheng{-}Yu Tsai and
Chih{-}Tsan Chang and
Jenq{-}Muh Hsu and
Hung{-}Hsu Tsai and
Zhicheng Dai and
Pao{-}Ta Yu},
editor = {Simon K. S. Cheung and
Lam For Kwok and
Harrison Hao Yang and
Joseph Fong and
Reggie Kwan},
title = {Toward a Highly Interactive Model of Flipped Learning},
booktitle = {Hybrid Learning: Innovation in Educational Practices - 8th International
Conference, {ICHL} 2015, Wuhan, China, July 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9167},
pages = {173--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20621-9\_14},
doi = {10.1007/978-3-319-20621-9\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ichl/TsaiCHTDY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/TsaiHTYH14,
author = {Cheng{-}Yu Tsai and
Jenq{-}Muh Hsu and
Hung{-}Hsu Tsai and
Pao{-}Ta Yu and
Wen{-}Feng Huang},
editor = {Simon K. S. Cheung and
Joseph Fong and
Jiping Zhang and
Reggie Kwan and
Lam For Kwok},
title = {A Mahjong-Like Game of English Vocabulary Spelling},
booktitle = {Hybrid Learning. Theory and Practice - 7th International Conference,
{ICHL} 2014, Shanghai, China, August 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8595},
pages = {152--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08961-4\_15},
doi = {10.1007/978-3-319-08961-4\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ichl/TsaiHTYH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iih-msp/HsuC14,
author = {Jenq{-}Muh Hsu and
Chin Yo Chen},
editor = {Junzo Watada and
Akinori Ito and
Jeng{-}Shyang Pan and
Han{-}Chieh Chao and
Chien{-}Ming Chen},
title = {A Sensor Information Gateway Based on Thing Interaction in IoT-IMS
Communication Platform},
booktitle = {2014 Tenth International Conference on Intelligent Information Hiding
and Multimedia Signal Processing, {IIH-MSP} 2014, Kitakyushu, Japan,
August 27-29, 2014},
pages = {835--838},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IIH-MSP.2014.211},
doi = {10.1109/IIH-MSP.2014.211},
timestamp = {Thu, 22 Oct 2020 13:52:00 +0200},
biburl = {https://dblp.org/rec/conf/iih-msp/HsuC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emc/HsuL13,
author = {Jenq{-}Muh Hsu and
Yi{-}Han Lin},
editor = {Yueh{-}Min Huang and
Han{-}Chieh Chao and
Der{-}Jiunn Deng and
James J. Park},
title = {An Enhanced Resource-Aware Query Based on RLS-based {SIP} Presence
Information Service},
booktitle = {Advanced Technologies, Embedded and Multimedia for Human-centric Computing
- HumanCom and {EMC} 2013 [International Conference on Human-centric
Computing, HumanCom 2013 / 8th International Conference on Embedded
and Multimedia Computing, {EMC} 2013, Taipei, Taiwan, August 23-25,
2013]},
series = {Lecture Notes in Electrical Engineering},
volume = {260},
pages = {1227--1233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-94-007-7262-5\_139},
doi = {10.1007/978-94-007-7262-5\_139},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emc/HsuL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/HsuCL12,
author = {Jenq{-}Muh Hsu and
Chao{-}Chun Chen and
Chia Chi Li},
title = {{POOT:} An efficient object tracking strategy based on short-term
optimistic predictions for face-structured sensor networks},
journal = {Comput. Math. Appl.},
volume = {63},
number = {2},
pages = {391--406},
year = {2012},
url = {https://doi.org/10.1016/j.camwa.2011.07.034},
doi = {10.1016/J.CAMWA.2011.07.034},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/HsuCL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/Hsu12,
author = {Jenq{-}Muh Hsu},
title = {Design and evaluation of virtual home objects with music interaction
in smart homes},
journal = {J. Intell. Manuf.},
volume = {23},
number = {4},
pages = {1281--1291},
year = {2012},
url = {https://doi.org/10.1007/s10845-010-0411-6},
doi = {10.1007/S10845-010-0411-6},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/Hsu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/ChangHY11,
author = {Ting{-}Wen Chang and
Jenq{-}Muh Hsu and
Pao{-}Ta Yu},
title = {A Comparison of Single- and Dual-Screen Environment in Programming
Language: Cognitive Loads and Learning Effects},
journal = {J. Educ. Technol. Soc.},
volume = {14},
number = {2},
pages = {188--200},
year = {2011},
url = {http://www.ifets.info/abstract.php?art\_id=1136},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ets/ChangHY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaras/ChenCWFCCH11,
author = {Chi{-}Yuan Chen and
Han{-}Chieh Chao and
Tin Yu Wu and
Chun{-}I Fan and
Jiann{-}Liang Chen and
Yuh{-}Shyan Chen and
Jenq{-}Muh Hsu},
title = {IoT-IMS Communication Platform for Future Internet},
journal = {Int. J. Adapt. Resilient Auton. Syst.},
volume = {2},
number = {4},
pages = {74--94},
year = {2011},
url = {https://doi.org/10.4018/jaras.2011100105},
doi = {10.4018/JARAS.2011100105},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaras/ChenCWFCCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijipt/HsuLY11,
author = {Jenq{-}Muh Hsu and
Yen{-}Shou Lai and
Pao{-}Ta Yu},
title = {U-plant: a RFID-based ubiquitous plant learning system for promoting
self-regulation},
journal = {Int. J. Internet Protoc. Technol.},
volume = {6},
number = {1/2},
pages = {112--122},
year = {2011},
url = {https://doi.org/10.1504/IJIPT.2011.040620},
doi = {10.1504/IJIPT.2011.040620},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijipt/HsuLY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/MaLHCH11,
author = {Yi{-}Wei Ma and
Chin{-}Feng Lai and
Jenq{-}Muh Hsu and
Nong{-}Kun Chen and
Yueh{-}Min Huang},
title = {RFID-Based Positioning System for Telematics Location-Aware Applications},
journal = {Wirel. Pers. Commun.},
volume = {59},
number = {1},
pages = {95--108},
year = {2011},
url = {https://doi.org/10.1007/s11277-010-0192-4},
doi = {10.1007/S11277-010-0192-4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wpc/MaLHCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/ChangKYH11,
author = {Ting{-}Wen Chang and
Kinshuk and
Pao{-}Ta Yu and
Jenq{-}Muh Hsu},
title = {Investigations of Using Interactive Whiteboards with and without an
Additional Screen},
booktitle = {{ICALT} 2011, 11th {IEEE} International Conference on Advanced Learning
Technologies, Athens, Georgia, USA, 6-8 July 2011},
pages = {347--349},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICALT.2011.108},
doi = {10.1109/ICALT.2011.108},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/ChangKYH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imis/HsuCL11,
author = {Jenq{-}Muh Hsu and
Chao{-}Chun Chen and
Chia Chi Li},
editor = {Ilsun You and
Leonard Barolli and
Feilong Tang and
Fatos Xhafa},
title = {Short-Term Prediction-Based Optimistic Object Tracking Strategy in
Wireless Sensor Networks},
booktitle = {Proceedings of the Fifth International Conference on Innovative Mobile
and Internet Services in Ubiquitous Computing, {IMIS} 2011, Seoul,
Korea, June 30-July 02, 2011},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/IMIS.2011.42},
doi = {10.1109/IMIS.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imis/HsuCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/HsuC09,
author = {Jenq{-}Muh Hsu and
Ray{-}I Chang},
editor = {Leonard Barolli and
Fatos Xhafa and
Hui{-}Huang Hsu},
title = {Design a Virtual Object Representing Human-Machine Interaction for
Music Playback Control in Smart Home},
booktitle = {2009 International Conference on Complex, Intelligent and Software
Intensive Systems, {CISIS} 2009, Fukuoka, Japan, March 16-19, 2009},
pages = {614--619},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CISIS.2009.34},
doi = {10.1109/CISIS.2009.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/HsuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mue/ChenHL09,
author = {Chao{-}Chun Chen and
Jenq{-}Muh Hsu and
Chien{-}Han Liao},
title = {{HAMA:} {A} Three-Layered Architecture for Integrating Object Tracking
and Location Management in Wireless Sensor Networks},
booktitle = {2009 Third International Conference on Multimedia and Ubiquitous Engineering,
{MUE} 2009, Qingdao, China, June 4-6, 2009},
pages = {268--275},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MUE.2009.55},
doi = {10.1109/MUE.2009.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mue/ChenHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mue/HsuLL08,
author = {Jenq{-}Muh Hsu and
Wei{-}Bin Lain and
Jui{-}Chih Liang},
title = {A Context-Aware Push-to-Talk Service},
booktitle = {2008 International Conference on Multimedia and Ubiquitous Engineering
{(MUE} 2008), 24-26 April 2008, Busan, Korea},
pages = {586--591},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MUE.2008.37},
doi = {10.1109/MUE.2008.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mue/HsuLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmte/HsuLY06,
author = {Jenq{-}Muh Hsu and
Yen{-}Shou Lai and
Pao{-}Ta Yu},
title = {Using the RFIDs to Construct the Ubiquitous Self-Learning Environment
for Understanding the Plants in the Schoolyard},
booktitle = {Proceedings of the Fifth {IEEE} International Conference on Wireless,
Mobile and Ubiquitous Technologies in Education, {WMUTE} 2008, Beijing,
China, March 23-26, 2008},
pages = {210--212},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WMUTE.2008.25},
doi = {10.1109/WMUTE.2008.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wmte/HsuLY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/WangCH07,
author = {Hsien{-}Chang Wang and
Gu{-}Jun Chen and
Jenq{-}Muh Hsu},
title = {Applying {SIP} VoIP to Context-Aware Telephony},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {11},
number = {7},
pages = {767--771},
year = {2007},
url = {https://doi.org/10.20965/jaciii.2007.p0767},
doi = {10.20965/JACIII.2007.P0767},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/WangCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mue/HsuWC07,
author = {Jenq{-}Muh Hsu and
Wei{-}Juing Wu and
Ray{-}I Chang},
title = {Ubiquitous Multimedia Information Delivering Service for Smart Home},
booktitle = {2007 International Conference on Multimedia and Ubiquitous Engineering
{(MUE} 2007), 26-28 April 2007, Seoul, Korea},
pages = {341--346},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MUE.2007.211},
doi = {10.1109/MUE.2007.211},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mue/HsuWC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mue/LaiTYH07,
author = {Yen{-}Shou Lai and
Hung{-}Hsu Tsai and
Pao{-}Ta Yu and
Jenq{-}Muh Hsu},
title = {A Multimedia Learning System Using HMMs to Improve Phonemic Awareness
for English Pronunciation},
booktitle = {2007 International Conference on Multimedia and Ubiquitous Engineering
{(MUE} 2007), 26-28 April 2007, Seoul, Korea},
pages = {1064--1069},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MUE.2007.30},
doi = {10.1109/MUE.2007.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mue/LaiTYH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/YuLLH06,
author = {Pao{-}Ta Yu and
Yen{-}Shou Lai and
Chia{-}Ming Liu and
Jenq{-}Muh Hsu},
editor = {Riichiro Mizoguchi and
Pierre Dillenbourg and
Zhiting Zhu},
title = {The Development of a Grouping System in a Collaborative Learning Environment},
booktitle = {Learning by Effective Utilization of Technologies: Facilitating Intercultural
Understanding, Proceeding of the 14th International Conference on
Computers in Education, {ICCE} 2006, November 30 - December 4, 2006,
Beijing, China},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {151},
pages = {201--204},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2263},
timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce/YuLLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HsuHH05,
author = {Jenq{-}Muh Hsu and
Chian{-}Fei Hsu and
Chung{-}Ming Huang},
title = {Design of an IPv6 {SOHO} Router Based on Embedded Linux System},
booktitle = {19th International Conference on Advanced Information Networking and
Applications {(AINA} 2005), 28-30 March 2005, Taipei, Taiwan},
pages = {827--832},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/AINA.2005.154},
doi = {10.1109/AINA.2005.154},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/HsuHH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/LiuHH02,
author = {De{-}Kai Liu and
Ren{-}Hung Hwang and
Jenq{-}Muh Hsu},
editor = {Ronald P. Luijten and
W. Eric Wong and
Kia Makki and
E. K. Park},
title = {A multicast framework for multimedia applications},
booktitle = {Proceedings of the 11th International Conference on Computer Communications
and Networks, {ICCCN} 2002, 14-16 October, 2002, Hyatt Regency Miami,
Miami, Florida, {USA}},
pages = {204--209},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICCCN.2002.1043067},
doi = {10.1109/ICCCN.2002.1043067},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icccn/LiuHH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/HuangH00,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu},
title = {{PPP} {(P3):} an Estelle-based probabilistic partial protocol verification
system},
journal = {Comput. Commun.},
volume = {23},
number = {2},
pages = {177--192},
year = {2000},
url = {https://doi.org/10.1016/S0140-3664(99)00163-2},
doi = {10.1016/S0140-3664(99)00163-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/HuangH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/HuangH00,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu},
title = {An Estelle-Based Probabilistic Partial Timed Protocol Verification
System},
booktitle = {Seventh International Conference on Parallel and Distributed Systems,
{ICPADS} 2000, Iwate, Japan, July 4-7, 2000},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICPADS.2000.857686},
doi = {10.1109/ICPADS.2000.857686},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/HuangH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HuangHHDJ97,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu and
Huei{-}Yang Lai and
Duen{-}Tay Huang and
Jao{-}Chiang Pong},
title = {An Estelle-Based Incremental Protocol Design System},
journal = {J. Syst. Softw.},
volume = {36},
number = {2},
pages = {115--135},
year = {1997},
url = {https://doi.org/10.1016/0164-1212(95)00065-8},
doi = {10.1016/0164-1212(95)00065-8},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/HuangHHDJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/HuangHL96,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu and
Shiun{-}Wei Lee},
title = {Probabilistic fuzzy timed protocol verification},
journal = {Comput. Commun.},
volume = {19},
number = {5},
pages = {407--425},
year = {1996},
url = {https://doi.org/10.1016/S0140-3664(96)01051-1},
doi = {10.1016/S0140-3664(96)01051-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/HuangHL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HuangHLH95,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu and
Huei{-}Yang Lai and
Duen{-}Tay Huang},
title = {Integrated FDT-based protocol verification system},
journal = {Softw. Eng. J.},
volume = {10},
number = {6},
pages = {233--244},
year = {1995},
url = {https://doi.org/10.1049/sej.1995.0028},
doi = {10.1049/SEJ.1995.0028},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/HuangHLH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HuangHL95,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu and
Shiun{-}Wei Lee},
title = {ECFSM-Based Probabilistic Protocol Verification},
journal = {Inf. Process. Lett.},
volume = {55},
number = {1},
pages = {1--9},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)00056-I},
doi = {10.1016/0020-0190(95)00056-I},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HuangHL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HuangH94,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu},
title = {An Incremental Protocol Verification Method},
journal = {Comput. J.},
volume = {37},
number = {8},
pages = {698--710},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.8.698},
doi = {10.1093/COMJNL/37.8.698},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/HuangH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/HuangHL94,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu and
Huei{-}Yang Lai},
title = {A modified transition tour protocol test method},
journal = {J. Syst. Integr.},
volume = {4},
number = {3},
pages = {257--300},
year = {1994},
url = {https://doi.org/10.1007/BF01976186},
doi = {10.1007/BF01976186},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsi/HuangHL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/HuangLH94,
author = {Chung{-}Ming Huang and
Shiun{-}Wei Lee and
Jenq{-}Muh Hsu},
editor = {Lionel M. Ni},
title = {Probabilistic Timed Protocol Verification for the Extended State Transition
Model},
booktitle = {Proceedings 1994 International Conference on Parallel and Distributed
Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China},
pages = {432--437},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICPADS.1994.590352},
doi = {10.1109/ICPADS.1994.590352},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/HuangLH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/HuangHLPH93,
author = {Chung{-}Ming Huang and
Jenq{-}Muh Hsu and
Huei{-}Yang Lai and
Jao{-}Chiang Pong and
Duen{-}Tay Huang},
title = {An Estelle interpreter for incremental protocol verification},
booktitle = {1993 International Conference on Network Protocols, {ICNP} 1993, San
Francisco, CA, USA, October 19-22, 1993, Proceedings},
pages = {326--333},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ICNP.1993.340895},
doi = {10.1109/ICNP.1993.340895},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/HuangHLPH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
