Jin-Young Choi

122 papers A 4B 11C 11Misc 2Journal 54Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Enhanced Computational Efficiency and Accuracy of Discrete-Time PID-DPWM Equation. IEEE Access Eungnam Kim, Jin-Young Choi
2025	J	`jnl`	Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+. IEEE Access Seongho Yoon, Jin-Young Choi
2025	J	`jnl`	Tunable High-Selectivity Wideband Bandpass Filter Using Triple-Mode Stub-Loaded Resonators Based on Liquid Crystals. IEEE Access Jin-Young Choi, Junseok Ma, Wooksung Kim
2024	J	`jnl`	A Novel Scheme for Generating Context-Aware Images Using Generative Artificial Intelligence. IEEE Access Hyunjo Kim, Jae-Ho Choi, Jin-Young Choi
2024	J	`jnl`	A Novel Scheme for Managing Multiple Context Transitions While Ensuring Consistency in Text-to-Image Generative Artificial Intelligence. IEEE Access Hyunjo Kim, Jae-Ho Choi, Jin-Young Choi
2024	J	`jnl`	Human Joint Angle Estimation Using Deep Learning-Based Three-Dimensional Human Pose Estimation for Application in a Real Environment. Sensors Jin-Young Choi, Eunju Ha, Minji Son, Jean-Hong Jeon, Jong-Wook Kim
2024	J	`jnl`	Propagation and Masking Characteristics of Errors During Software Testing in Synchronous Programming. IEEE Access Young-Mi Kim, Jin-Young Choi, Seunghoon Yoo, Myunghwan Park
2023	—	`conf`	Security Attacks Against the Availability of Low Earth Orbit Satellite Networks. ICNCC Seongho Yoon, Miyoung Kang, Jin-Young Choi
2022	—	`conf`	Formal Modeling of Smart Contract-based Trading System. ICACT Woong-Sub Park, Hyuk Lee, Jin-Young Choi
2022	—	`conf`	Is a False Positive really False Positive? ICACT Hong Jun Choi, Hyuk Lee, Jin-Young Choi
2021	J	`jnl`	Computerized Assessment of Occlusion and Muscle Activity during Use of a Multilayer Clear Retainer: A Preliminary Study. Sensors Kyoung Yeon Kim, Jin-Young Choi, Song Hee Oh, Hyung-Wook Moon, Seong-hun Kim, Hyo-Won Ahn, Kyung A. Kim, Gerald Nelson
2021	J	`jnl`	Detection of Dental Caries and Cracks with Quantitative Light-Induced Fluorescence in Comparison to Radiographic and Visual Examination: A Retrospective Case Study. Sensors Song Hee Oh, Sae Rom Lee, Jin-Young Choi, Yong Suk Choi, Seong-hun Kim, Hong Cheol Yoon, Gerald Nelson
2021	J	`jnl`	Effect of Different Head Hole Position on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors Jin-Young Choi, Min-Jung Kim, Seong-hun Kim, Kyu-Rhim Chung, Gerald Nelson
2021	J	`jnl`	Effect of Different Surface Designs on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors Jin-Young Choi, Jaehee Cho, Song Hee Oh, Seong-hun Kim, Kyu-Rhim Chung, Gerald Nelson
2021	J	`jnl`	Evaluation of Periodontal Risk Factors with Quantitative Light-Induced Fluorescence Based Fluorescent Plaque Index, in Comparison to Radiographic and Oral Health Habit Scoring: A Retrospective Case Study. Sensors Song Hee Oh, Jin-Young Choi, Sae Rom Lee, Seong-hun Kim
2021	—	`conf`	Formal Modeling of Smart Contract-based Trading System. ICACT Woong-Sub Park, Hyuk Lee, Jin-Young Choi
2021	—	`conf`	Is a False Positive really False Positive? ICACT Hong Jun Choi, Hyuk Lee, Jin-Young Choi
2021	J	`jnl`	Three-Dimensional Digital Superimposition of Orthodontic Bracket Position by Using a Computer-Aided Transfer Jig System: An Accuracy Analysis. Sensors Jae-Hyun Park, Jin-Young Choi, Song Hee Oh, Seong-hun Kim
2020	—	`conf`	Analysis of software weakness detection of CBMC based on CWE. ICACT Minjae Byun, Yongjun Lee, Jin-Young Choi
2020	J	`jnl`	Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems. IEEE Access Hyuk Lee, Jin-Young Choi
2020	J	`jnl`	Hierarchical Anomaly Detection Model for In-Vehicle Networks Using Machine Learning Algorithms. Sensors Seunghyun Park, Jin-Young Choi
2020	J	`jnl`	Medical Device Safety Management Using Cybersecurity Risk Analysis. IEEE Access Dong-Won Kim, Jin-Young Choi, Keun-Hee Han
2020	J	`jnl`	Risk management-based security evaluation model for telemedicine systems. BMC Medical Informatics Decis. Mak. Dong-Won Kim, Jin-Young Choi, Keun-Hee Han
2019	Misc	`conf`	Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers. TRIDENTCOM Miyoung Kang, Jin-Young Choi
2019	—	`conf`	Risk and avoidance strategy for blocking mechanism of SDN-based security service. ICACT Minjae Byun, Yongjun Lee, Jin-Young Choi
2018	J	`jnl`	Advanced Power Sharing Method to Improve the Energy Efficiency of Multiple Battery Energy Storages System. IEEE Trans. Smart Grid Jin-Young Choi, In-Sun Choi, Geon-Ho Ahn, Dong-Jun Won
2018	J	`jnl`	Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation. IEICE Trans. Inf. Syst. Young-Su Jang, Jin-Young Choi
2018	J	`jnl`	Constraint Solving Approach to Schedulability Analysis in Real-Time Systems. IEEE Access Hyuk Lee, Jin-Young Choi
2018	J	`jnl`	Reliable Approximated Number System with Exact Bounds and Three-Valued Logic. Comput. Syst. Sci. Eng. Reeseo Cha, Wonhong Nam, Jin-Young Choi
2017	J	`jnl`	A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
2017	J	`jnl`	Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems. J. Commun. Joon-Ha Jang, Jin-Young Choi
2017	B	`conf`	MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis
2016	J	`jnl`	A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin
2016	J	`jnl`	Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi
2016	J	`jnl`	Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2015	J	`jnl`	Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. JinHyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang
2015	—	`conf`	Verification for NFV-enabled network services. ICTC Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi
2014	—	`conf`	Cooperative control between the distributed energy resources in AC/DC hybrid microgrid. ISGT Sung-Hwan Park, Jin-Young Choi, Dong-Jun Won
2014	J	`jnl`	Detecting SQL injection attacks using query result size. Comput. Secur. Young-Su Jang, Jin-Young Choi
2014	J	`jnl`	Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks. Computer Youngjung Ahn, Yongsuk Lee, Jin-Young Choi, Gyungho Lee, Dongkyun Ahn
2014	—	`conf`	The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE Mijeong Park, Miyoung Kang, Jin-Young Choi
2014	J	`jnl`	Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. J. Res. Pract. Inf. Technol. Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi
2013	J	`jnl`	Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. J. Univers. Comput. Sci. Hyun-seok Min, Sang-Mun Chung, Jin-Young Choi
2013	A	`conf`	Formal Modeling and Verification of SDN-OpenFlow. ICST Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi
2012	—	`conf`	Formal specifications for software-defined networking. CFI Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi
2012	—	`conf`	Process Algebraic Specification of Software Defined Networks. CICSyN Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin
2012	J	`jnl`	Secure communication in IPTV broadcasting. J. Supercomput. Song-Hee Lee, Nam-Sup Park, Jin-Young Choi
2011	J	`jnl`	Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2011	J	`jnl`	Improved User Authentication Scheme with User Anonymity for Wireless Communications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi
2010	—	`conf`	A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
2010	—	`conf`	Modeling autonomous military robots using hybrid system framework. ICTC Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Wontae Kim, Seung-Min Park
2010	C	`conf`	Security analysis of smart card based password authentication schemes. ICIS Hyun-Seok Kim, Suk Seo, Jin-Young Choi
2010	J	`jnl`	Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
2010	J	`jnl`	UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2009	—	`conf`	An Energy Efficient Concentric Clustering Scheme in Wireless Sensor Networks. NCM Min-Woo Park, Jin-Young Choi, Young-Ju Han, Tai-Myoung Chung
2009	—	`conf`	Cryptanalysis of Secure Key Exchange Protocol between STB and Smart Card in IPTV Broadcasting. ISA Song-Hee Lee, Nam-Sup Park, Soo-Kyun Kim, Jin-Young Choi
2009	J	`jnl`	Enhanced password-based simple three-party key exchange protocol. Comput. Electr. Eng. Hyun Seok Kim, Jin-Young Choi
2009	J	`jnl`	Ensuring Sound Numerical Simulation of Hybrid Automata. J. Comput. Sci. Eng. Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi
2009	J	`jnl`	Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee
2008	—	`conf`	A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi
2008	B	`conf`	A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN Hyun Seok Kim, Jin-Young Choi
2008	B	`ed.`	Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ATVA Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
2008	—	`conf`	Designing Fingerprint-Recognition-Based Access Control for Electronic Medical Records Systems. AINA Workshops YongNyuo Shin, Yongjun Lee, Woochang Shin, Jin-Young Choi
2008	C	`conf`	Extended Concentric-Clustering Routing Scheme Adapted to Various Environments of Sensor Networks. APNOMS Jin-Young Choi, Sung-Min Jung, Young-Ju Han, Tai-Myoung Chung
2008	—	`conf`	Formal Verification of Cryptographic Protocol for Secure RFID System. NCM (2) Hyun Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong, Jin-Young Choi
2008	J	`jnl`	Secure Handover Protocol for Mobile WiMAX Networks. IEICE Trans. Inf. Syst. Song-Hee Lee, Nam-Sup Park, Jin-Young Choi
2008	C	`conf`	Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC Hyun Seok Kim, Seok Seo, Jin-Young Choi
2007	—	`conf`	A Light-weight Security Protocol for RFID System. PWC Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi
2007	C	`conf`	A Secure Communication Protocol for Low-Cost RFID System. CIT Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi
2007	—	`conf`	Embedded System Modeling Based on Resource-Oriented Model. ECBS Jin Hyun Kim, Jin-Young Choi
2007	—	`conf`	Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi
2007	—	`conf`	Performance Evaluation Model for the Face Recognition System. FBIT YongNyuo Shin, Jason Kim, Yongjun Lee, Woochang Shin, Jin-Young Choi
2007	—	`conf`	RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi
2007	—	`conf`	Resource-Oriented Design Framework for Embedded System Components. FACS Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
2007	B	`conf`	Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN Hyun Seok Kim, Jin-Young Choi
2007	—	`conf`	The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops Hyun Seok Kim, Jin-Young Choi
2006	—	`conf`	A Medium Access Control Scheme for Providing Reliability in Wireless WASA Song-Hee Lee, Jin-Young Choi
2006	J	`jnl`	Formal Verification of Security Model Using SPR Tool. Comput. Artif. Intell. Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
2006	—	`conf`	Secrecy Analysis of Purchase Transaction in Electronic Purses. AINA (1) Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang
2006	—	`conf`	Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. COMPSAC (2) Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi
2006	C	`conf`	Security and Privacy Analysis of RFID Systems Using Model Checking. HPCC Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi
2006	C	`conf`	The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. CIT Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim
2006	J	`jnl`	Threat Evaluation Method for Distributed Network Environment. J. Inf. Sci. Eng. Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Jin-Young Choi, Sang-Hun Jeon
2006	—	`conf`	Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach. Software Engineering Research and Practice Chang-Jin Kim, Jin-Young Choi
2005	J	`jnl`	A Video Streaming System for Mobile Phones: Practice and Experience. Wirel. Networks Hojung Cha, Jongmin Lee, Jongho Nang, Sungyong Park, Jin-Hwan Jeong, Chuck Yoo, Jin-Young Choi
2005	—	`conf`	Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. ICDCS Workshops Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi
2005	B	`conf`	Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi
2005	J	`jnl`	Exploiting NIC architectural support for enhancing IP-based protocols on high-performance networks. J. Parallel Distributed Comput. Hyun-Wook Jin, Pavan Balaji, Chuck Yoo, Jin-Young Choi, Dhabaleswar K. Panda
2005	J	`jnl`	Model Checking of RADIUS Protocol in Wireless Networks. IEICE Trans. Commun. Il-Gon Kim, Jin-Young Choi
2005	—	`conf`	Model-Based Analysis of Money Accountability in Electronic Purses. WINE Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi
2005	J	`jnl`	System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia) Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi
2004	J	`jnl`	Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. Hee-jun Yoo, Mino Bai, Jin-Young Choi
2004	B	`conf`	Development of RTOS for PLC Using Formal Methods. ATVA Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi
2004	C	`conf`	FDR verification of ESANP protocol in Ad hoc Network. SNPD Young Ah Ahn, Jin-Young Choi
2004	C	`conf`	Formal Specification and Verification of Embedded System with Shared Resources. IEEE International Workshop on Rapid System Prototyping Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang
2004	—	`conf`	Formal Specification of Business Rules using Z. CCCT (1) Hee-jun Yoo, Jin-Young Choi, Mino Bai
2004	—	`conf`	Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) Il-Gon Kim, Jin-Young Choi
2004	—	`conf`	New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS Il-Gon Kim, Jin-Young Choi
2004	—	`conf`	Sound Code Generation from Communicating Hybrid Models. HSCC Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi
2003	J	`jnl`	Firmware-Level Latency Analysis on a Gigabit Network. J. Supercomput. Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi
2003	B	`conf`	Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT Sung-Jae Kim, Jin-Young Choi
2003	B	`conf`	Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT Hee-jun Yoo, Jin-Young Choi
2003	—	`conf`	SSR : Statechart with shared resources. HCC Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi
2002	—	`conf`	Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. SPIN Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha
2001	C	`conf`	A Family of Resource-Bound Real-Time Process Algebras. FORTE Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
2001	Misc	`conf`	A visual component based tool for developing embedded application software. HCI Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo
2001	J	`jnl`	Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. Ki-Seok Bang, Jin-Young Choi, Chuck Yoo
2001	C	`conf`	Distributed Test using Logical Clock. FORTE Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo
2000	—	`conf`	A Framework for Embedded Real-Time System Design. IPDPS Workshops Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
2000	C	`conf`	Equivalence Checking of Two Statechart Specifications. IEEE International Workshop on Rapid System Prototyping Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang
2000	B	`conf`	Second-order multilayer perceptrons and its optimization with genetic algorithms. CEC Min Woong Hwang, Mun Hyuk Kim, Jin-Young Choi
1998	J	`jnl`	A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie
1998	A	`conf`	Symbolic Schedulability Analysis of Real-Time Systems. RTSS Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
1997	J	`jnl`	A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee
1997	B	`conf`	Specification and verification of real-time systems using ACSR-VP. RTCSA Sung-Mook Lim, Jin-Young Choi
1997	B	`conf`	The Design and Evaluation of Policy-Controllable Buffer Cache. ICPADS Chul-Jin Ahn, Seong-Uk Choi, Myong-Soon Park, Jin-Young Choi
1996	—	`conf`	Evolutionary Learning Algorithm for Projection Neural Networks. SEAL Min Woong Hwang, Jin-Young Choi
1995	A	`conf`	A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi
1995	J	`jnl`	Partially trained neural networks with self-localizing capability for function approximations. Neural Parallel Sci. Comput. Jin-Young Choi, Chong-Ho Choi
1995	A	`conf`	The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS Jin-Young Choi, Insup Lee, Hong-liang Xie
1994	J	`jnl`	Constructive neural networks with piecewise interpolation capabilities for function approximations. IEEE Trans. Neural Networks Chong-Ho Choi, Jin-Young Choi
1992	J	`jnl`	Sensitivity analysis of multilayer perceptron with differentiable activation functions. IEEE Trans. Neural Networks Jin-Young Choi, Chong-Ho Choi