![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Ming-Hsien Tsai"
@article{DBLP:journals/biodb/IslamajLWLAJCSPCLPMTSHV24, author = {Rezarta Islamaj and Po{-}Ting Lai and Chih{-}Hsuan Wei and Ling Luo and Tiago Almeida and Richard A. A. Jonker and Sofia I R. Concei{\c{c}}{\~{a}}o and Diana F. Sousa and Cong{-}Phuoc Phan and Jung{-}Hsien Chiang and Jiru Li and Dinghao Pan and Wilailack Meesawad and Richard Tzong{-}Han Tsai and M. Janina Sarol and Gibong Hong and Airat Valiev and Elena Tutubalina and Shao{-}Man Lee and Yi{-}Yu Hsu and Mingjie Li and Karin Verspoor and Zhiyong Lu}, title = {The overview of the BioRED (Biomedical Relation Extraction Dataset) track at BioCreative {VIII}}, journal = {Database J. Biol. Databases Curation}, volume = {2024}, year = {2024}, url = {https://doi.org/10.1093/database/baae069}, doi = {10.1093/DATABASE/BAAE069}, timestamp = {Thu, 29 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/biodb/IslamajLWLAJCSPCLPMTSHV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cbm/LiuLHCLCLWLDT24, author = {Chien{-}Liang Liu and Min{-}Hsuan Lee and Shan{-}Ni Hsueh and Chia{-}Chen Chung and Chun{-}Ju Lin and Po{-}Han Chang and An{-}Chun Luo and Hsuan{-}Chi Weng and Yu{-}Hsien Lee and Ming{-}Ji Dai and Min{-}Juei Tsai}, title = {A bagging approach for improved predictive accuracy of intradialytic hypotension during hemodialysis treatment}, journal = {Comput. Biol. Medicine}, volume = {172}, pages = {108244}, year = {2024}, url = {https://doi.org/10.1016/j.compbiomed.2024.108244}, doi = {10.1016/J.COMPBIOMED.2024.108244}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cbm/LiuLHCLCLWLDT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jise/ChiouTYLSGCWC24, author = {Chien{-}Yu Chiou and Hung{-}Wen Tsai and Wei{-}Jong Yang and Chih{-}Hsien Lee and Ming Ting Sun and Maria Gabrani and Kuo{-}Sheng Cheng and Meng{-}Ling Wu and Pau{-}Choo Chung}, title = {{ACC-GAN:} Cross Scanner Robustness With Annotation Consistency Guided Cycle-GAN}, journal = {J. Inf. Sci. Eng.}, volume = {40}, number = {3}, pages = {455--474}, year = {2024}, url = {http://jise.iis.sinica.edu.tw/JISESearch/pages/View/PaperView.jsf?keyId=198\_2683}, timestamp = {Sun, 14 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jise/ChiouTYLSGCWC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmi/YangWLCTHCC23, author = {Ying Yang and Yi{-}Min Wang and Chun{-}Hung Richard Lin and Chi{-}Yung Cheng and Chi{-}Ming Tsai and Ying{-}Hsien Huang and Tien{-}Yu Chen and I{-}Min Chiu}, title = {Explainable deep learning model to predict invasive bacterial infection in febrile young infants: {A} retrospective study}, journal = {Int. J. Medical Informatics}, volume = {172}, pages = {105007}, year = {2023}, url = {https://doi.org/10.1016/j.ijmedinf.2023.105007}, doi = {10.1016/J.IJMEDINF.2023.105007}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmi/YangWLCTHCC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tim/LiuLTSWTL23, author = {Yao{-}Lun Liu and Chun{-}Hsien Liu and Chun{-}Hao Tsai and Ce Fang Shih and Jau Yang Wu and Chia{-}Ming Tsai and Sheng{-}Di Lin}, title = {Theoretical Calculation and Demonstration of High Radiometric Temperature Detection Using {A} 64 {\texttimes} 128 Pixel {SPAD} Image Array}, journal = {{IEEE} Trans. Instrum. Meas.}, volume = {72}, pages = {1--8}, year = {2023}, url = {https://doi.org/10.1109/TIM.2023.3328082}, doi = {10.1109/TIM.2023.3328082}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tim/LiuLTSWTL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asicon/PaoCHYSTC23, author = {Po{-}Heng Pao and Ren{-}Hao Cheng and Yi{-}Hsiu Huang and Yu{-}Ying Yang and Tzu{-}Hsien Sang and Chia{-}Ming Tsai and Chao{-}Hsin Chien}, title = {Noncontact Remote Doping for High-performance Two-dimensional Electronics}, booktitle = {15th {IEEE} International Conference on ASIC, {ASICON} 2023, Nanjing, China, October 24-27, 2023}, pages = {1--4}, year = {2023}, crossref = {DBLP:conf/asicon/2023}, url = {https://doi.org/10.1109/ASICON58565.2023.10396068}, doi = {10.1109/ASICON58565.2023.10396068}, timestamp = {Fri, 16 Feb 2024 14:02:58 +0100}, biburl = {https://dblp.org/rec/conf/asicon/PaoCHYSTC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TsaiFLSWY23, author = {Ming{-}Hsien Tsai and Yu{-}Fu Fu and Jiaxiang Liu and Xiaomu Shi and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Certified Verification for Algebraic Abstraction}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}}, pages = {329--349}, year = {2023}, crossref = {DBLP:conf/cav/2023-3}, url = {https://doi.org/10.1007/978-3-031-37709-9\_16}, doi = {10.1007/978-3-031-37709-9\_16}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/TsaiFLSWY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TsaiFLSWY23a, author = {Ming{-}Hsien Tsai and Yu{-}Fu Fu and Jiaxiang Liu and Xiaomu Shi and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {CoqCryptoLine: {A} Verified Model Checker with Certified Results}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}, pages = {227--240}, year = {2023}, crossref = {DBLP:conf/cav/2023-2}, url = {https://doi.org/10.1007/978-3-031-37703-7\_11}, doi = {10.1007/978-3-031-37703-7\_11}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/TsaiFLSWY23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsa/LeeSTWM23, author = {Wen{-}Tin Lee and Ping{-}Yi Song and Ming{-}Kai Tsai and Meng{-}Hsien Wu and Shang{-}Pin Ma}, title = {A High Availability Microservices Architecture Implementation using Saga and Backup Mechanism}, booktitle = {10th International Conference on Dependable Systems and Their Applications, {DSA} 2023, Tokyo, Japan, August 10-11, 2023}, pages = {470--471}, year = {2023}, crossref = {DBLP:conf/dsa/2023}, url = {https://doi.org/10.1109/DSA59317.2023.00063}, doi = {10.1109/DSA59317.2023.00063}, timestamp = {Fri, 24 Nov 2023 19:56:37 +0100}, biburl = {https://dblp.org/rec/conf/dsa/LeeSTWM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecir/HuangCWYLTW23, author = {Yu{-}Ting Huang and Hsien{-}Hao Chen and Tung{-}Lin Wu and Chia{-}Yu Yeh and Jing{-}Kai Lou and Ming{-}Feng Tsai and Chuan{-}Ju Wang}, title = {{CPR:} Cross-Domain Preference Ranking with User Transformation}, booktitle = {Advances in Information Retrieval - 45th European Conference on Information Retrieval, {ECIR} 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part {II}}, pages = {448--456}, year = {2023}, crossref = {DBLP:conf/ecir/2023-2}, url = {https://doi.org/10.1007/978-3-031-28238-6\_35}, doi = {10.1007/978-3-031-28238-6\_35}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecir/HuangCWYLTW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Chen0S0WY23, author = {Ruiling Chen and Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {llvm2CryptoLine: Verifying Arithmetic in Cryptographic {C} Programs}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {2167--2171}, year = {2023}, crossref = {DBLP:conf/sigsoft/2023}, url = {https://doi.org/10.1145/3611643.3613096}, doi = {10.1145/3611643.3613096}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/Chen0S0WY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/LaiLSTWY23, author = {Li{-}Chang Lai and Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1861}, year = {2023}, url = {https://eprint.iacr.org/2023/1861}, timestamp = {Wed, 10 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/LaiLSTWY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bspc/XiaoLTWYW22, author = {Ming{-}Xia Xiao and Chang{-}Hua Lu and Na Ta and Hai{-}Cheng Wei and Cheng{-}Chan Yang and Hsien{-}Tsai Wu}, title = {Toe {PPG} sample extension for supervised machine learning approaches to simultaneously predict type 2 diabetes and peripheral neuropathy}, journal = {Biomed. Signal Process. Control.}, volume = {71}, number = {Part}, pages = {103236}, year = {2022}, url = {https://doi.org/10.1016/j.bspc.2021.103236}, doi = {10.1016/J.BSPC.2021.103236}, timestamp = {Thu, 18 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bspc/XiaoLTWYW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tase/HungLHCLHT0HYC22, author = {Min{-}Hsiung Hung and Yu{-}Chuan Lin and Hung{-}Chang Hsiao and Chao{-}Chun Chen and Kuan{-}Chou Lai and Yu{-}Ming Hsieh and Hao Tieng and Tsung{-}Han Tsai and Hsien{-}Cheng Huang and Haw Ching Yang and Fan{-}Tien Cheng}, title = {A Novel Implementation Framework of Digital Twins for Intelligent Manufacturing Based on Container Technology and Cloud Manufacturing Services}, journal = {{IEEE} Trans Autom. Sci. Eng.}, volume = {19}, number = {3}, pages = {1614--1630}, year = {2022}, url = {https://doi.org/10.1109/TASE.2022.3143832}, doi = {10.1109/TASE.2022.3143832}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tase/HungLHCLHT0HYC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tches/HwangLSSTWY22, author = {Vincent Hwang and Jiaxiang Liu and Gregor Seiler and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Verified {NTT} Multiplications for {NISTPQC} {KEM} Lattice Finalists: Kyber, SABER, and {NTRU}}, journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.}, volume = {2022}, number = {4}, pages = {718--750}, year = {2022}, url = {https://doi.org/10.46586/tches.v2022.i4.718-750}, doi = {10.46586/TCHES.V2022.I4.718-750}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tches/HwangLSSTWY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas2/HsiaoLCLWSTLGL22, author = {An{-}Tai Hsiao and Chun{-}Hsien Liu and Po{-}Hsuan Chen and Yao{-}Lun Liu and Wei{-}Chi Wang and Tzu{-}Hsien Sang and Chia{-}Ming Tsai and Gray Lin and Jiun{-}In Guo and Sheng{-}Di Lin}, title = {Real-time LiDAR module with 64x128-pixel {CMOS} {SPAD} array and 940-nm {PCSEL}}, booktitle = {{IEEE} Sensors Applications Symposium, {SAS} 2022, Sundsvall, Sweden, August 1-3, 2022}, pages = {1--6}, year = {2022}, crossref = {DBLP:conf/sas2/2022}, url = {https://doi.org/10.1109/SAS54819.2022.9881339}, doi = {10.1109/SAS54819.2022.9881339}, timestamp = {Wed, 21 Sep 2022 17:47:54 +0200}, biburl = {https://dblp.org/rec/conf/sas2/HsiaoLCLWSTLGL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigir/LiuC0TW22, author = {Shih{-}Yang Liu and Hsien{-}Hao Chen and Chih{-}Ming Chen and Ming{-}Feng Tsai and Chuan{-}Ju Wang}, title = {{IPR:} Interaction-level Preference Ranking for Explicit feedback}, booktitle = {{SIGIR} '22: The 45th International {ACM} {SIGIR} Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11 - 15, 2022}, pages = {1912--1916}, year = {2022}, crossref = {DBLP:conf/sigir/2022}, url = {https://doi.org/10.1145/3477495.3531777}, doi = {10.1145/3477495.3531777}, timestamp = {Sat, 09 Jul 2022 09:25:34 +0200}, biburl = {https://dblp.org/rec/conf/sigir/LiuC0TW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/TsaiFS0WY22, author = {Ming{-}Hsien Tsai and Yu{-}Fu Fu and Xiaomu Shi and Jiaxiang Liu and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Automatic Certified Verification of Cryptographic Programs with {COQCRYPTOLINE}}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1116}, year = {2022}, url = {https://eprint.iacr.org/2022/1116}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/TsaiFS0WY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/TsengCLT21, author = {Hsuan{-}Yu Tseng and Pao{-}Hsien Chu and Hao{-}Chun Lu and Ming{-}Jyh Tsai}, title = {Easy Particle Swarm Optimization for Nonlinear Constrained Optimization Problems}, journal = {{IEEE} Access}, volume = {9}, pages = {124757--124767}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3110708}, doi = {10.1109/ACCESS.2021.3110708}, timestamp = {Wed, 06 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/TsengCLT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/symmetry/ChenCHWCTLC21, author = {An{-}Hsu Chen and Chih{-}Hui Chiu and Chin{-}Hsien Hsu and I{-}Lin Wang and Kuei{-}Ming Chou and Yung{-}Shen Tsai and Yu{-}Fang Lin and Che{-}Hsiu Chen}, title = {Acute Effects of Vibration Foam Rolling Warm-Up on Jump and Flexibility Asymmetry, Agility and Frequency Speed of Kick Test Performance in Taekwondo Athletes}, journal = {Symmetry}, volume = {13}, number = {9}, pages = {1664}, year = {2021}, url = {https://doi.org/10.3390/sym13091664}, doi = {10.3390/SYM13091664}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/symmetry/ChenCHWCTLC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ShiFLTWY20, author = {Xiaomu Shi and Yu{-}Fu Fu and Jiaxiang Liu and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {CoqQFBV: {A} Scalable Certified {SMT} Quantifier-Free Bit-Vector Solver}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, pages = {149--171}, year = {2021}, crossref = {DBLP:conf/cav/2021-2}, url = {https://doi.org/10.1007/978-3-030-81688-9\_7}, doi = {10.1007/978-3-030-81688-9\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ShiFLTWY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icc/ChenCTKHCYOC21, author = {Po{-}Yu Chen and Hao Chen and Yi{-}Min Tsai and Hsien{-}Kai Kuo and Hantao Huang and Hsin{-}Hung Chen and Sheng{-}Hong Yan and Wei{-}Lun Ou and Chia{-}Ming Cheng}, title = {Learning to Compensate: {A} Deep Neural Network Framework for 5G Power Amplifier Compensation}, booktitle = {{ICC} 2021 - {IEEE} International Conference on Communications, Montreal, QC, Canada, June 14-23, 2021}, pages = {1--6}, year = {2021}, crossref = {DBLP:conf/icc/2021}, url = {https://doi.org/10.1109/ICC42927.2021.9500277}, doi = {10.1109/ICC42927.2021.9500277}, timestamp = {Mon, 09 Aug 2021 11:13:44 +0200}, biburl = {https://dblp.org/rec/conf/icc/ChenCTKHCYOC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ofc/LeeCLLWTCWKLL21, author = {Shao{-}Yung Lee and Xin Chen and Wei{-}Chi Lo and Kangmei Li and Chia{-}Hsuan Wang and Cheng{-}Ting Tsai and Chih{-}Hsien Cheng and Chao{-}Hsin Wu and Hao{-}Chung Kuo and Ming{-}Jun Li and Gong{-}Ru Lin}, title = {850-nm Dual-Mode {VCSEL} Carried 53-Gbps {NRZ-OOK} Transmission in 100-m Graded-Index Single-Mode Fiber}, booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2021, San Francisco, CA, USA, June 6-10, 2021}, pages = {1--3}, year = {2021}, crossref = {DBLP:conf/ofc/2021}, url = {https://ieeexplore.ieee.org/document/9489901}, timestamp = {Tue, 04 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ofc/LeeCLLWTCWKLL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-07809, author = {Andrey Ignatov and Cheng{-}Ming Chiang and Hsien{-}Kai Kuo and Anastasia Sycheva and Radu Timofte and Min{-}Hung Chen and Man{-}Yu Lee and Yu{-}Syuan Xu and Yu Tseng and Shusong Xu and Jin Guo and Chao{-}Hung Chen and Ming{-}Chun Hsyu and Wen{-}Chia Tsai and Chao{-}Wei Chen and Grigory Malivenko and Minsu Kwon and Myungje Lee and Jaeyoon Yoo and Changbeom Kang and Shinjo Wang and Zheng Shaolong and Hao Dejun and Xie Fen and Feng Zhuang and Yipeng Ma and Jingyang Peng and Tao Wang and Fenglong Song and Chih{-}Chung Hsu and Kwan{-}Lin Chen and Mei{-}Hsuang Wu and Vishal M. Chudasama and Kalpesh Prajapati and Heena Patel and Anjali Sarvaiya and Kishor P. Upla and Kiran B. Raja and Raghavendra Ramachandra and Christoph Busch and Etienne de Stoutz}, title = {Learned Smartphone {ISP} on Mobile NPUs with Deep Learning, Mobile {AI} 2021 Challenge: Report}, journal = {CoRR}, volume = {abs/2105.07809}, year = {2021}, url = {https://arxiv.org/abs/2105.07809}, eprinttype = {arXiv}, eprint = {2105.07809}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-07809.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-07953, author = {Po{-}Yu Chen and Hao Chen and Yi{-}Min Tsai and Hsien{-}Kai Kuo and Hantao Huang and Hsin{-}Hung Chen and Sheng{-}Hong Yan and Wei{-}Lun Ou and Chia{-}Ming Cheng}, title = {Learning to Compensate: {A} Deep Neural Network Framework for 5G Power Amplifier Compensation}, journal = {CoRR}, volume = {abs/2106.07953}, year = {2021}, url = {https://arxiv.org/abs/2106.07953}, eprinttype = {arXiv}, eprint = {2106.07953}, timestamp = {Thu, 01 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-07953.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bjet/LinLLCHT20, author = {Hung{-}Ming Lin and Ming{-}Hsien Lee and Jyh{-}Chong Liang and Hsin{-}Yi Chang and Pinchi Huang and Chin{-}Chung Tsai}, title = {A review of using partial least square structural equation modeling in e-learning research}, journal = {Br. J. Educ. Technol.}, volume = {51}, number = {4}, pages = {1354--1372}, year = {2020}, url = {https://doi.org/10.1111/bjet.12890}, doi = {10.1111/BJET.12890}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bjet/LinLLCHT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmmm/HuangCLLLSLCWCC20, author = {Po{-}Jung Huang and Jui{-}Huan Chang and Hou{-}Hsien Lin and Yu{-}Xuan Li and Chi{-}Ching Lee and Chung{-}Tsai Su and Yun{-}Lung Li and Ming{-}Tai Chang and Sid Weng and Wei{-}Hung Cheng and Cheng{-}Hsun Chiu and Petrus Tang}, title = {DeepVariant-on-Spark: Small-Scale Genome Analysis Using a Cloud-Based Computing Framework}, journal = {Comput. Math. Methods Medicine}, volume = {2020}, pages = {7231205:1--7231205:7}, year = {2020}, url = {https://doi.org/10.1155/2020/7231205}, doi = {10.1155/2020/7231205}, timestamp = {Sat, 25 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmmm/HuangCLLLSLCWCC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/WeiHTXTW20, author = {Hai{-}Cheng Wei and Wen{-}Rui Hu and Na Ta and Ming{-}Xia Xiao and Xiao{-}Jing Tang and Hsien{-}Tsai Wu}, title = {Prognosis of Diabetic Peripheral Neuropathy via Decomposed Digital Volume Pulse from the Fingertip}, journal = {Entropy}, volume = {22}, number = {7}, pages = {754}, year = {2020}, url = {https://doi.org/10.3390/e22070754}, doi = {10.3390/E22070754}, timestamp = {Sat, 25 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/WeiHTXTW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/ChiangTXKTCTWLT20, author = {Cheng{-}Ming Chiang and Yu Tseng and Yu{-}Syuan Xu and Hsien{-}Kai Kuo and Yi{-}Min Tsai and Guan{-}Yu Chen and Koan{-}Sin Tan and Wei{-}Ting Wang and Yu{-}Chieh Lin and Shou{-}Yao Roy Tseng and Wei{-}Shiang Lin and Chia{-}Lin Yu and B. Y. Shen and Kloze Kao and Chia{-}Ming Cheng and Hung{-}Jen Chen}, title = {Deploying Image Deblurring across Mobile Devices: {A} Perspective of Quality and Latency}, booktitle = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} Workshops 2020, Seattle, WA, USA, June 14-19, 2020}, pages = {2109--2119}, year = {2020}, crossref = {DBLP:conf/cvpr/2020w}, url = {https://openaccess.thecvf.com/content\_CVPRW\_2020/html/w31/Chiang\_Deploying\_Image\_Deblurring\_Across\_Mobile\_Devices\_A\_Perspective\_of\_Quality\_CVPRW\_2020\_paper.html}, doi = {10.1109/CVPRW50498.2020.00259}, timestamp = {Tue, 20 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cvpr/ChiangTXKTCTWLT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icgsp/0003CLLY20, author = {Ming{-}Hsien Tsai and Wen{-}Jan Chen and Jen{-}Yung Lin and Guo{-}Shiang Lin and Sheng{-}Lei Yan}, title = {Polyp Classification Based on Deep Neural Network for Colonoscopic Images}, booktitle = {{ICGSP} 2020: The 4th International Conference on Graphics and Signal Processing, Nagoya, Japan, June 26-29, 2020}, pages = {61--64}, year = {2020}, crossref = {DBLP:conf/icgsp/2020}, url = {https://doi.org/10.1145/3406971.3406977}, doi = {10.1145/3406971.3406977}, timestamp = {Thu, 16 Nov 2023 10:39:29 +0100}, biburl = {https://dblp.org/rec/conf/icgsp/0003CLLY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/AliCPYYAGLWCENT20, author = {Tamer A. Ali and Ehung Chen and Henry Park and Ramy Yousry and Yu{-}Ming Ying and Mohammed Abdullatif and Miguel Gandara and Chun{-}Cheng Liu and Po{-}Shuan Weng and Huan{-}Sheng Chen and Mohammad Elbadry and Qaiser Nehal and Kun{-}Hung Tsai and Kevin Tan and Yi{-}Chieh Huang and Chung{-}Hsien Tsai and Yuyun Chang and Yuan{-}Hao Tung}, title = {6.2 {A} 460mW 112Gb/s DSP-Based Transceiver with 38dB Loss Compensation for Next-Generation Data Centers in 7nm FinFET Technology}, booktitle = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC} 2020, San Francisco, CA, USA, February 16-20, 2020}, pages = {118--120}, year = {2020}, crossref = {DBLP:conf/isscc/2020}, url = {https://doi.org/10.1109/ISSCC19947.2020.9062925}, doi = {10.1109/ISSCC19947.2020.9062925}, timestamp = {Fri, 08 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isscc/AliCPYYAGLWCENT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/LinCTHKWTHLLWKC20, author = {Chien{-}Hung Lin and Chih{-}Chung Cheng and Yi{-}Min Tsai and Sheng{-}Je Hung and Yu{-}Ting Kuo and Perry H. Wang and Pei{-}Kuei Tsung and Jeng{-}Yun Hsu and Wei{-}Chih Lai and Chia{-}Hung Liu and Shao{-}Yu Wang and Chin{-}Hua Kuo and Chih{-}Yu Chang and Ming{-}Hsien Lee and Tsung{-}Yao Lin and Chih{-}Cheng Chen}, title = {7.1 {A} 3.4-to-13.3TOPS/W 3.6TOPS Dual-Core Deep-Learning Accelerator for Versatile {AI} Applications in 7nm 5G Smartphone SoC}, booktitle = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC} 2020, San Francisco, CA, USA, February 16-20, 2020}, pages = {134--136}, year = {2020}, crossref = {DBLP:conf/isscc/2020}, url = {https://doi.org/10.1109/ISSCC19947.2020.9063111}, doi = {10.1109/ISSCC19947.2020.9063111}, timestamp = {Sat, 18 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isscc/LinCTHKWTHLLWKC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/LuLDRWCCLCPTLCH20, author = {Eric Lu and Wen{-}Kai Li and Zhiming Deng and Edris Rostami and Pi{-}An Wu and Keng{-}Meng Chang and Yu{-}Chen Chuang and Chang{-}Ming Lai and Yang{-}Chuan Chen and Tzu{-}Hsuin Peng and Tzung{-}Chuen Tsai and Hui{-}Hsien Liu and Chien{-}Chih Chiu and Bryan Huang and Yao{-}Chi Wang and Jing{-}Hong Conan Zhan and Osama Shana'a}, title = {10.4 {A} 4{\texttimes}4 Dual-Band Dual-Concurrent WiFi 802.11ax Transceiver with Integrated LNA, {PA} and {T/R} Switch Achieving +20dBm 1024-QAM {MCS11} Pout and -43dB {EVM} Floor in 55nm {CMOS}}, booktitle = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC} 2020, San Francisco, CA, USA, February 16-20, 2020}, pages = {178--180}, year = {2020}, crossref = {DBLP:conf/isscc/2020}, url = {https://doi.org/10.1109/ISSCC19947.2020.9063127}, doi = {10.1109/ISSCC19947.2020.9063127}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isscc/LuLDRWCCLCPTLCH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trec/ChangCCLTWCT20, author = {Chia{-}Yuan Chang and Ning Chen and Wei{-}Ting Chiang and Chih{-}Hen Lee and Yu{-}Hsuan Tseng and Chuan{-}Ju Wang and Hsien{-}Hao Chen and Ming{-}Feng Tsai}, title = {Query Expansion with Semantic-Based Ellipsis Reduction for Conversational {IR}}, booktitle = {Proceedings of the Twenty-Ninth Text REtrieval Conference, {TREC} 2020, Virtual Event [Gaithersburg, Maryland, USA], November 16-20, 2020}, year = {2020}, crossref = {DBLP:conf/trec/2020}, url = {https://trec.nist.gov/pubs/trec29/papers/ASCFDA.C.pdf}, timestamp = {Wed, 07 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/trec/ChangCCLTWCT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsic/ChenWFTCHTLK20, author = {Wei{-}Chih Chen and Chin{-}Hua Wen and Chin{-}Ming Fu and Tsung{-}Hsien Tsai and Yu{-}Chi Chen and Wen{-}Hung Huang and Chien{-}Chun Tsai and Alvin Leng Sun Loke and C. H. Kenny}, title = {A 4-to-18GHz Active Poly Phase Filter Quadrature Clock Generator with Phase Error Correction in 5nm {CMOS}}, booktitle = {{IEEE} Symposium on {VLSI} Circuits, {VLSI} Circuits 2020, Honolulu, HI, USA, June 16-19, 2020}, pages = {1--2}, year = {2020}, crossref = {DBLP:conf/vlsic/2020}, url = {https://doi.org/10.1109/VLSICircuits18222.2020.9162794}, doi = {10.1109/VLSICIRCUITS18222.2020.9162794}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vlsic/ChenWFTCHTLK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vr/HsuTBHCLC20, author = {Ting{-}Wei Hsu and Ming{-}Han Tsai and Sabarish V. Babu and Pei{-}Hsien Hsu and Hsuan{-}Ming Chang and Wen{-}Chieh Lin and Jung{-}Hong Chuang}, title = {Design and Initial Evaluation of a {VR} based Immersive and Interactive Architectural Design Discussion System}, booktitle = {{IEEE} Conference on Virtual Reality and 3D User Interfaces, {VR} 2010, Atlanta, GA, USA, March 22-26, 2020}, pages = {363--371}, year = {2020}, crossref = {DBLP:conf/vr/2020}, url = {https://doi.org/10.1109/VR46266.2020.1581231362069}, doi = {10.1109/VR46266.2020.1581231362069}, timestamp = {Mon, 18 May 2020 15:16:46 +0200}, biburl = {https://dblp.org/rec/conf/vr/HsuTBHCLC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-12599, author = {Cheng{-}Ming Chiang and Yu Tseng and Yu{-}Syuan Xu and Hsien{-}Kai Kuo and Yi{-}Min Tsai and Guan{-}Yu Chen and Koan{-}Sin Tan and Wei{-}Ting Wang and Yu{-}Chieh Lin and Shou{-}Yao Roy Tseng and Wei{-}Shiang Lin and Chia{-}Lin Yu and B. Y. Shen and Kloze Kao and Chia{-}Ming Cheng and Hung{-}Jen Chen}, title = {Deploying Image Deblurring across Mobile Devices: {A} Perspective of Quality and Latency}, journal = {CoRR}, volume = {abs/2004.12599}, year = {2020}, url = {https://arxiv.org/abs/2004.12599}, eprinttype = {arXiv}, eprint = {2004.12599}, timestamp = {Tue, 20 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-12599.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/complexity/WeiXTWS19, author = {Hai{-}Cheng Wei and Ming{-}Xia Xiao and Na Ta and Hsien{-}Tsai Wu and Cheuk{-}Kwan Sun}, title = {Assessment of Diabetic Autonomic Nervous Dysfunction with a Novel Percussion Entropy Approach}, journal = {Complex.}, volume = {2019}, pages = {6469853:1--6469853:11}, year = {2019}, url = {https://doi.org/10.1155/2019/6469853}, doi = {10.1155/2019/6469853}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/complexity/WeiXTWS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/WeiTHXTHLW19, author = {Hai{-}Cheng Wei and Na Ta and Wen{-}Rui Hu and Ming{-}Xia Xiao and Xiao{-}Jing Tang and Bagus Haryadi and Juin J. Liou and Hsien{-}Tsai Wu}, title = {Digital Volume Pulse Measured at the Fingertip as an Indicator of Diabetic Peripheral Neuropathy in the Aged and Diabetic}, journal = {Entropy}, volume = {21}, number = {12}, pages = {1229}, year = {2019}, url = {https://doi.org/10.3390/e21121229}, doi = {10.3390/E21121229}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entropy/WeiTHXTHLW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/XiaoLTJTW19, author = {Ming{-}Xia Xiao and Chang{-}Hua Lu and Na Ta and Weiwei Jiang and Xiao{-}Jing Tang and Hsien{-}Tsai Wu}, title = {Application of a Speedy Modified Entropy Method in Assessing the Complexity of Baroreflex Sensitivity for Age-Controlled Healthy and Diabetic Subjects}, journal = {Entropy}, volume = {21}, number = {9}, pages = {894}, year = {2019}, url = {https://doi.org/10.3390/e21090894}, doi = {10.3390/E21090894}, timestamp = {Wed, 17 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/XiaoLTJTW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/FuLSTWY19, author = {Yu{-}Fu Fu and Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Signed Cryptographic Program Verification with Typed CryptoLine}, booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2019, London, UK, November 11-15, 2019}, pages = {1591--1606}, year = {2019}, crossref = {DBLP:conf/ccs/2019}, url = {https://doi.org/10.1145/3319535.3354199}, doi = {10.1145/3319535.3354199}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/FuLSTWY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieeesensors/TsaiLHWL19, author = {Ming{-}Hsiu Tsai and Chuan Hsuan Lin and Chi{-}Hsien Huang and Wen Yen Woon and Chih{-}Ting Lin}, title = {Ionic concentration sensing via nitrogen modified graphene through low-damage plasma treatment}, booktitle = {2019 {IEEE} SENSORS, Montreal, QC, Canada, October 27-30, 2019}, pages = {1--4}, year = {2019}, crossref = {DBLP:conf/ieeesensors/2019}, url = {https://doi.org/10.1109/SENSORS43011.2019.8956821}, doi = {10.1109/SENSORS43011.2019.8956821}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ieeesensors/TsaiLHWL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiuSTWY19, author = {Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Verifying Arithmetic in Cryptographic {C} Programs}, booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2019, San Diego, CA, USA, November 11-15, 2019}, pages = {552--564}, year = {2019}, crossref = {DBLP:conf/kbse/2019}, url = {https://doi.org/10.1109/ASE.2019.00058}, doi = {10.1109/ASE.2019.00058}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiuSTWY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/netys/ChenCHTWW19, author = {Yu{-}Fang Chen and Hsiao{-}chen Chung and Wen{-}Chi Hung and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, title = {Synthesize Models for Quantitative Analysis Using Automata Learning}, booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers}, pages = {75--92}, year = {2019}, crossref = {DBLP:conf/netys/2019}, url = {https://doi.org/10.1007/978-3-030-31277-0\_6}, doi = {10.1007/978-3-030-31277-0\_6}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/netys/ChenCHTWW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taai/ChaoTTC19, author = {Chian{-}Hsueng Chao and I{-}Hsien Ting and Tsung{-}Hsing Tsai and Ming{-}Chun Chen}, title = {Opinion Mining and the Visualization of Stock Selection in Quantitative Trading}, booktitle = {2019 International Conference on Technologies and Applications of Artificial Intelligence, {TAAI} 2019, Kaohsiung, Taiwan, November 21-23, 2019}, pages = {1--6}, year = {2019}, crossref = {DBLP:conf/taai/2019}, url = {https://doi.org/10.1109/TAAI48200.2019.8959875}, doi = {10.1109/TAAI48200.2019.8959875}, timestamp = {Tue, 04 Feb 2020 16:17:56 +0100}, biburl = {https://dblp.org/rec/conf/taai/ChaoTTC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/HaryadiLWXWS18, author = {Bagus Haryadi and Juin J. Liou and Hai{-}Cheng Wei and Ming{-}Xia Xiao and Hsien{-}Tsai Wu and Cheuk{-}Kwan Sun}, title = {Application of multiscale Poincar{\'{e}} short-time computation versus multiscale entropy in analyzing fingertip photoplethysmogram amplitudes to differentiate diabetic from non-diabetic subjects}, journal = {Comput. Methods Programs Biomed.}, volume = {166}, pages = {115--121}, year = {2018}, url = {https://doi.org/10.1016/j.cmpb.2018.10.001}, doi = {10.1016/J.CMPB.2018.10.001}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/HaryadiLWXWS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/XiaoWXWS18, author = {Ming{-}Xia Xiao and Hai{-}Cheng Wei and Ya{-}Jie Xu and Hsien{-}Tsai Wu and Cheuk{-}Kwan Sun}, title = {Combination of {R-R} Interval and Crest Time in Assessing Complexity Using Multiscale Cross-Approximate Entropy in Normal and Diabetic Subjects}, journal = {Entropy}, volume = {20}, number = {7}, pages = {497}, year = {2018}, url = {https://doi.org/10.3390/e20070497}, doi = {10.3390/E20070497}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entropy/XiaoWXWS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/PolyakovTWY18, author = {Andy Polyakov and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk)}, booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China}, pages = {4:1--4:16}, year = {2018}, crossref = {DBLP:conf/concur/2018}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.4}, doi = {10.4230/LIPICS.CONCUR.2018.4}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/PolyakovTWY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hci/TsaiCLYLYH18, author = {Tsai{-}Hsuan Tsai and Hsien{-}Tsung Chang and Yu{-}Wen Lin and Ming{-}Chun Yu and Pei{-}Jung Lien and Wei{-}Cheng Yan and Wei{-}Ling Ho}, title = {Emerging Social Media and Social Networks Analysis Transforms the Tourism Industry: Living Green Smart Tourism Ecosystem}, booktitle = {Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments - 12th International Conference, {UAHCI} 2018, Held as Part of {HCI} International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part {II}}, pages = {583--590}, year = {2018}, crossref = {DBLP:conf/hci/2018-8}, url = {https://doi.org/10.1007/978-3-319-92052-8\_46}, doi = {10.1007/978-3-319-92052-8\_46}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/hci/TsaiCLYLYH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ChenHLLTTZ18, author = {Yu{-}Fang Chen and Matthias Heizmann and Ondrej Leng{\'{a}}l and Yong Li and Ming{-}Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced automata-based algorithms for program termination checking}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2018, Philadelphia, PA, USA, June 18-22, 2018}, pages = {135--150}, year = {2018}, crossref = {DBLP:conf/pldi/2018}, url = {https://doi.org/10.1145/3192366.3192405}, doi = {10.1145/3192366.3192405}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ChenHLLTTZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/complexity/WuLHYC17, author = {Hsien{-}Tsai Wu and Gen{-}Min Lin and Bagus Haryadi and Chieh{-}Ming Yang and Hsiao{-}Chiang Chu}, title = {Glycemic Control, Hand Activity, and Complexity of Biological Signals in Diabetes Mellitus}, journal = {Complex.}, volume = {2017}, pages = {3472121:1--3472121:9}, year = {2017}, url = {https://doi.org/10.1155/2017/3472121}, doi = {10.1155/2017/3472121}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/complexity/WuLHYC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/LinHYCYW17, author = {Gen{-}Min Lin and Bagus Haryadi and Chieh{-}Ming Yang and Shiao{-}Chiang Chu and Cheng{-}Chan Yang and Hsien{-}Tsai Wu}, title = {Discrepancies between Conventional Multiscale Entropy and Modified Short-Time Multiscale Entropy of Photoplethysmographic Pulse Signals in Middle- and Old- Aged Individuals with or without Diabetes}, journal = {Entropy}, volume = {19}, number = {3}, pages = {132}, year = {2017}, url = {https://doi.org/10.3390/e19030132}, doi = {10.3390/E19030132}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/LinHYCYW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/WuYLHCYS17, author = {Hsien{-}Tsai Wu and Cheng{-}Chan Yang and Gen{-}Min Lin and Bagus Haryadi and Shiao{-}Chiang Chu and Chieh{-}Ming Yang and Cheuk{-}Kwan Sun}, title = {Multiscale Cross-Approximate Entropy Analysis of Bilateral Fingertips Photoplethysmographic Pulse Amplitudes among Middle-to-Old Aged Individuals with or without Type 2 Diabetes}, journal = {Entropy}, volume = {19}, number = {4}, pages = {145}, year = {2017}, url = {https://doi.org/10.3390/e19040145}, doi = {10.3390/E19040145}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/WuYLHCYS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/TsaiWY17, author = {Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs}, booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, pages = {1973--1987}, year = {2017}, crossref = {DBLP:conf/ccs/2017}, url = {https://doi.org/10.1145/3133956.3134076}, doi = {10.1145/3133956.3134076}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/TsaiWY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/ChenLCCLCLCLDWH17, author = {Tsung{-}Ming Chen and Yi Lu and Pang{-}Ning Chen and Yu{-}Hsien Chang and Ming{-}Chung Liu and Po{-}Yu Chang and Chia{-}Jen Liang and Yi{-}Chu Chen and Hsi{-}Liang Lu and Jian{-}Yu Ding and Chin{-}Chung Wang and YuLi Hsueh and Jen{-}Che Tsai and Min{-}Shun Hsu and Yuan{-}Hung Chung and George Chien}, title = {7.1 An 802.11ac dual-band reconfigurable transceiver supporting up to four {VHT80} spatial streams with 116fsrms-jitter frequency synthesizer and integrated {LNA/PA} delivering 256QAM 19dBm per stream achieving 1.733Gb/s {PHY} rate}, booktitle = {2017 {IEEE} International Solid-State Circuits Conference, {ISSCC} 2017, San Francisco, CA, USA, February 5-9, 2017}, pages = {126--127}, year = {2017}, crossref = {DBLP:conf/isscc/2017}, url = {https://doi.org/10.1109/ISSCC.2017.7870293}, doi = {10.1109/ISSCC.2017.7870293}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/isscc/ChenLCCLCLCLDWH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/siggrapha/LeeCLTLHLWC17, author = {Chi{-}Yang Lee and Hsuan{-}Ming Chang and Chun{-}Heng Lin and Ming{-}Han Tsai and Wen{-}Chieh Lin and Pei{-}Hsien Hsu and I{-}Chen Lin and Yu{-}Shuen Wang and Jung{-}Hong Chuang}, title = {{VR} lighting design}, booktitle = {{SIGGRAPH} Asia 2017 Posters, Bangkok, Thailand, November 27 - 30, 2017}, pages = {53:1--53:2}, year = {2017}, crossref = {DBLP:conf/siggrapha/2017posters}, url = {https://doi.org/10.1145/3145690.3145741}, doi = {10.1145/3145690.3145741}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/siggrapha/LeeCLTLHLWC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/siggrapha/TsouHLTHLWLC17, author = {Chia{-}Hung Tsou and Ting{-}Wei Hsu and Chun{-}Heng Lin and Ming{-}Han Tsai and Pei{-}Hsien Hsu and I{-}Chen Lin and Yu{-}Shuen Wang and Wen{-}Chieh Lin and Jung{-}Hong Chuang}, title = {Immersive {VR} environment for architectural design education}, booktitle = {{SIGGRAPH} Asia 2017 Posters, Bangkok, Thailand, November 27 - 30, 2017}, pages = {55:1--55:2}, year = {2017}, crossref = {DBLP:conf/siggrapha/2017posters}, url = {https://doi.org/10.1145/3145690.3145726}, doi = {10.1145/3145690.3145726}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/siggrapha/TsouHLTHLWLC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cin/ChangCT16, author = {Hsien{-}Tsung Chang and Yi{-}Ming Chang and Meng{-}Tze Tsai}, title = {{ATIPS:} Automatic Travel Itinerary Planning System for Domestic Areas}, journal = {Comput. Intell. Neurosci.}, volume = {2016}, pages = {1281379:1--1281379:13}, year = {2016}, url = {https://doi.org/10.1155/2016/1281379}, doi = {10.1155/2016/1281379}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cin/ChangCT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/TsaiSP16, author = {Ming{-}Hsien Tsai and Ming{-}Jium Shieh and Cheng{-}Liang Peng}, title = {A Targeting Self-breakable Agent for Increased Efficacy of Chemotherapeutic Drugs against Caco2 Cells}, booktitle = {Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 1: BIODEVICES, Rome, Italy, February 21-23, 2016}, pages = {216--221}, year = {2016}, crossref = {DBLP:conf/biostec/2016bd}, url = {https://doi.org/10.5220/0005766002160221}, doi = {10.5220/0005766002160221}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/biostec/TsaiSP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/ChangYALT16, author = {Yuan{-}Hsiang Chang and Hideo Yokota and Kuniya Abe and Jung Hsien Liu and Ming{-}Dar Tsai}, title = {Detection and localization of mouse induced pluripotent stem cell formation using time-lapse fluorescence microscopy images}, booktitle = {38th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August 16-20, 2016}, pages = {3914--3917}, year = {2016}, crossref = {DBLP:conf/embc/2016}, url = {https://doi.org/10.1109/EMBC.2016.7591583}, doi = {10.1109/EMBC.2016.7591583}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/embc/ChangYALT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hci/TsaiCYCKW16, author = {Tsai{-}Hsuan Tsai and Hsien{-}Tsung Chang and Ming{-}Chun Yu and Huan{-}Ting Chen and Chun{-}Yi Kuo and Wei{-}Hung Wu}, title = {Design of a Mobile Augmented Reality Application: An Example of Demonstrated Usability}, booktitle = {Universal Access in Human-Computer Interaction. Interaction Techniques and Environments - 10th International Conference, {UAHCI} 2016, Held as Part of {HCI} International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part {II}}, pages = {198--205}, year = {2016}, crossref = {DBLP:conf/hci/2016-8}, url = {https://doi.org/10.1007/978-3-319-40244-4\_19}, doi = {10.1007/978-3-319-40244-4\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/hci/TsaiCYCKW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalt/TsaiCCLLT16, author = {Pei{-}Shan Tsai and Ching Sing Chai and Yen{-}Yuan Chen and Ming{-}Hsien Lee and Jyh{-}Chong Liang and Chin{-}Chung Tsai}, title = {A Pilot Study of Students' Perceptions of Collaborative Knowledge Building in 21st Century Learning with Their Knowledge Building Behaviors}, booktitle = {16th {IEEE} International Conference on Advanced Learning Technologies, {ICALT} 2016, Austin, TX, USA, July 25-28, 2016}, pages = {354--356}, year = {2016}, crossref = {DBLP:conf/icalt/2016}, url = {https://doi.org/10.1109/ICALT.2016.7}, doi = {10.1109/ICALT.2016.7}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalt/TsaiCCLLT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChenHLLTWW16, author = {Yu{-}Fang Chen and Chiao Hsieh and Ondrej Leng{\'{a}}l and Tsung{-}Ju Lii and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, title = {{PAC} learning-based verification and model synthesis}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, pages = {714--724}, year = {2016}, crossref = {DBLP:conf/icse/2016}, url = {https://doi.org/10.1145/2884781.2884860}, doi = {10.1145/2884781.2884860}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ChenHLLTWW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BlahoudekHSST16, author = {Frantisek Blahoudek and Matthias Heizmann and Sven Schewe and Jan Strejcek and Ming{-}Hsien Tsai}, title = {Complementing Semi-deterministic B{\"{u}}chi Automata}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, pages = {770--787}, year = {2016}, crossref = {DBLP:conf/tacas/2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_49}, doi = {10.1007/978-3-662-49674-9\_49}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/BlahoudekHSST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chb/ChangWLWLLCLLHW15, author = {Hsin{-}Yi Chang and Chia{-}Yu Wang and Ming{-}Hsien Lee and Hsin{-}Kai Wu and Jyh{-}Chong Liang and Silvia Wen{-}Yu Lee and Guo{-}Li Chiou and Hao{-}Chang Lo and Jing{-}Wen Lin and Chung{-}Yuan Hsu and Ying{-}Tien Wu and Sufen Chen and Fu{-}Kwun Hwang and Chin{-}Chung Tsai}, title = {A review of features of technology-supported learning environments based on participants' perceptions}, journal = {Comput. Hum. Behav.}, volume = {53}, pages = {223--237}, year = {2015}, url = {https://doi.org/10.1016/j.chb.2015.06.042}, doi = {10.1016/J.CHB.2015.06.042}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/chb/ChangWLWLLCLLHW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/ChenWSZMKCJTHC15, author = {Zuow{-}Zun Chen and Yen{-}Hsiang Wang and Jaewook Shin and Yan Zhao and Seyed Arash Mirhaj and Yen{-}Cheng Kuan and Huan{-}Neng Ron Chen and Chewnpu Jou and Ming{-}Hsien Tsai and Fu{-}Lung Hsueh and Mau{-}Chung Frank Chang}, title = {14.9 Sub-sampling all-digital fractional-N frequency synthesizer with -111dBc/Hz in-band phase noise and an {FOM} of -242dB}, booktitle = {2015 {IEEE} International Solid-State Circuits Conference, {ISSCC} 2015, Digest of Technical Papers, San Francisco, CA, USA, February 22-26, 2015}, pages = {1--3}, year = {2015}, crossref = {DBLP:conf/isscc/2015}, url = {https://doi.org/10.1109/ISSCC.2015.7063029}, doi = {10.1109/ISSCC.2015.7063029}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isscc/ChenWSZMKCJTHC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenHTWW15, author = {Yu{-}Fang Chen and Chiao Hsieh and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, title = {CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, pages = {426--428}, year = {2015}, crossref = {DBLP:conf/tacas/2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_35}, doi = {10.1007/978-3-662-46681-0\_35}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChenHTWW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChenHLLTWW15, author = {Yu{-}Fang Chen and Chiao Hsieh and Ondrej Leng{\'{a}}l and Tsung{-}Ju Lii and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, title = {{PAC} Learning-Based Verification and Model Synthesis}, journal = {CoRR}, volume = {abs/1511.00754}, year = {2015}, url = {http://arxiv.org/abs/1511.00754}, eprinttype = {arXiv}, eprint = {1511.00754}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChenHLLTWW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/biodb/HuangWCLSHTLHLC14, author = {Kai{-}Yao Huang and Hsin{-}Yi Wu and Yi{-}Ju Chen and Cheng{-}Tsung Lu and Min{-}Gang Su and Yun{-}Chung Hsieh and Chih{-}Ming Tsai and Kuo{-}I Lin and Hsien{-}Da Huang and Tzong{-}Yi Lee and Yu{-}Ju Chen}, title = {RegPhos 2.0: an updated resource to explore protein kinase-substrate phosphorylation networks in mammals}, journal = {Database J. Biol. Databases Curation}, volume = {2014}, year = {2014}, url = {https://doi.org/10.1093/database/bau034}, doi = {10.1093/DATABASE/BAU034}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/biodb/HuangWCLSHTLHLC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chb/ChangTCC14, author = {Hsien{-}Tsung Chang and Tsai{-}Hsuan Tsai and Ya{-}Ching Chang and Yi{-}Ming Chang}, title = {Touch panel usability of elderly and children}, journal = {Comput. Hum. Behav.}, volume = {37}, pages = {258--269}, year = {2014}, url = {https://doi.org/10.1016/j.chb.2014.04.050}, doi = {10.1016/J.CHB.2014.04.050}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/chb/ChangTCC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TsaiFVT14, author = {Ming{-}Hsien Tsai and Seth Fogarty and Moshe Y. Vardi and Yih{-}Kuen Tsay}, title = {State of B{\"{u}}chi Complementation}, journal = {Log. Methods Comput. Sci.}, volume = {10}, number = {4}, year = {2014}, url = {https://doi.org/10.2168/LMCS-10(4:13)2014}, doi = {10.2168/LMCS-10(4:13)2014}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/TsaiFVT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ets/DengCTL14, author = {Feng Deng and Ching Sing Chai and Chin{-}Chung Tsai and Ming{-}Hsien Lee}, title = {The Relationships among Chinese Practicing Teachers' Epistemic Beliefs, Pedagogical Beliefs and Their Beliefs about the Use of {ICT}}, journal = {J. Educ. Technol. Soc.}, volume = {17}, number = {2}, pages = {245--256}, year = {2014}, url = {http://www.ifets.info/download\_pdf.php?j\_id=63\&a\_id=1476}, timestamp = {Mon, 16 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ets/DengCTL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jssc/LinTCHHYFCHCHAWSM14, author = {Mu{-}Shan Lin and Chien{-}Chun Tsai and Chih{-}Hsien Chang and Wen{-}Hung Huang and Ying{-}Yu Hsu and Shu{-}Chun Yang and Chin{-}Ming Fu and Mao{-}Hsuan Chou and Tien{-}Chien Huang and Ching{-}Fang Chen and Tze{-}Chiang Huang and Saman Adham and Min{-}Jer Wang and William Wu Shen and Ashok Mehta}, title = {A 1 Tbit/s Bandwidth 1024 b PLL/DLL-Less eDRAM {PHY} Using 0.3 {V} 0.105 mW/Gbps Low-Swing {IO} for CoWoS Application}, journal = {{IEEE} J. Solid State Circuits}, volume = {49}, number = {4}, pages = {1063--1074}, year = {2014}, url = {https://doi.org/10.1109/JSSC.2013.2297399}, doi = {10.1109/JSSC.2013.2297399}, timestamp = {Sun, 30 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jssc/LinTCHHYFCHCHAWSM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bhi/LinCCY14, author = {Tsai{-}Huei Lin and Hsien{-}Tsung Chang and Ming{-}Jen Chen and Ping{-}Yen Yang}, title = {Using a database as a service for providing electronic health records}, booktitle = {Proceedings of {IEEE-EMBS} International Conference on Biomedical and Health Informatics, {BHI} 2014, Valencia, Spain, June 1-4, 2014}, pages = {9--12}, year = {2014}, crossref = {DBLP:conf/bhi/2014}, url = {https://doi.org/10.1109/BHI.2014.6864291}, doi = {10.1109/BHI.2014.6864291}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/bhi/LinCCY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ChenHLSTWYY14, author = {Yu{-}Fang Chen and Chang{-}Hong Hsu and Hsin{-}Hung Lin and Peter Schwabe and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang and Shang{-}Yi Yang}, title = {Verifying Curve25519 Software}, booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014}, pages = {299--309}, year = {2014}, crossref = {DBLP:conf/ccs/2014}, url = {https://doi.org/10.1145/2660267.2660370}, doi = {10.1145/2660267.2660370}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ChenHLSTWYY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/KuoYT14, author = {Jian{-}Jhih Kuo and Hsiu{-}Hsien Yang and Ming{-}Jer Tsai}, title = {Optimal approximation algorithm of virtual machine placement for data latency minimization in cloud systems}, booktitle = {2014 {IEEE} Conference on Computer Communications, {INFOCOM} 2014, Toronto, Canada, April 27 - May 2, 2014}, pages = {1303--1311}, year = {2014}, crossref = {DBLP:conf/infocom/2014}, url = {https://doi.org/10.1109/INFOCOM.2014.6848063}, doi = {10.1109/INFOCOM.2014.6848063}, timestamp = {Fri, 19 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/KuoYT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/ChuLKSTJT14, author = {Li{-}Wei Chu and Chun{-}Yu Lin and Ming{-}Dou Ker and Ming{-}Hsiang Song and Jeng{-}Chou Tseng and Chewnpu Jou and Ming{-}Hsien Tsai}, title = {{ESD} protection design for wideband {RF} applications in 65-nm {CMOS} process}, booktitle = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014, Melbourne, Victoria, Australia, June 1-5, 2014}, pages = {1480--1483}, year = {2014}, crossref = {DBLP:conf/iscas/2014}, url = {https://doi.org/10.1109/ISCAS.2014.6865426}, doi = {10.1109/ISCAS.2014.6865426}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscas/ChuLKSTJT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/YangYCHWLTHLTCTLWCYH14, author = {Shang{-}Hsien Yang and Yuan{-}Han Yang and Ke{-}Horng Chen and Chung{-}Chih Hung and Chin{-}Long Wey and Ying{-}Hsi Lin and Tsung{-}Yen Tsai and Chen{-}Chih Huang and Chao{-}Cheng Lee and Zhih Han Tai and Yi Hsuan Cheng and Chi Chung Tsai and Hsin{-}Yu Luo and Shih{-}Ming Wang and Long{-}Der Chen and Cheng{-}Chen Yang and Huang Tian Hui}, title = {A dual-level dual-phase pulse-width modulation class-D amplifier with 0.001{\%} THD, 112 dB {SNR}}, booktitle = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014, Melbourne, Victoria, Australia, June 1-5, 2014}, pages = {2676--2679}, year = {2014}, crossref = {DBLP:conf/iscas/2014}, url = {https://doi.org/10.1109/ISCAS.2014.6865724}, doi = {10.1109/ISCAS.2014.6865724}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/YangYCHWLTHLTCTLWCYH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ChenHTWW14, author = {Yu{-}Fang Chen and Chiao Hsieh and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, title = {Verifying Recursive Programs Using Intraprocedural Analyzers}, booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich, Germany, September 11-13, 2014. Proceedings}, pages = {118--133}, year = {2014}, crossref = {DBLP:conf/sas/2014}, url = {https://doi.org/10.1007/978-3-319-10936-7\_8}, doi = {10.1007/978-3-319-10936-7\_8}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/ChenHTWW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/TsaiLC14, author = {Chun{-}Wei Tsai and Tsung{-}Hsien Lin and Ming{-}Chao Chiang}, title = {Automatic elastic net clustering algorithm}, booktitle = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2014, San Diego, CA, USA, October 5-8, 2014}, pages = {2768--2773}, year = {2014}, crossref = {DBLP:conf/smc/2014}, url = {https://doi.org/10.1109/SMC.2014.6974347}, doi = {10.1109/SMC.2014.6974347}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/smc/TsaiLC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ets/WuHHLLCLHLCT13, author = {Ying{-}Tien Wu and Huei{-}Tse Hou and Fu{-}Kwun Hwang and Ming{-}Hsien Lee and Chih{-}Hung Lai and Guo{-}Li Chiou and Silvia Wen{-}Yu Lee and Yu{-}Chen Hsu and Jyh{-}Chong Liang and Nian{-}Shing Chen and Chin{-}Chung Tsai}, title = {A Review of Intervention Studies On Technology-assisted Instruction From 2005-2010}, journal = {J. Educ. Technol. Soc.}, volume = {16}, number = {3}, pages = {191--203}, year = {2013}, url = {http://www.ifets.info/download\_pdf.php?j\_id=60\&a\_id=1387}, timestamp = {Mon, 16 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ets/WuHHLLCLHLCT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/LinHYHTK13, author = {Chinho Lin and Ming{-}Lung Hsu and David C. Yen and Ping{-}Jung Hsieh and Hua{-}Ling Tsai and Tsung{-}Hsien Kuo}, title = {Prototype system for pursuing firm's core capability}, journal = {Inf. Syst. Frontiers}, volume = {15}, number = {3}, pages = {497--509}, year = {2013}, url = {https://doi.org/10.1007/s10796-011-9341-x}, doi = {10.1007/S10796-011-9341-X}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isf/LinHYHTK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/TsayTCCL13, author = {Yih{-}Kuen Tsay and Ming{-}Hsien Tsai and Jinn{-}Shu Chang and Yi{-}Wen Chang and Chi{-}Shiang Liu}, title = {B{\"{u}}chi Store: an open repository of {\(\omega\)}-automata}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {15}, number = {2}, pages = {109--123}, year = {2013}, url = {https://doi.org/10.1007/s10009-012-0268-4}, doi = {10.1007/S10009-012-0268-4}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/TsayTCCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TsaiTH13, author = {Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Yu{-}Shiang Hwang}, title = {{GOAL} for Games, Omega-Automata, and Logics}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, pages = {883--889}, year = {2013}, crossref = {DBLP:conf/cav/2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_62}, doi = {10.1007/978-3-642-39799-8\_62}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/TsaiTH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esscirc/ChouHFCWTCTLWCY13, author = {Wen{-}Shen Chou and Po{-}Hsien Huang and Ming{-}Yan Fan and Ke{-}Horng Chen and Kuei{-}Ann Wen and Zhih Han Tai and Yi Hsuan Cheng and Chi Chung Tsai and Hsin{-}Yu Luo and Shih{-}Ming Wang and Long{-}Der Chen and Cheng{-}Chen Yang and Jui{-}Lung Chen}, title = {Embedded fully self-biased switched-capacitor for energy and area-efficient cholesteric {LCD} drivers}, booktitle = {{ESSCIRC} 2013 - Proceedings of the 39th European Solid-State Circuits Conference, Bucharest, Romania, September 16-20, 2013}, pages = {351--354}, year = {2013}, crossref = {DBLP:conf/esscirc/2013}, url = {https://doi.org/10.1109/ESSCIRC.2013.6649145}, doi = {10.1109/ESSCIRC.2013.6649145}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esscirc/ChouHFCWTCTLWCY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/TsaiCCH12, author = {Tsai{-}Hsuan Tsai and Hsien{-}Tsung Chang and Yi{-}Ming Chang and Gung{-}Shiung Huang}, title = {Sharetouch: {A} system to enrich social network experiences for the elderly}, journal = {J. Syst. Softw.}, volume = {85}, number = {6}, pages = {1363--1369}, year = {2012}, url = {https://doi.org/10.1016/j.jss.2012.01.023}, doi = {10.1016/J.JSS.2012.01.023}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/TsaiCCH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jssc/TuLTLLWHLSJC12, author = {Ming{-}Hsien Tu and Jihi{-}Yu Lin and Ming{-}Chien Tsai and Chien{-}Yu Lu and Yuh{-}Jiun Lin and Meng{-}Hsueh Wang and Huan{-}Shun Huang and Kuen{-}Di Lee and Wei{-}Chiang Shih and Shyh{-}Jye Jou and Ching{-}Te Chuang}, title = {A Single-Ended Disturb-Free 9T Subthreshold {SRAM} With Cross-Point Data-Aware Write Word-Line Structure, Negative Bit-Line, and Adaptive Read Operation Timing Tracing}, journal = {{IEEE} J. Solid State Circuits}, volume = {47}, number = {6}, pages = {1469--1482}, year = {2012}, url = {https://doi.org/10.1109/JSSC.2012.2187474}, doi = {10.1109/JSSC.2012.2187474}, timestamp = {Sun, 30 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jssc/TuLTLLWHLSJC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tim/WuLSHHT12, author = {Hsien{-}Tsai Wu and Chun{-}Ho Lee and Cheuk{-}Kwan Sun and Jui{-}Ting Hsu and Ruay{-}Ming Huang and Chieh{-}Ju Tang}, title = {Arterial Waveforms Measured at the Wrist as Indicators of Diabetic Endothelial Dysfunction in the Elderly}, journal = {{IEEE} Trans. Instrum. Meas.}, volume = {61}, number = {1}, pages = {162--169}, year = {2012}, url = {https://doi.org/10.1109/TIM.2011.2159416}, doi = {10.1109/TIM.2011.2159416}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tim/WuLSHHT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/ChuLTKSJLTTHHC12, author = {Li{-}Wei Chu and Chun{-}Yu Lin and Shiang{-}Yu Tsai and Ming{-}Dou Ker and Ming{-}Hsiang Song and Chewnpu Jou and Tse{-}Hua Lu and Jeng{-}Chou Tseng and Ming{-}Hsien Tsai and Tsun{-}Lai Hsu and Ping{-}Fang Hung and Tzu{-}Heng Chang}, title = {Compact and low-loss {ESD} protection design for V-band {RF} applications in a 65-nm {CMOS} technology}, booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS} 2012, Seoul, Korea (South), May 20-23, 2012}, pages = {2127--2130}, year = {2012}, crossref = {DBLP:conf/iscas/2012}, url = {https://doi.org/10.1109/ISCAS.2012.6271706}, doi = {10.1109/ISCAS.2012.6271706}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscas/ChuLTKSJLTTHHC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsi-dat/TsaiLYTSLLJCH12, author = {Ming{-}Chien Tsai and Yi{-}Wei Lin and Hao{-}I Yang and Ming{-}Hsien Tu and Wei{-}Chiang Shih and Nan{-}Chun Lien and Kuen{-}Di Lee and Shyh{-}Jye Jou and Ching{-}Te Chuang and Wei Hwang}, title = {Embedded {SRAM} ring oscillator for in-situ measurement of {NBTI} and {PBTI} degradation in {CMOS} 6T {SRAM} array}, booktitle = {Proceedings of Technical Program of 2012 {VLSI} Design, Automation and Test, {VLSI-DAT} 2012, Hsinchu, Taiwan, April 23-25, 2012}, pages = {1--4}, year = {2012}, crossref = {DBLP:conf/vlsi-dat/2012}, url = {https://doi.org/10.1109/VLSI-DAT.2012.6212587}, doi = {10.1109/VLSI-DAT.2012.6212587}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/vlsi-dat/TsaiLYTSLLJCH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcm/WuWWT11, author = {Hsien{-}Chu Wu and Hao{-}Cheng Wang and Chung{-}Ming Wang and Chwei{-}Shyong Tsai}, title = {Coloured visual cryptography using fixed size meaningful share}, journal = {Int. J. Comput. Math.}, volume = {88}, number = {6}, pages = {1239--1255}, year = {2011}, url = {https://doi.org/10.1080/00207160.2010.500373}, doi = {10.1080/00207160.2010.500373}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcm/WuWWT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nar/HsuLWLHCTCLCCWHTH11, author = {Sheng{-}Da Hsu and Feng{-}Mao Lin and Wei{-}Yun Wu and Chao Liang and Wei{-}Chih Huang and Wen{-}Ling Chan and Wen{-}Ting Tsai and Goun{-}Zhou Chen and Chia{-}Jung Lee and Chih{-}Min Chiu and Chia{-}Hung Chien and Ming{-}Chia Wu and Chi{-}Ying F. Huang and Ann{-}Ping Tsou and Hsien{-}Da Huang}, title = {miRTarBase: a database curates experimentally validated microRNA-target interactions}, journal = {Nucleic Acids Res.}, volume = {39}, number = {Database-Issue}, pages = {163--169}, year = {2011}, url = {https://doi.org/10.1093/nar/gkq1107}, doi = {10.1093/NAR/GKQ1107}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nar/HsuLWLHCTCLCCWHTH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecctd/LinCTKLHHSTCT11, author = {Chun{-}Yu Lin and Li{-}Wei Chu and Shiang{-}Yu Tsai and Ming{-}Dou Ker and Tse{-}Hua Lu and Tsun{-}Lai Hsu and Ping{-}Fang Hung and Ming{-}Hsiang Song and Jeng{-}Chou Tseng and Tzu{-}Heng Chang and Ming{-}Hsien Tsai}, title = {Modified LC-tank {ESD} protection design for 60-GHz {RF} applications}, booktitle = {20th European Conference on Circuit Theory and Design, {ECCTD} 2011, Linkoping, Sweden, Aug. 29-31, 2011}, pages = {57--60}, year = {2011}, crossref = {DBLP:conf/ecctd/2011}, url = {https://doi.org/10.1109/ECCTD.2011.6043589}, doi = {10.1109/ECCTD.2011.6043589}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecctd/LinCTKLHHSTCT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/ChenTHL11, author = {Kuanfu Chen and Ming{-}Hsien Tsai and Fu{-}Lung Hsueh and Wentai Liu}, title = {Analysis and design of data transmission protocol for 1024-channel retinal prosthesis}, booktitle = {33rd Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August 30 - Sept. 3, 2011}, pages = {4010--4013}, year = {2011}, crossref = {DBLP:conf/embc/2011}, url = {https://doi.org/10.1109/IEMBS.2011.6090996}, doi = {10.1109/IEMBS.2011.6090996}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/embc/ChenTHL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/LoLCTH11, author = {Yi{-}Kai Lo and Wentai Liu and Kuanfu Chen and Ming{-}Hsien Tsai and Fu{-}Lung Hsueh}, title = {A 64-channel neuron recording system}, booktitle = {33rd Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August 30 - Sept. 3, 2011}, pages = {2862--2865}, year = {2011}, crossref = {DBLP:conf/embc/2011}, url = {https://doi.org/10.1109/IEMBS.2011.6090790}, doi = {10.1109/IEMBS.2011.6090790}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/embc/LoLCTH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isocc/HsuT11, author = {Shawn S. H. Hsu and Ming{-}Hsien Tsai}, title = {Low-noise amplifiers with robust {ESD} protection for {RF} {SOC}}, booktitle = {International SoC Design Conference, {ISOCC} 2011, Jeju, South Korea, November 17-18, 2011}, pages = {112--115}, year = {2011}, crossref = {DBLP:conf/isocc/2011}, url = {https://doi.org/10.1109/ISOCC.2011.6138659}, doi = {10.1109/ISOCC.2011.6138659}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isocc/HsuT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/PanCYYHLLYLLCCCJYLCKWHLSTL11, author = {Jyh{-}Shin Pan and Ming{-}Yang Chao and Eric Yeh and Wen{-}Wei Yang and Ching{-}Wen Hsueh and Shyuan Liao and Jian{-}Bang Lin and Shun{-}An Yang and Chin{-}Tai Liu and Tsai{-}Pao Lee and Jin{-}Ru Chen and Chia{-}Hua Chou and Min Chen and Den{-}Kai Juang and Jen{-}Hao Yeh and Chieh{-}Wei Liao and Po{-}Hung Chen and Kaipon Kao and Chia{-}Hsin Wu and Wen{-}Tso Huang and Shih{-}Hsien Liao and Chih{-}Heng Shih and Chien{-}Hsun Tung and Yen{-}Po Lee}, title = {A 70Mb/s -100.5dBm sensitivity 65nm {LP} {MIMO} chipset for WiMAX portable router}, booktitle = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2011, Digest of Technical Papers, San Francisco, CA, USA, 20-24 February, 2011}, pages = {136--138}, year = {2011}, crossref = {DBLP:conf/isscc/2011}, url = {https://doi.org/10.1109/ISSCC.2011.5746253}, doi = {10.1109/ISSCC.2011.5746253}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isscc/PanCYYHLLYLLCCCJYLCKWHLSTL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TsayTCC11, author = {Yih{-}Kuen Tsay and Ming{-}Hsien Tsai and Jinn{-}Shu Chang and Yi{-}Wen Chang}, title = {B{\"{u}}chi Store: An Open Repository of B{\"{u}}chi Automata}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, {TACAS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, pages = {262--266}, year = {2011}, crossref = {DBLP:conf/tacas/2011}, url = {https://doi.org/10.1007/978-3-642-19835-9\_23}, doi = {10.1007/978-3-642-19835-9\_23}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/TsayTCC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/displays/WuWTW10, author = {Hsien{-}Chu Wu and Hao{-}Cheng Wang and Chwei{-}Shyong Tsai and Chung{-}Ming Wang}, title = {Reversible image steganographic scheme via predictive coding}, journal = {Displays}, volume = {31}, number = {1}, pages = {35--43}, year = {2010}, url = {https://doi.org/10.1016/j.displa.2009.10.002}, doi = {10.1016/J.DISPLA.2009.10.002}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/displays/WuWTW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tase/HoTHC10, author = {Wen{-}Hsien Ho and Jinn{-}Tsong Tsai and Gong{-}Ming Hsu and Jyh{-}Horng Chou}, title = {Process Parameters Optimization: {A} Design Study for TiO \({}_{\mbox{2}}\) Thin Film of Vacuum Sputtering Process}, journal = {{IEEE} Trans Autom. Sci. Eng.}, volume = {7}, number = {1}, pages = {143--146}, year = {2010}, url = {https://doi.org/10.1109/TASE.2009.2023673}, doi = {10.1109/TASE.2009.2023673}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tase/HoTHC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcas/TuLTJC10, author = {Ming{-}Hsien Tu and Jihi{-}Yu Lin and Ming{-}Chien Tsai and Shyh{-}Jye Jou and Ching{-}Te Chuang}, title = {Single-Ended Subthreshold {SRAM} With Asymmetrical Write/Read-Assist}, journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.}, volume = {57-I}, number = {12}, pages = {3039--3047}, year = {2010}, url = {https://doi.org/10.1109/TCSI.2010.2071690}, doi = {10.1109/TCSI.2010.2071690}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcas/TuLTJC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenCFTTW10, author = {Yu{-}Fang Chen and Edmund M. Clarke and Azadeh Farzan and Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, title = {Automated Assume-Guarantee Reasoning through Implicit Learning}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, pages = {511--526}, year = {2010}, crossref = {DBLP:conf/cav/2010}, url = {https://doi.org/10.1007/978-3-642-14295-6\_44}, doi = {10.1007/978-3-642-14295-6\_44}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ChenCFTTW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cicc/ChenTCPHYCHLLFYWCWWP10, author = {Wei{-}Chih Chen and Chien{-}Chun Tsai and Chih{-}Hsien Chang and Yung{-}Chow Peng and Fu{-}Lung Hsueh and Tsung{-}Hsin Yu and Jinn{-}Yeh Chien and Wen{-}Hung Huang and Chi{-}Chang Lu and Mu{-}Shan Lin and Chin{-}Ming Fu and Shu{-}Chun Yang and Chung{-}Wing Wong and Wan{-}Te Chen and Chin{-}Hua Wen and Li Yueh Wang and Chiang Pu}, title = {A 2.5-8Gb/s transceiver with 5-tap {DFE} and Second order {CDR} against 28-inch channel and 5000ppm {SSC} in 40nm {CMOS} technology}, booktitle = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2010, San Jose, California, USA, 19-22 September, 2010, Proceedings}, pages = {1--4}, year = {2010}, crossref = {DBLP:conf/cicc/2010}, url = {https://doi.org/10.1109/CICC.2010.5617469}, doi = {10.1109/CICC.2010.5617469}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/cicc/ChenTCPHYCHLLFYWCWWP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cicc/HsiehHJKCYTWLT10, author = {Hsieh{-}Hung Hsieh and Fu{-}Lung Hsueh and Chewnpu Jou and Fred Kuo and Sean Chen and Tzu{-}Jin Yeh and Kevin Kai{-}Wen Tan and Po{-}Yi Wu and Yu{-}Ling Lin and Ming{-}Hsien Tsai}, title = {A V-band divide-by-three differential direct injection-locked frequency divider in 65-nm {CMOS}}, booktitle = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2010, San Jose, California, USA, 19-22 September, 2010, Proceedings}, pages = {1--4}, year = {2010}, crossref = {DBLP:conf/cicc/2010}, url = {https://doi.org/10.1109/CICC.2010.5617391}, doi = {10.1109/CICC.2010.5617391}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cicc/HsiehHJKCYTWLT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/ChenCFHTTWZ10, author = {Yu{-}Fang Chen and Edmund M. Clarke and Azadeh Farzan and Fei He and Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Bow{-}Yaw Wang and Lei Zhu}, title = {Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, pages = {643--657}, year = {2010}, crossref = {DBLP:conf/isola/2010-1}, url = {https://doi.org/10.1007/978-3-642-16558-0\_52}, doi = {10.1007/978-3-642-16558-0\_52}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nems/WuGWPTYT10, author = {Yi{-}Shiuan Wu and Shin{-}Mei Gong and Chun{-}Hsien Wang and Hsien{-}Chih Peng and Ming{-}Chi Tsai and Tsung{-}Kuang Yeh and Fan{-}Gang Tseng}, title = {High efficient nanocatalysts synthesis by a semi-reflux chemical reduction system}, booktitle = {5th {IEEE} International Conference on Nano/Micro Engineered and Molecular Systems, {NEMS} 2010, Xiamen, China, January 20-23, 2010}, pages = {704--707}, year = {2010}, crossref = {DBLP:conf/nems/2010}, url = {https://doi.org/10.1109/NEMS.2010.5592251}, doi = {10.1109/NEMS.2010.5592251}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/nems/WuGWPTYT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MagillTLT10, author = {Stephen Magill and Ming{-}Hsien Tsai and Peter Lee and Yih{-}Kuen Tsay}, title = {Automatic numeric abstractions for heap-manipulating programs}, booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23, 2010}, pages = {211--222}, year = {2010}, crossref = {DBLP:conf/popl/2010}, url = {https://doi.org/10.1145/1706299.1706326}, doi = {10.1145/1706299.1706326}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/MagillTLT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wia/TsaiFVT10, author = {Ming{-}Hsien Tsai and Seth Fogarty and Moshe Y. Vardi and Yih{-}Kuen Tsay}, title = {State of B{\"{u}}chi Complementation}, booktitle = {Implementation and Application of Automata - 15th International Conference, {CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers}, pages = {261--271}, year = {2010}, crossref = {DBLP:conf/wia/2010}, url = {https://doi.org/10.1007/978-3-642-18098-9\_28}, doi = {10.1007/978-3-642-18098-9\_28}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wia/TsaiFVT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eg/TsaiPCT09, author = {Wen{-}Hsien Tsai and Yuyun Purbokusumo and Julian Ming{-}Sung Cheng and Nguyen Duc Tuan}, title = {E-government evaluation: the case of Vietnam's provincial websites}, journal = {Electron. Gov. an Int. J.}, volume = {6}, number = {1}, pages = {41--53}, year = {2009}, url = {https://doi.org/10.1504/EG.2009.022592}, doi = {10.1504/EG.2009.022592}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eg/TsaiPCT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/TsayCTWCLC09, author = {Yih{-}Kuen Tsay and Yu{-}Fang Chen and Ming{-}Hsien Tsai and Kang{-}Nien Wu and Wen{-}Chin Chan and Chi{-}Jian Luo and Jinn{-}Shu Chang}, title = {Tool support for learning B{\"{u}}chi automata and linear temporal logic}, journal = {Formal Aspects Comput.}, volume = {21}, number = {3}, pages = {259--275}, year = {2009}, url = {https://doi.org/10.1007/s00165-008-0091-6}, doi = {10.1007/S00165-008-0091-6}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/TsayCTWCLC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tedu/HuangTKWLT09, author = {Jiung{-}yao Huang and Ming{-}Chih Tung and Huan{-}Chao Keh and Ji{-}Jen Wu and Kun{-}Hang Lee and Chung{-}Hsien Tsai}, title = {A 3D Campus on the Internet - {A} Networked Mixed Reality Environment}, journal = {Trans. Edutainment}, volume = {2}, pages = {282--298}, year = {2009}, crossref = {DBLP:journals/tedu/2009-2}, url = {https://doi.org/10.1007/978-3-642-03270-7\_19}, doi = {10.1007/978-3-642-03270-7\_19}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tedu/HuangTKWLT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hci/HuangTKWLT09, author = {Jiung{-}yao Huang and Ming{-}Chih Tung and Huan{-}Chao Keh and Ji{-}Jen Wu and Kun{-}Hang Lee and Chung{-}Hsien Tsai}, title = {Interaction Wearable Computer with Networked Virtual Environment}, booktitle = {Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction, 13th International Conference, {HCI} International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part {III}}, pages = {741--751}, year = {2009}, crossref = {DBLP:conf/hci/2009-3}, url = {https://doi.org/10.1007/978-3-642-02580-8\_81}, doi = {10.1007/978-3-642-02580-8\_81}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/hci/HuangTKWLT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/socc/LinTTJC09, author = {Jihi{-}Yu Lin and Ming{-}Hsien Tu and Ming{-}Chien Tsai and Shyh{-}Jye Jou and Ching{-}Te Chuang}, title = {Asymmetrical Write-assist for single-ended {SRAM} operation}, booktitle = {Annual {IEEE} International SoC Conference, SoCC 2009, September 9-11, 2009, Belfast, Northern Ireland, UK, Proceedings}, pages = {101--104}, year = {2009}, crossref = {DBLP:conf/socc/2009}, url = {https://doi.org/10.1109/SOCCON.2009.5398086}, doi = {10.1109/SOCCON.2009.5398086}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/socc/LinTTJC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/LiuKTT08, author = {Bing{-}Hong Liu and Wei{-}Chieh Ke and Chin{-}Hsien Tsai and Ming{-}Jer Tsai}, title = {Constructing a Message-Pruning Tree with Minimum Cost for Tracking Moving Objects in Wireless Sensor Networks Is NP-Complete and an Enhanced Data Aggregation Structure}, journal = {{IEEE} Trans. Computers}, volume = {57}, number = {6}, pages = {849--863}, year = {2008}, url = {https://doi.org/10.1109/TC.2008.22}, doi = {10.1109/TC.2008.22}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/LiuKTT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/HuangHLCT08, author = {Nen{-}Fu Huang and Hsien{-}Wei Hung and Sheng{-}Hung Lai and Yen{-}Ming Chu and Wen{-}Yen Tsai}, title = {A GPU-Based Multiple-Pattern Matching Algorithm for Network Intrusion Detection Systems}, booktitle = {22nd International Conference on Advanced Information Networking and Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa, Japan, March 25-28, 2008}, pages = {62--67}, year = {2008}, crossref = {DBLP:conf/aina/2008w}, url = {https://doi.org/10.1109/WAINA.2008.145}, doi = {10.1109/WAINA.2008.145}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/HuangHLCT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/MagillTLT08, author = {Stephen Magill and Ming{-}Hsien Tsai and Peter Lee and Yih{-}Kuen Tsay}, title = {{THOR:} {A} Tool for Reasoning about Shape and Arithmetic}, booktitle = {Computer Aided Verification, 20th International Conference, {CAV} 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}, pages = {428--432}, year = {2008}, crossref = {DBLP:conf/cav/2008}, url = {https://doi.org/10.1007/978-3-540-70545-1\_41}, doi = {10.1007/978-3-540-70545-1\_41}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/MagillTLT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpc/HsuTCY08, author = {Ching{-}Hsien Hsu and Ming{-}Hsiung Tsai and Tai{-}Lung Chen and Kun{-}Ming Yu}, title = {Performance-Effective and Contention-Free Broadcasts on Irregular Network with Heterogeneous Workstations}, booktitle = {Workshops at the Grid and Pervasive Computing Conference, {GPC} 2008, Kunming, China, May 25-28, 2008}, pages = {352--357}, year = {2008}, crossref = {DBLP:conf/gpc/2008w}, url = {https://doi.org/10.1109/GPC.WORKSHOPS.2008.66}, doi = {10.1109/GPC.WORKSHOPS.2008.66}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gpc/HsuTCY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispan/HuangLZTL08, author = {Chung{-}Ming Huang and Chao{-}Hsien Lee and Jun{-}Hao Zhuang and Tsung{-}Yi Tsai and Chi{-}Chang Liu}, title = {SIP-Based Cross-Domain Proxy Handoff for Mobile Streaming Services}, booktitle = {9th International Symposium on Parallel Architectures, Algorithms, and Networks, {ISPAN} 2008, 7-9 May 2008, Sydney, NSW, Australia}, pages = {4--9}, year = {2008}, crossref = {DBLP:conf/ispan/2008}, url = {https://doi.org/10.1109/I-SPAN.2008.21}, doi = {10.1109/I-SPAN.2008.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispan/HuangLZTL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TsayCTCL08, author = {Yih{-}Kuen Tsay and Yu{-}Fang Chen and Ming{-}Hsien Tsai and Wen{-}Chin Chan and Chi{-}Jian Luo}, title = {{GOAL} Extended: Towards a Research Tool for Omega Automata and Temporal Logic}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, pages = {346--350}, year = {2008}, crossref = {DBLP:conf/tacas/2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_26}, doi = {10.1007/978-3-540-78800-3\_26}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/tacas/TsayCTCL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comcom/HuangT07, author = {Chung{-}Ming Huang and Ching{-}Hsien Tsai}, title = {The handover control mechanism for multi-path transmission using Stream Control Transmission Protocol {(SCTP)}}, journal = {Comput. Commun.}, volume = {30}, number = {17}, pages = {3239--3256}, year = {2007}, url = {https://doi.org/10.1016/j.comcom.2007.06.015}, doi = {10.1016/J.COMCOM.2007.06.015}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comcom/HuangT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijss/WuYWT07, author = {Huei{-}Jin Wu and Ming{-}Hsien Yang and Ji{-}Tsung Ben Wu and Cheng{-}Lun Tsai}, title = {An empirical study on liquidity-based measures for e-marketplace}, journal = {Int. J. Serv. Stand.}, volume = {3}, number = {4}, pages = {413--425}, year = {2007}, url = {https://doi.org/10.1504/IJSS.2007.015225}, doi = {10.1504/IJSS.2007.015225}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijss/WuYWT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcas/LinWT07, author = {Tsung{-}Hsien Lin and Chin{-}Kung Wu and Ming{-}Chung Tsai}, title = {A 0.8-V 0.25-mW Current-Mirror {OTA} With 160-MHz {GBW} in 0.18-{\(\mu\)}m {CMOS}}, journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs}, volume = {54-II}, number = {2}, pages = {131--135}, year = {2007}, url = {https://doi.org/10.1109/TCSII.2006.886465}, doi = {10.1109/TCSII.2006.886465}, timestamp = {Wed, 27 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcas/LinWT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/HuangT07, author = {Chung{-}Ming Huang and Ching{-}Hsien Tsai}, title = {WiMP-SCTP: Multi-Path Transmission Using Stream Control Transmission Protocol {(SCTP)} in Wireless Networks}, booktitle = {21st International Conference on Advanced Information Networking and Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada}, pages = {209--214}, year = {2007}, crossref = {DBLP:conf/aina/2007w1}, url = {https://doi.org/10.1109/AINAW.2007.374}, doi = {10.1109/AINAW.2007.374}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/HuangT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccnc/HuangTHC07, author = {Chung{-}Ming Huang and Ching{-}Hsien Tsai and Jia{-}Xuan Huang and Cheng{-}Yen Chuang}, title = {Enabling Robust Network Fault Tolerance for IP-Based Surveillance Systems}, booktitle = {4th {IEEE} Consumer Communications and Networking Conference, {CCNC} 2007, Las Vegas, NV, USA, January 11-13, 2007}, pages = {39--43}, year = {2007}, crossref = {DBLP:conf/ccnc/2007}, url = {https://doi.org/10.1109/CCNC.2007.15}, doi = {10.1109/CCNC.2007.15}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/ccnc/HuangTHC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/healthgrid/HungTTLCC07, author = {Shu{-}Hui Hung and Huan Chin Tseng and Wen Ho Tsai and Hsin{-}Hung Lin and Jen Hsien Cheng and Yi{-}Ming Chang}, title = {Care for Asthma via Mobile Phone {(CAMP)}}, booktitle = {From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences - Proceedings of HealthGrid 2007, Geneva, Switzerland, April 24-27, 2007}, pages = {137--143}, year = {2007}, crossref = {DBLP:conf/healthgrid/2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5560}, timestamp = {Tue, 30 May 2017 14:46:39 +0200}, biburl = {https://dblp.org/rec/conf/healthgrid/HungTTLCC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TsayCTWC07, author = {Yih{-}Kuen Tsay and Yu{-}Fang Chen and Ming{-}Hsien Tsai and Kang{-}Nien Wu and Wen{-}Chin Chan}, title = {{GOAL:} {A} Graphical Tool for Manipulating B{\"{u}}chi Automata and Temporal Formulae}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, pages = {466--471}, year = {2007}, crossref = {DBLP:conf/tacas/2007}, url = {https://doi.org/10.1007/978-3-540-71209-1\_35}, doi = {10.1007/978-3-540-71209-1\_35}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/conf/tacas/TsayCTWC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/HuangTT06, author = {Chung{-}Ming Huang and Ching{-}Hsien Tsai and Ming{-}Chi Tsai}, title = {Design and Implementation of Video Streaming Hot-plug between Wired and Wireless Networks Using {SCTP}}, journal = {Comput. J.}, volume = {49}, number = {4}, pages = {400--417}, year = {2006}, url = {https://doi.org/10.1093/comjnl/bxl025}, doi = {10.1093/COMJNL/BXL025}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/HuangTT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comcom/HuangLT06, author = {Chung{-}Ming Huang and Chao{-}Hsien Lee and Meng{-}Da Tsai}, title = {Scalable {MPEG-4} streaming over the IPv6 mobile network environment}, journal = {Comput. Commun.}, volume = {29}, number = {16}, pages = {3104--3112}, year = {2006}, url = {https://doi.org/10.1016/j.comcom.2005.11.010}, doi = {10.1016/J.COMCOM.2005.11.010}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comcom/HuangLT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comcom/HuangTS06, author = {Chungming Huang and Ching{-}Hsien Tsai and Po{-}chou Su}, title = {MultiGate6: An IPv6 multihoming gateway using a hybrid approach}, journal = {Comput. Commun.}, volume = {29}, number = {10}, pages = {1842--1857}, year = {2006}, url = {https://doi.org/10.1016/j.comcom.2005.10.020}, doi = {10.1016/J.COMCOM.2005.10.020}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/comcom/HuangTS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/WangCHT06, author = {Chung{-}Ming Wang and Chung{-}Hsien Chang and Nen{-}Chin Hwang and Yuan{-}Yu Tsai}, title = {A Novel Algorithm for Sampling Uniformly in the Directional Space of a Cone}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {89-A}, number = {9}, pages = {2351--2355}, year = {2006}, url = {https://doi.org/10.1093/ietfec/e89-a.9.2351}, doi = {10.1093/IETFEC/E89-A.9.2351}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/WangCHT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/titb/TsouSLHHTL06, author = {Ann{-}Ping Tsou and Yi{-}Ming Sun and Chia{-}Lin Liu and Hsien{-}Da Huang and Jorng{-}Tzong Horng and Meng{-}Feng Tsai and Baw{-}Jhiune Liu}, title = {Biological Data Warehousing System for Identifying Transcriptional Regulatory Sites From Gene Expressions of Microarray Data}, journal = {{IEEE} Trans. Inf. Technol. Biomed.}, volume = {10}, number = {3}, pages = {550--558}, year = {2006}, url = {https://doi.org/10.1109/TITB.2005.862466}, doi = {10.1109/TITB.2005.862466}, timestamp = {Wed, 13 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/titb/TsouSLHHTL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/TsaiW06, author = {Ming{-}Hsien Tsai and Bow{-}Yaw Wang}, title = {Modular Formalization of Reactive Modules in {COQ}}, booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, pages = {105--119}, year = {2006}, crossref = {DBLP:conf/asian/2006}, url = {https://doi.org/10.1007/978-3-540-77505-8\_9}, doi = {10.1007/978-3-540-77505-8\_9}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asian/TsaiW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/TsaiW06a, author = {Ming{-}Hsien Tsai and Bow{-}Yaw Wang}, title = {Formalization of CTL* in Calculus of Inductive Constructions}, booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, pages = {316--330}, year = {2006}, crossref = {DBLP:conf/asian/2006}, url = {https://doi.org/10.1007/978-3-540-77505-8\_25}, doi = {10.1007/978-3-540-77505-8\_25}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asian/TsaiW06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgi/ChangWTC06, author = {Chung{-}Hsien Chang and Chung{-}Ming Wang and Yuan{-}Yu Tsai and Yu{-}Ming Cheng}, title = {A Novel Data Hiding Algorithm Using Normal Vectors of 3D Model}, booktitle = {Advances in Computer Graphics, 24th Computer Graphics International Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings}, pages = {231--241}, year = {2006}, crossref = {DBLP:conf/cgi/2006}, url = {https://doi.org/10.1007/11784203\_20}, doi = {10.1007/11784203\_20}, timestamp = {Mon, 01 Mar 2021 13:46:59 +0100}, biburl = {https://dblp.org/rec/conf/cgi/ChangWTC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgi/ChengWTCW06, author = {Yu{-}Ming Cheng and Chung{-}Ming Wang and Yuan{-}Yu Tsai and Chung{-}Hsien Chang and Peng{-}Cheng Wang}, title = {Steganography for Three-Dimensional Models}, booktitle = {Advances in Computer Graphics, 24th Computer Graphics International Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings}, pages = {510--517}, year = {2006}, crossref = {DBLP:conf/cgi/2006}, url = {https://doi.org/10.1007/11784203\_46}, doi = {10.1007/11784203\_46}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cgi/ChengWTCW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgi/TsaiWCCW06, author = {Yuan{-}Yu Tsai and Chung{-}Ming Wang and Yu{-}Ming Cheng and Chung{-}Hsien Chang and Peng{-}Cheng Wang}, title = {Steganography on 3D Models Using a Spatial Subdivision Technique}, booktitle = {Advances in Computer Graphics, 24th Computer Graphics International Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings}, pages = {469--476}, year = {2006}, crossref = {DBLP:conf/cgi/2006}, url = {https://doi.org/10.1007/11784203\_41}, doi = {10.1007/11784203\_41}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cgi/TsaiWCCW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccsa/TsaiWCC06, author = {Yuan{-}Yu Tsai and Chung{-}Ming Wang and Chung{-}Hsien Chang and Yu{-}Ming Cheng}, title = {Tunable Bounding Volumes for Monte Carlo Applications}, booktitle = {Computational Science and Its Applications - {ICCSA} 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part {I}}, pages = {171--180}, year = {2006}, crossref = {DBLP:conf/iccsa/2006-1}, url = {https://doi.org/10.1007/11751540\_19}, doi = {10.1007/11751540\_19}, timestamp = {Thu, 28 Apr 2022 16:17:38 +0200}, biburl = {https://dblp.org/rec/conf/iccsa/TsaiWCC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcsw/TsaiCH06, author = {Hsien{-}Ming Tsai and Tzu{-}Chiang Chiang and Yueh{-}Min Huang}, title = {Using an Interpolation Algorithm for {VCR} like Functions in Multimedia Communications}, booktitle = {26th International Conference on Distributed Computing Systems Workshops {(ICDCS} 2006 Workshops), 4-7 July 2006, Lisboa, Portugal}, pages = {55}, year = {2006}, crossref = {DBLP:conf/icdcsw/2006}, url = {https://doi.org/10.1109/ICDCSW.2006.113}, doi = {10.1109/ICDCSW.2006.113}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcsw/TsaiCH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icoin/SueTL06, author = {Kuen{-}Liang Sue and Chung{-}Hsien Tsai and Ming{-}Hua Lin}, title = {{FLEXOR:} {A} Flexible Localization Scheme Based on {RFID}}, booktitle = {Information Networking, Advances in Data Communications and Wireless Networks, International Conference, {ICOIN} 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers}, pages = {306--316}, year = {2006}, crossref = {DBLP:conf/icoin/2006}, url = {https://doi.org/10.1007/11919568\_31}, doi = {10.1007/11919568\_31}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/icoin/SueTL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsc/HuangTWWT06, author = {Jiung{-}yao Huang and Ming{-}Chih Tung and Ji{-}Jen Wu and Shu{-}Shen Wai and Chung{-}Hsien Tsai}, title = {Use of the analytical system as the decision support system for the {HLA} joint training environment}, booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey, California, USA, December 3-6, 2006}, pages = {583--590}, year = {2006}, crossref = {DBLP:conf/wsc/2006}, url = {https://doi.org/10.1109/WSC.2006.323133}, doi = {10.1109/WSC.2006.323133}, timestamp = {Mon, 29 Apr 2024 16:19:40 +0200}, biburl = {https://dblp.org/rec/conf/wsc/HuangTWWT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/TsaiPLL05, author = {Hsien{-}Ming Tsai and Ai{-}Chun Pang and Yung{-}Chun Lin and Yi{-}Bing Lin}, title = {Repacking on demand for speed-sensitive channel assignment}, journal = {Comput. Networks}, volume = {47}, number = {1}, pages = {129--146}, year = {2005}, url = {https://doi.org/10.1016/j.comnet.2004.07.017}, doi = {10.1016/J.COMNET.2004.07.017}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cn/TsaiPLL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijipt/LiuHKT05, author = {Mingshou Liu and Cheng{-}Hsien Hsu and Shi{-}Hong Kuo and Hsang{-}Chi Tsai}, title = {An IPv6 enabled packet engine design for home/SOHO routers}, journal = {Int. J. Internet Protoc. Technol.}, volume = {1}, number = {2}, pages = {68--74}, year = {2005}, url = {https://doi.org/10.1504/IJIPT.2005.008041}, doi = {10.1504/IJIPT.2005.008041}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijipt/LiuHKT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijss/TsaiCFC05, author = {Wen{-}Hsien Tsai and Shih{-}Wen Chien and Yi{-}Wen Fan and Julian Ming{-}Sung Cheng}, title = {Critical management issues in implementing {ERP:} empirical evidences from Taiwanese firms}, journal = {Int. J. Serv. Stand.}, volume = {1}, number = {3}, pages = {299--318}, year = {2005}, url = {https://doi.org/10.1504/IJSS.2005.005802}, doi = {10.1504/IJSS.2005.005802}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijss/TsaiCFC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/winet/TsaiPLL05, author = {Hsien{-}Ming Tsai and Ai{-}Chun Pang and Yung{-}Chun Lin and Yi{-}Bing Lin}, title = {Repacking on Demand for Hierarchical Cellular Networks}, journal = {Wirel. Networks}, volume = {11}, number = {6}, pages = {719--728}, year = {2005}, url = {https://doi.org/10.1007/s11276-005-3526-5}, doi = {10.1007/S11276-005-3526-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/winet/TsaiPLL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/LiuHKT05, author = {Mingshou Liu and Cheng{-}Hsien Hsu and Shi{-}Hong Kuo and Hsang{-}Chi Tsai}, title = {An IPv6 Enabled Packet Engine Design for Home/SOHO Routers}, booktitle = {19th International Conference on Advanced Information Networking and Applications {(AINA} 2005), 28-30 March 2005, Taipei, Taiwan}, pages = {796--800}, year = {2005}, crossref = {DBLP:conf/aina/2005}, url = {https://doi.org/10.1109/AINA.2005.114}, doi = {10.1109/AINA.2005.114}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/LiuHKT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wimob/ChiangTH05, author = {Tzu{-}Chiang Chiang and Hsien{-}Ming Tsai and Yueh{-}Min Huang}, title = {A partition network model for ad hoc networks}, booktitle = {2005 {IEEE} International Conference on Wireless And Mobile Computing, Networking And Communications, WiMob 2005, Montreal, Canada, August 22-14, 2005, Volume 3}, pages = {467--472}, year = {2005}, crossref = {DBLP:conf/wimob/2005-3}, url = {https://doi.org/10.1109/WIMOB.2005.1512939}, doi = {10.1109/WIMOB.2005.1512939}, timestamp = {Thu, 12 Aug 2021 09:49:22 +0200}, biburl = {https://dblp.org/rec/conf/wimob/ChiangTH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsac/PangLTA04, author = {Ai{-}Chun Pang and Yi{-}Bing Lin and Hsien{-}Ming Tsai and Prathima Agrawal}, title = {Serving radio network controller relocation for {UMTS} all-IP network}, journal = {{IEEE} J. Sel. Areas Commun.}, volume = {22}, number = {4}, pages = {617--629}, year = {2004}, url = {https://doi.org/10.1109/JSAC.2004.825962}, doi = {10.1109/JSAC.2004.825962}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsac/PangLTA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tnn/TsaiCY04, author = {Chun{-}Hsien Tsai and Hung{-}Yuan Chung and Fang{-}Ming Yu}, title = {Neuro-sliding mode control with its applications to seesaw systems}, journal = {{IEEE} Trans. Neural Networks}, volume = {15}, number = {1}, pages = {124--134}, year = {2004}, url = {https://doi.org/10.1109/TNN.2003.811560}, doi = {10.1109/TNN.2003.811560}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tnn/TsaiCY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/twc/HungLPT04, author = {Hui{-}Nien Hung and Yi{-}Bing Lin and Nan{-}Fu Peng and Hsien{-}Ming Tsai}, title = {Repacking on demand for two-tier wireless local loop}, journal = {{IEEE} Trans. Wirel. Commun.}, volume = {3}, number = {3}, pages = {745--757}, year = {2004}, url = {https://doi.org/10.1109/TWC.2004.826312}, doi = {10.1109/TWC.2004.826312}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/twc/HungLPT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bibe/ChenWCTCW04, author = {Yung{-}Kang Chen and Hsien{-}Tsai Wu and Chih{-}Kai Chi and Wei{-}Chuan Tsai and Ju{-}Yi Chen and Ming{-}Chun Wang}, title = {A New Dual Channel Pulse Wave Velocity Measurement System}, booktitle = {4th {IEEE} International Symposium on BioInformatics and BioEngineering {(BIBE} 2004), 19-21 March 2004, Taichung, Taiwan}, pages = {17--21}, year = {2004}, crossref = {DBLP:conf/bibe/2004}, url = {https://doi.org/10.1109/BIBE.2004.1317320}, doi = {10.1109/BIBE.2004.1317320}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bibe/ChenWCTCW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/PangLTA04, author = {Ai{-}Chun Pang and Yi{-}Bing Lin and Hsien{-}Ming Tsai and Prathima Agrawal}, title = {A New Approach for Serving Radio Network Controller Relocation in {UMTS} All-IP Network}, booktitle = {Proceedings {IEEE} {INFOCOM} 2004, The 23rd Annual Joint Conference of the {IEEE} Computer and Communications Societies, Hong Kong, China, March 7-11, 2004}, year = {2004}, crossref = {DBLP:conf/infocom/2004}, url = {https://doi.org/10.1109/INFCOM.2004.1354501}, doi = {10.1109/INFCOM.2004.1354501}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/PangLTA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pacis/TsaiCFC04, author = {Wen{-}Hsien Tsai and Shih{-}Wen Chien and Yi{-}Wen Fan and Julian Ming{-}Sung Cheng}, title = {A Survey of {ERP} System Implementation in Taiwan}, booktitle = {Pacific Asia Conference on Information Systems, {PACIS} 2004, Shanghai, China, July 8-11, 2004}, pages = {135}, year = {2004}, crossref = {DBLP:conf/pacis/2004}, url = {http://aisel.aisnet.org/pacis2004/135}, timestamp = {Sat, 03 Mar 2012 13:26:52 +0100}, biburl = {https://dblp.org/rec/conf/pacis/TsaiCFC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/KuoTHL04, author = {Chung{-}Hsien Kuo and Yu{-}Lin Tsai and Fang{-}Chun Huang and Ming{-}Yih Lee}, title = {Development of image servo tracking robot for the surgical space positioning system}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man {\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004}, pages = {4462--4467}, year = {2004}, crossref = {DBLP:conf/smc/2004}, url = {https://doi.org/10.1109/ICSMC.2004.1401234}, doi = {10.1109/ICSMC.2004.1401234}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/smc/KuoTHL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/TsaiPLL03, author = {Hsien{-}Ming Tsai and Ai{-}Chun Pang and Yung{-}Chun Lin and Yi{-}Bing Lin}, title = {Channel Assignment for Hierarchical Cellular Networks}, booktitle = {32nd International Conference on Parallel Processing {(ICPP} 2003), 6-9 October 2003, Kaohsiung, Taiwan}, pages = {591--596}, year = {2003}, crossref = {DBLP:conf/icpp/2003}, url = {https://doi.org/10.1109/ICPP.2003.1240627}, doi = {10.1109/ICPP.2003.1240627}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpp/TsaiPLL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/TsaiL02, author = {Hsien{-}Ming Tsai and Yi{-}Bing Lin}, title = {Modeling Wireless Local with General Call Holding Times and Finite Number of Subscribers}, journal = {{IEEE} Trans. Computers}, volume = {51}, number = {7}, pages = {775--786}, year = {2002}, url = {https://doi.org/10.1109/TC.2002.1017697}, doi = {10.1109/TC.2002.1017697}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/TsaiL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/WuFC01, author = {Ming{-}Lu Wu and Wen{-}Hsien Fang and Jiunn{-}Tsair Chen}, title = {Design of low complexity multiuser detection using information theoretic criteria}, booktitle = {Proceedings of the Global Telecommunications Conference, 2001. {GLOBECOM} '01, San Antonio, TX, USA, 25-29 November, 2001}, pages = {254--258}, year = {2001}, crossref = {DBLP:conf/globecom/2001}, url = {https://doi.org/10.1109/GLOCOM.2001.965118}, doi = {10.1109/GLOCOM.2001.965118}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/globecom/WuFC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcn/HuangTLT00, author = {Jiun{-}Yao Huang and Hsien{-}Ming Tsai and Yi{-}Bing Lin and Chien{-}Chao Tseng}, title = {Design and implementation of an OA{\&}M system for {WLL} network}, journal = {J. Commun. Networks}, volume = {2}, number = {3}, pages = {266--276}, year = {2000}, url = {https://doi.org/10.1109/JCN.2000.6596718}, doi = {10.1109/JCN.2000.6596718}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcn/HuangTLT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/prl/ChenTT99, author = {Mu{-}Chen Chen and Du{-}Ming Tsai and Hsien{-}Yu Tseng}, title = {A stochastic optimization approach for roundness measurement}, journal = {Pattern Recognit. Lett.}, volume = {20}, number = {7}, pages = {707--719}, year = {1999}, url = {https://doi.org/10.1016/S0167-8655(99)00035-5}, doi = {10.1016/S0167-8655(99)00035-5}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/prl/ChenTT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/transci/TsaiCL91, author = {Wen{-}Hsien Tsai and Maw{-}Sheng Chern and Tsong{-}Ming Lin}, title = {Technical Note - An Algorithm for Determining Whether m Given Demand Points Are on a Hemisphere or Not}, journal = {Transp. Sci.}, volume = {25}, number = {1}, pages = {91--97}, year = {1991}, url = {https://doi.org/10.1287/trsc.25.1.91}, doi = {10.1287/TRSC.25.1.91}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/transci/TsaiCL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asicon/2023, title = {15th {IEEE} International Conference on ASIC, {ASICON} 2023, Nanjing, China, October 24-27, 2023}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ASICON58565.2023}, doi = {10.1109/ASICON58565.2023}, isbn = {979-8-3503-1298-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/asicon/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2023-3, editor = {Constantin Enea and Akash Lal}, title = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {13966}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37709-9}, doi = {10.1007/978-3-031-37709-9}, isbn = {978-3-031-37708-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cav/2023-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2023-2, editor = {Constantin Enea and Akash Lal}, title = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13965}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37703-7}, doi = {10.1007/978-3-031-37703-7}, isbn = {978-3-031-37702-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cav/2023-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dsa/2023, title = {10th International Conference on Dependable Systems and Their Applications, {DSA} 2023, Tokyo, Japan, August 10-11, 2023}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSA59317.2023}, doi = {10.1109/DSA59317.2023}, isbn = {979-8-3503-0477-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/dsa/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ecir/2023-2, editor = {Jaap Kamps and Lorraine Goeuriot and Fabio Crestani and Maria Maistro and Hideo Joho and Brian Davis and Cathal Gurrin and Udo Kruschwitz and Annalina Caputo}, title = {Advances in Information Retrieval - 45th European Conference on Information Retrieval, {ECIR} 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13981}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-28238-6}, doi = {10.1007/978-3-031-28238-6}, isbn = {978-3-031-28237-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ecir/2023-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sigsoft/2023, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643}, doi = {10.1145/3611643}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas2/2022, title = {{IEEE} Sensors Applications Symposium, {SAS} 2022, Sundsvall, Sweden, August 1-3, 2022}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SAS54819.2022}, doi = {10.1109/SAS54819.2022}, isbn = {978-1-6654-0981-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/sas2/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sigir/2022, editor = {Enrique Amig{\'{o}} and Pablo Castells and Julio Gonzalo and Ben Carterette and J. Shane Culpepper and Gabriella Kazai}, title = {{SIGIR} '22: The 45th International {ACM} {SIGIR} Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11 - 15, 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3477495}, doi = {10.1145/3477495}, isbn = {978-1-4503-8732-3}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/sigir/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2021-2, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9}, doi = {10.1007/978-3-030-81688-9}, isbn = {978-3-030-81687-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cav/2021-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icc/2021, title = {{ICC} 2021 - {IEEE} International Conference on Communications, Montreal, QC, Canada, June 14-23, 2021}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICC42927.2021}, doi = {10.1109/ICC42927.2021}, isbn = {978-1-7281-7122-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icc/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ofc/2021, title = {Optical Fiber Communications Conference and Exhibition, {OFC} 2021, San Francisco, CA, USA, June 6-10, 2021}, publisher = {{IEEE}}, year = {2021}, url = {https://ieeexplore.ieee.org/xpl/conhome/9489393/proceeding}, isbn = {978-1-943580-86-6}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ofc/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cvpr/2020w, title = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} Workshops 2020, Seattle, WA, USA, June 14-19, 2020}, publisher = {Computer Vision Foundation / {IEEE}}, year = {2020}, url = {https://openaccess.thecvf.com/CVPR2020\_workshops}, isbn = {978-1-7281-9360-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/2020w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icgsp/2020, title = {{ICGSP} 2020: The 4th International Conference on Graphics and Signal Processing, Nagoya, Japan, June 26-29, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3406971}, doi = {10.1145/3406971}, isbn = {978-1-4503-7781-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icgsp/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isscc/2020, title = {2020 {IEEE} International Solid- State Circuits Conference, {ISSCC} 2020, San Francisco, CA, USA, February 16-20, 2020}, publisher = {{IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/xpl/conhome/9046640/proceeding}, isbn = {978-1-7281-3205-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/isscc/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/trec/2020, editor = {Ellen M. Voorhees and Angela Ellis}, title = {Proceedings of the Twenty-Ninth Text REtrieval Conference, {TREC} 2020, Virtual Event [Gaithersburg, Maryland, USA], November 16-20, 2020}, series = {{NIST} Special Publication}, volume = {1266}, publisher = {National Institute of Standards and Technology {(NIST)}}, year = {2020}, url = {https://trec.nist.gov/pubs/trec29/trec2020.html}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/trec/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vlsic/2020, title = {{IEEE} Symposium on {VLSI} Circuits, {VLSI} Circuits 2020, Honolulu, HI, USA, June 16-19, 2020}, publisher = {{IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/xpl/conhome/9146894/proceeding}, isbn = {978-1-7281-9942-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/vlsic/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vr/2020, title = {{IEEE} Conference on Virtual Reality and 3D User Interfaces, {VR} 2010, Atlanta, GA, USA, March 22-26, 2020}, publisher = {{IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/xpl/conhome/9070012/proceeding}, isbn = {978-1-7281-5608-8}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/vr/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ccs/2019, editor = {Lorenzo Cavallaro and Johannes Kinder and XiaoFeng Wang and Jonathan Katz}, title = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2019, London, UK, November 11-15, 2019}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3319535}, doi = {10.1145/3319535}, isbn = {978-1-4503-6747-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ccs/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ieeesensors/2019, title = {2019 {IEEE} SENSORS, Montreal, QC, Canada, October 27-30, 2019}, publisher = {{IEEE}}, year = {2019}, url = {https://ieeexplore.ieee.org/xpl/conhome/8949872/proceeding}, isbn = {978-1-7281-1634-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ieeesensors/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kbse/2019, title = {34th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2019, San Diego, CA, USA, November 11-15, 2019}, publisher = {{IEEE}}, year = {2019}, url = {https://ieeexplore.ieee.org/xpl/conhome/8949433/proceeding}, isbn = {978-1-7281-2508-4}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/kbse/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/netys/2019, editor = {Mohamed Faouzi Atig and Alexander A. Schwarzmann}, title = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11704}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31277-0}, doi = {10.1007/978-3-030-31277-0}, isbn = {978-3-030-31276-3}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/netys/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/taai/2019, title = {2019 International Conference on Technologies and Applications of Artificial Intelligence, {TAAI} 2019, Kaohsiung, Taiwan, November 21-23, 2019}, publisher = {{IEEE}}, year = {2019}, url = {https://ieeexplore.ieee.org/xpl/conhome/8954857/proceeding}, isbn = {978-1-7281-4666-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/taai/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/2018, editor = {Sven Schewe and Lijun Zhang}, title = {29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China}, series = {LIPIcs}, volume = {118}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {http://www.dagstuhl.de/dagpub/978-3-95977-087-3}, isbn = {978-3-95977-087-3}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/concur/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hci/2018-8, editor = {Margherita Antona and Constantine Stephanidis}, title = {Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments - 12th International Conference, {UAHCI} 2018, Held as Part of {HCI} International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10908}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92052-8}, doi = {10.1007/978-3-319-92052-8}, isbn = {978-3-319-92051-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/hci/2018-8.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2018, editor = {Jeffrey S. Foster and Dan Grossman}, title = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2018, Philadelphia, PA, USA, June 18-22, 2018}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3192366}, doi = {10.1145/3192366}, isbn = {978-1-4503-5698-5}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ccs/2017, editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and Dongyan Xu}, title = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3133956}, doi = {10.1145/3133956}, isbn = {978-1-4503-4946-8}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ccs/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isscc/2017, title = {2017 {IEEE} International Solid-State Circuits Conference, {ISSCC} 2017, San Francisco, CA, USA, February 5-9, 2017}, publisher = {{IEEE}}, year = {2017}, url = {https://ieeexplore.ieee.org/xpl/conhome/7866667/proceeding}, isbn = {978-1-5090-3758-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/isscc/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/siggrapha/2017posters, editor = {Diego Gutierrez and Hui Huang}, title = {{SIGGRAPH} Asia 2017 Posters, Bangkok, Thailand, November 27 - 30, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3145690}, doi = {10.1145/3145690}, isbn = {978-1-4503-5405-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/siggrapha/2017posters.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/biostec/2016bd, editor = {James P. Gilbert and Haim Azhari and Hesham H. Ali and Carla Quint{\~{a}}o and Jan Sliwa and Carolina Ruiz and Ana L. N. Fred and Hugo Gamboa}, title = {Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 1: BIODEVICES, Rome, Italy, February 21-23, 2016}, publisher = {SciTePress}, year = {2016}, isbn = {978-989-758-170-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/biostec/2016bd.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/embc/2016, title = {38th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August 16-20, 2016}, publisher = {{IEEE}}, year = {2016}, url = {https://ieeexplore.ieee.org/xpl/conhome/7580725/proceeding}, isbn = {978-1-4577-0220-4}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/embc/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hci/2016-8, editor = {Margherita Antona and Constantine Stephanidis}, title = {Universal Access in Human-Computer Interaction. Interaction Techniques and Environments - 10th International Conference, {UAHCI} 2016, Held as Part of {HCI} International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9738}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40244-4}, doi = {10.1007/978-3-319-40244-4}, isbn = {978-3-319-40243-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/hci/2016-8.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalt/2016, editor = {J. Michael Spector and Chin{-}Chung Tsai and Demetrios G. Sampson and Kinshuk and Ronghuai Huang and Nian{-}Shing Chen and Paul E. Resta}, title = {16th {IEEE} International Conference on Advanced Learning Technologies, {ICALT} 2016, Austin, TX, USA, July 25-28, 2016}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://ieeexplore.ieee.org/xpl/conhome/7756054/proceeding}, isbn = {978-1-4673-9041-5}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icalt/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2016, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2884781}, doi = {10.1145/2884781}, isbn = {978-1-4503-3900-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icse/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2016, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9}, doi = {10.1007/978-3-662-49674-9}, isbn = {978-3-662-49673-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isscc/2015, title = {2015 {IEEE} International Solid-State Circuits Conference, {ISSCC} 2015, Digest of Technical Papers, San Francisco, CA, USA, February 22-26, 2015}, publisher = {{IEEE}}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7054075/proceeding}, isbn = {978-1-4799-6223-5}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/isscc/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2015, editor = {Christel Baier and Cesare Tinelli}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0}, doi = {10.1007/978-3-662-46681-0}, isbn = {978-3-662-46680-3}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bhi/2014, title = {Proceedings of {IEEE-EMBS} International Conference on Biomedical and Health Informatics, {BHI} 2014, Valencia, Spain, June 1-4, 2014}, publisher = {{IEEE}}, year = {2014}, url = {https://ieeexplore.ieee.org/xpl/conhome/6853543/proceeding}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/bhi/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ccs/2014, editor = {Gail{-}Joon Ahn and Moti Yung and Ninghui Li}, title = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014}, publisher = {{ACM}}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2660267}, isbn = {978-1-4503-2957-6}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ccs/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/infocom/2014, title = {2014 {IEEE} Conference on Computer Communications, {INFOCOM} 2014, Toronto, Canada, April 27 - May 2, 2014}, publisher = {{IEEE}}, year = {2014}, url = {https://ieeexplore.ieee.org/xpl/conhome/6839150/proceeding}, isbn = {978-14799-3360-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/infocom/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iscas/2014, title = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014, Melbourne, Victoria, Australia, June 1-5, 2014}, publisher = {{IEEE}}, year = {2014}, url = {https://ieeexplore.ieee.org/xpl/conhome/6852006/proceeding}, isbn = {978-1-4799-3431-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/iscas/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas/2014, editor = {Markus M{\"{u}}ller{-}Olm and Helmut Seidl}, title = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich, Germany, September 11-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8723}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10936-7}, doi = {10.1007/978-3-319-10936-7}, isbn = {978-3-319-10935-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/sas/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/smc/2014, title = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2014, San Diego, CA, USA, October 5-8, 2014}, publisher = {{IEEE}}, year = {2014}, url = {https://ieeexplore.ieee.org/xpl/conhome/6960119/proceeding}, isbn = {978-1-4799-3840-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/smc/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2013, editor = {Natasha Sharygina and Helmut Veith}, title = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8}, doi = {10.1007/978-3-642-39799-8}, isbn = {978-3-642-39798-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cav/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esscirc/2013, title = {{ESSCIRC} 2013 - Proceedings of the 39th European Solid-State Circuits Conference, Bucharest, Romania, September 16-20, 2013}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ESSCIRC18606.2013}, doi = {10.1109/ESSCIRC18606.2013}, isbn = {978-1-4799-0643-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/esscirc/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iscas/2012, title = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS} 2012, Seoul, Korea (South), May 20-23, 2012}, publisher = {{IEEE}}, year = {2012}, url = {https://ieeexplore.ieee.org/xpl/conhome/6257548/proceeding}, isbn = {978-1-4673-0218-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/iscas/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vlsi-dat/2012, title = {Proceedings of Technical Program of 2012 {VLSI} Design, Automation and Test, {VLSI-DAT} 2012, Hsinchu, Taiwan, April 23-25, 2012}, publisher = {{IEEE}}, year = {2012}, url = {https://ieeexplore.ieee.org/xpl/conhome/6204369/proceeding}, isbn = {978-1-4577-2080-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/vlsi-dat/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ecctd/2011, title = {20th European Conference on Circuit Theory and Design, {ECCTD} 2011, Linkoping, Sweden, Aug. 29-31, 2011}, publisher = {{IEEE}}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/6033674/proceeding}, isbn = {978-1-4577-0617-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ecctd/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/embc/2011, title = {33rd Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August 30 - Sept. 3, 2011}, publisher = {{IEEE}}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/6067544/proceeding}, isbn = {978-1-4244-4121-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/embc/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isocc/2011, title = {International SoC Design Conference, {ISOCC} 2011, Jeju, South Korea, November 17-18, 2011}, publisher = {{IEEE}}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/6126155/proceeding}, isbn = {978-1-4577-0709-4}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/isocc/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isscc/2011, title = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2011, Digest of Technical Papers, San Francisco, CA, USA, 20-24 February, 2011}, publisher = {{IEEE}}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/5740653/proceeding}, isbn = {978-1-61284-303-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/isscc/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2011, editor = {Parosh Aziz Abdulla and K. Rustan M. Leino}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, {TACAS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19835-9}, doi = {10.1007/978-3-642-19835-9}, isbn = {978-3-642-19834-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2010, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6}, doi = {10.1007/978-3-642-14295-6}, isbn = {978-3-642-14294-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cav/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cicc/2010, editor = {Jacqueline Snyder and Rakesh Patel and Tom Andre}, title = {{IEEE} Custom Integrated Circuits Conference, {CICC} 2010, San Jose, California, USA, 19-22 September, 2010, Proceedings}, publisher = {{IEEE}}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5605059/proceeding}, isbn = {978-1-4244-5758-8}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cicc/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isola/2010-1, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0}, doi = {10.1007/978-3-642-16558-0}, isbn = {978-3-642-16557-3}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/isola/2010-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nems/2010, title = {5th {IEEE} International Conference on Nano/Micro Engineered and Molecular Systems, {NEMS} 2010, Xiamen, China, January 20-23, 2010}, publisher = {{IEEE}}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5583931/proceeding}, isbn = {978-1-4244-6543-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/nems/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2010, editor = {Manuel V. Hermenegildo and Jens Palsberg}, title = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23, 2010}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1706299}, doi = {10.1145/1706299}, isbn = {978-1-60558-479-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/popl/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wia/2010, editor = {Michael Domaratzki and Kai Salomaa}, title = {Implementation and Application of Automata - 15th International Conference, {CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6482}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18098-9}, doi = {10.1007/978-3-642-18098-9}, isbn = {978-3-642-18097-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/wia/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/tedu/2009-2, editor = {Zhigeng Pan and Adrian David Cheok and Wolfgang M{\"{u}}ller and Abdennour El Rhalibi}, title = {Transactions on Edutainment {II}}, series = {Lecture Notes in Computer Science}, volume = {5660}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03270-7}, doi = {10.1007/978-3-642-03270-7}, isbn = {978-3-642-03269-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/journals/tedu/2009-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hci/2009-3, editor = {Julie A. Jacko}, title = {Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction, 13th International Conference, {HCI} International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {5612}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02580-8}, doi = {10.1007/978-3-642-02580-8}, isbn = {978-3-642-02579-2}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/hci/2009-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/socc/2009, title = {Annual {IEEE} International SoC Conference, SoCC 2009, September 9-11, 2009, Belfast, Northern Ireland, UK, Proceedings}, publisher = {{IEEE}}, year = {2009}, url = {https://ieeexplore.ieee.org/xpl/conhome/5379508/proceeding}, isbn = {978-1-4244-4940-8}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/socc/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aina/2008w, title = {22nd International Conference on Advanced Information Networking and Applications, {AINA} 2008, Workshops Proceedings, GinoWan, Okinawa, Japan, March 25-28, 2008}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4482830/proceeding}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/aina/2008w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2008, editor = {Aarti Gupta and Sharad Malik}, title = {Computer Aided Verification, 20th International Conference, {CAV} 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5123}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70545-1}, doi = {10.1007/978-3-540-70545-1}, isbn = {978-3-540-70543-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cav/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gpc/2008w, title = {Workshops at the Grid and Pervasive Computing Conference, {GPC} 2008, Kunming, China, May 25-28, 2008}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4539298/proceeding}, isbn = {978-0-7695-3177-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/gpc/2008w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ispan/2008, title = {9th International Symposium on Parallel Architectures, Algorithms, and Networks, {ISPAN} 2008, 7-9 May 2008, Sydney, NSW, Australia}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4520175/proceeding}, isbn = {978-0-7695-3125-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ispan/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2008, editor = {C. R. Ramakrishnan and Jakob Rehof}, title = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78800-3}, doi = {10.1007/978-3-540-78800-3}, isbn = {978-3-540-78799-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aina/2007w1, title = {21st International Conference on Advanced Information Networking and Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4221006}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/aina/2007w1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ccnc/2007, title = {4th {IEEE} Consumer Communications and Networking Conference, {CCNC} 2007, Las Vegas, NV, USA, January 11-13, 2007}, publisher = {{IEEE}}, year = {2007}, url = {https://ieeexplore.ieee.org/xpl/conhome/4199087/proceeding}, isbn = {1-4244-0667-6}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/ccnc/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/healthgrid/2007, editor = {Nicolas Jacq and Henning M{\"{u}}ller and Ignacio Blanquer and Yannick Legr{\'{e}} and Vincent Breton and Dominique Hausser and Vicente Hern{\'{a}}ndez and Tony Solomonides and Martin Hofmann{-}Apitius}, title = {From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences - Proceedings of HealthGrid 2007, Geneva, Switzerland, April 24-27, 2007}, series = {Studies in Health Technology and Informatics}, volume = {126}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5541}, isbn = {978-1-58603-738-3}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/healthgrid/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2007, editor = {Orna Grumberg and Michael Huth}, title = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4424}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71209-1}, doi = {10.1007/978-3-540-71209-1}, isbn = {978-3-540-71208-4}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asian/2006, editor = {Mitsu Okada and Ichiro Satoh}, title = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4435}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77505-8}, doi = {10.1007/978-3-540-77505-8}, isbn = {978-3-540-77504-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/asian/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cgi/2006, editor = {Tomoyuki Nishita and Qunsheng Peng and Hans{-}Peter Seidel}, title = {Advances in Computer Graphics, 24th Computer Graphics International Conference, {CGI} 2006, Hangzhou, China, June 26-28, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4035}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11784203}, doi = {10.1007/11784203}, isbn = {3-540-35638-X}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/cgi/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iccsa/2006-1, editor = {Marina L. Gavrilova and Osvaldo Gervasi and Vipin Kumar and Chih Jeng Kenneth Tan and David Taniar and Antonio Lagan{\`{a}} and Youngsong Mun and Hyunseung Choo}, title = {Computational Science and Its Applications - {ICCSA} 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {3980}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11751540}, doi = {10.1007/11751540}, isbn = {3-540-34070-X}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/iccsa/2006-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icdcsw/2006, title = {26th International Conference on Distributed Computing Systems Workshops {(ICDCS} 2006 Workshops), 4-7 July 2006, Lisboa, Portugal}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://ieeexplore.ieee.org/xpl/conhome/10968/proceeding}, isbn = {0-7695-2541-5}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icdcsw/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icoin/2006, editor = {Ilyoung Chong and Kenji Kawahara}, title = {Information Networking, Advances in Data Communications and Wireless Networks, International Conference, {ICOIN} 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3961}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11919568}, doi = {10.1007/11919568}, isbn = {3-540-48563-5}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icoin/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wsc/2006, editor = {L. Felipe Perrone and Barry Lawson and Jason Liu and Frederick P. Wieland}, title = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey, California, USA, December 3-6, 2006}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://ieeexplore.ieee.org/xpl/conhome/4117569/proceeding}, isbn = {1-4244-0501-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/wsc/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aina/2005, title = {19th International Conference on Advanced Information Networking and Applications {(AINA} 2005), 28-30 March 2005, Taipei, Taiwan}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://ieeexplore.ieee.org/xpl/conhome/9746/proceeding}, isbn = {0-7695-2249-1}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/aina/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wimob/2005-3, title = {2005 {IEEE} International Conference on Wireless And Mobile Computing, Networking And Communications, WiMob 2005, Montreal, Canada, August 22-14, 2005, Volume 3}, publisher = {{IEEE}}, year = {2005}, url = {https://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=32398}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/wimob/2005-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bibe/2004, title = {4th {IEEE} International Symposium on BioInformatics and BioEngineering {(BIBE} 2004), 19-21 March 2004, Taichung, Taiwan}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://ieeexplore.ieee.org/xpl/conhome/9200/proceeding}, isbn = {0-7695-2173-8}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/bibe/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/infocom/2004, title = {Proceedings {IEEE} {INFOCOM} 2004, The 23rd Annual Joint Conference of the {IEEE} Computer and Communications Societies, Hong Kong, China, March 7-11, 2004}, publisher = {{IEEE}}, year = {2004}, url = {https://ieeexplore.ieee.org/xpl/conhome/9369/proceeding}, isbn = {0-7803-8355-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/infocom/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pacis/2004, title = {Pacific Asia Conference on Information Systems, {PACIS} 2004, Shanghai, China, July 8-11, 2004}, publisher = {AISeL}, year = {2004}, url = {http://aisel.aisnet.org/pacis2004/}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/pacis/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/smc/2004, title = {Proceedings of the {IEEE} International Conference on Systems, Man {\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004}, publisher = {{IEEE}}, year = {2004}, isbn = {0-7803-8566-7}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/smc/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icpp/2003, title = {32nd International Conference on Parallel Processing {(ICPP} 2003), 6-9 October 2003, Kaohsiung, Taiwan}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://ieeexplore.ieee.org/xpl/conhome/8782/proceeding}, isbn = {0-7695-2017-0}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/icpp/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/globecom/2001, title = {Proceedings of the Global Telecommunications Conference, 2001. {GLOBECOM} '01, San Antonio, TX, USA, 25-29 November, 2001}, publisher = {{IEEE}}, year = {2001}, url = {https://ieeexplore.ieee.org/xpl/conhome/7633/proceeding}, isbn = {0-7803-7206-9}, timestamp = {Mon, 09 Sep 2024 02:03:19 +0200}, biburl = {https://dblp.org/rec/conf/globecom/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.