default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHsin-Hung Lin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Kai-Chun Hou
, Chi-Hsiung Chen, Ching-Hsien Hsu, Hsin-Hung Lin:
Exploring Virtual Collaboration Platforms for Product Design Courses: A Preliminary Evaluation Study. ICITL (2) 2024: 124-133- 2021
- [j9]Wei-Hau Chang, Shih-Hsin Huang, Hsin-Hung Lin, Szu-Chi Chung, I-Ping Tu:
Cryo-EM Analyses Permit Visualization of Structural Polymorphism of Biological Macromolecules. Frontiers Bioinform. 1 (2021) - [j8]Yu-Chun Chen, Chih-Chien Tsai, Yi-Chao Wu, An-Hsiang Wang, Chieh-Ju Wang, Hsin-Hung Lin, Dan-Rong Chen, Yi-Chiang Yu:
Evaluation of Operational Monsoon Moisture Surveillance and Severe Weather Prediction Utilizing COSMIC-2/FORMOSAT-7 Radio Occultation Observations. Remote. Sens. 13(15): 2979 (2021) - [c33]Chien-Hao Tseng, Meng-Wei Lin, Jyh-Horng Wu, Chia-Chien Hsieh, Hsin-Hung Lin:
Application of People Flow and Face Mask Detection for Smart Anti-Epidemic. ISPACS 2021: 1-2 - 2020
- [j7]Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin:
Model checking of in-vehicle networking systems with CAN and FlexRay. J. Syst. Softw. 161 (2020) - [j6]Hsin-Hung Lin, Jui-Hung Cheng, Chi-Hsiung Chen:
Application of Gray Relational Analysis and Computational Fluid Dynamics to the Statistical Techniques of Product Designs. Symmetry 12(2): 227 (2020) - [c32]Hsin-Hung Lin, Jui-Hung Cheng:
Application of Fuzzy Decision Model Selection of Product in Human Factors Design. HCI (28) 2020: 101-112 - [c31]Jui-Hung Cheng, Hsin-Hung Lin:
Development and Technical Experience of Plastic Injection Machine for STEAM Education. HCI (3) 2020: 215-230 - [c30]Jui-Hung Cheng, Hsin-Hung Lin, Jia-Hong Shen, Bai-Chau Chen, Zih-Ling He:
IoT Training System for Smart Manufacturing Education. ICKII 2020: 182-184 - [c29]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu:
Efficient handling of string-number conversion. PLDI 2020: 943-957 - [c28]Wen-Jet Wang, Chia-Jung Chen, Chien-Yu Lai, Chia-Ming Lee, Hsin-Hung Lin:
A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach. ROCLING 2020: 208-222
2010 – 2019
- 2019
- [j5]Hsin-Hung Lin, Jui-Hung Cheng:
Application of the Symmetric Model to the Design Optimization of Fan Outlet Grills. Symmetry 11(8): 959 (2019) - [c27]Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu:
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS 2019: 357-366 - [c26]Jui-Hung Cheng, Hsin-Hung Lin, Chin-Chen Yen:
Effects of Expandable Optical Design for LED Lighting Products. ICKII 2019: 354-357 - [c25]Jui-Hung Cheng, Hsin-Hung Lin, Chin-Chen Yen:
The Spotlight Effects of LED Lighting Design for Deep Aquarium Tanks. ICKII 2019: 358-361 - 2018
- [c24]Hsin-Hung Lin, Ya-Yu Huang:
Application of ergonomics to the design of suction fans. ICKII 2018: 203-206 - [c23]Hsin-Hung Lin, Jui-Hung Cheng:
Creativity is designed to be researched in grey relational. ICKII 2018: 290-293 - 2017
- [c22]Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba:
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. APSEC 2017: 140-149 - [c21]Hsin-Hung Lin, Bow-Yaw Wang:
Releasing VDM proof obligations with SMT solvers. MEMOCODE 2017: 132-135 - 2016
- [j4]Shih-Wen Hsiao, Hsin-Hung Lin, Chi-Hung Lo, Ya-Chuan Ko:
Automobile shape formation and simulation by a computer-aided systematic method. Concurr. Eng. Res. Appl. 24(3): 290-301 (2016) - 2015
- [c20]Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki:
Towards Verifying VDM Using SPIN. FTSCS 2015: 241-256 - [c19]Shu-Hui Hung, Hsin-Hung Lin, Chin-Shian Wong, Ian Kuo, James Pang:
An Inhaler Dose Recording Service Designed for Patients Who Need Chronic Respiratory Disease Control. IoT 360 (1) 2015: 530-535 - [c18]Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Visualizing centrality of process area networks in CMMI-DEV. ICSSP 2015: 173-174 - 2014
- [c17]Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang:
Verifying Curve25519 Software. CCS 2014: 299-309 - [c16]Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. FormaliSE 2014: 24-30 - [c15]Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Requirements Development of Energy Management System for a Unit in Smart Campus. IIAI-AAI 2014: 405-410 - [c14]Hsin-Hung Lin, Yves Lepage:
Testing Distributional Hypothesis in Patent Translation. ROCLING 2014 - 2013
- [c13]Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsian Wang:
A Web-based Service for Patients in Taiwan with Chronic Kidney Disease. AMIA 2013 - [c12]Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake:
SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) 2013: 307-314 - [c11]Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki:
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. FTSCS 2013: 36-53 - [c10]Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsien Wang, Peng-Hsiang Hung:
Designing mobile support care for patients with chronic kidney disease. ICCE-Berlin 2013: 1-4 - [c9]Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin:
An Approach for Checking OSEK/VDX Applications. QSIC 2013: 113-116 - 2012
- [j3]Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama:
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Trans. Inf. Syst. 95-D(7): 1882-1893 (2012) - [j2]Chin-Hsien Wu, Hsin-Hung Lin:
Timing Analysis of System Initialization and Crash Recovery for a Segment-Based Flash Translation Layer. ACM Trans. Design Autom. Electr. Syst. 17(2): 14:1-14:21 (2012) - 2011
- [c8]Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama:
Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS 2011: 130-139 - 2010
- [j1]Chin-Hsien Wu, Hsin-Hung Lin, Tei-Wei Kuo:
An Adaptive Flash Translation Layer for High-Performance Storage Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(6): 953-965 (2010) - [c7]Chang-Ming Yang, Ching-Wen Yang, Shu-Hui Hung, Chin-Hsian Wang, Hsin-Hung Lin, Wai-Chi Fang, Wei-Chin Huang, Yueh-Ming Huang:
An innovative breathing game applied with textile sensors. ICE-GIC 2010: 36-41 - [c6]Kei-Chen Tung, Jonathan Chun-Hsien Lu, Hsin-Hung Lin:
A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks. ICCCI (3) 2010: 387-397 - [c5]Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama:
Non-regular Adaptation of Services Using Model Checking. ISORC 2010: 170-174
2000 – 2009
- 2009
- [c4]Shu-Hui Hung, Chin-Hsian Wang, Hsin-Hung Lin, Jen-Hsian Cheng, Chang-Ming Yang, Jer-Nan Juang:
An Introduction to the Bike-riders' Safety Ride-free Platform. BIOCOMP 2009: 616-619 - 2007
- [c3]Shu-Hui Hung, Huan Chin Tseng, Wen Ho Tsai, Hsin-Hung Lin, Jen Hsien Cheng, Yi-Ming Chang:
Care for Asthma via Mobile Phone (CAMP). HealthGrid 2007: 137-143 - [c2]Hsin-Hung Lin, Jin-Jang Leou, Shyi-Shiun Kuo:
A New Motion-Tolerant Dissolve Detection Algorithm for Video Content Analysis. IPCV 2007: 427-431 - 2003
- [c1]Hsin-Hung Lin, Chih-wen Hsueh, Chung-hung Chen:
A Real-Time Scheduling Approach for a Web-Based Rapid Prototyping Manufacturing Platform. ICDCS Workshops 2003: 42-47
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
