


Остановите войну!
for scientists:
Jin-Young Choi
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c62]Woong-Sub Park, Hyuk Lee, Jin-Young Choi:
Formal Modeling of Smart Contract-based Trading System. ICACT 2022: 48-52 - [c61]Hong Jun Choi, Hyuk Lee, Jin-Young Choi:
Is a False Positive really False Positive? ICACT 2022: 145-149 - 2021
- [j47]Kyoung Yeon Kim, Jin-Young Choi
, Song Hee Oh
, Hyung-Wook Moon, Seong-Hun Kim
, Hyo-Won Ahn, Kyung A. Kim, Gerald Nelson:
Computerized Assessment of Occlusion and Muscle Activity during Use of a Multilayer Clear Retainer: A Preliminary Study. Sensors 21(2): 541 (2021) - [j46]Song Hee Oh
, Sae Rom Lee, Jin-Young Choi, Yong Suk Choi, Seong-Hun Kim
, Hong Cheol Yoon, Gerald Nelson:
Detection of Dental Caries and Cracks with Quantitative Light-Induced Fluorescence in Comparison to Radiographic and Visual Examination: A Retrospective Case Study. Sensors 21(5): 1741 (2021) - [j45]Jin-Young Choi, Jaehee Cho, Song Hee Oh
, Seong-Hun Kim
, Kyu-Rhim Chung, Gerald Nelson:
Effect of Different Surface Designs on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors 21(6): 1964 (2021) - [j44]Jin-Young Choi, Min-Jung Kim
, Seong-Hun Kim
, Kyu-Rhim Chung, Gerald Nelson:
Effect of Different Head Hole Position on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors 21(11): 3798 (2021) - [j43]Song Hee Oh
, Jin-Young Choi, Sae Rom Lee, Seong-Hun Kim
:
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 21(17): 5774 (2021) - [j42]Jae-Hyun Park, Jin-Young Choi, Song Hee Oh
, Seong-Hun Kim
:
Three-Dimensional Digital Superimposition of Orthodontic Bracket Position by Using a Computer-Aided Transfer Jig System: An Accuracy Analysis. Sensors 21(17): 5911 (2021) - [c60]Woong-Sub Park, Hyuk Lee, Jin-Young Choi:
Formal Modeling of Smart Contract-based Trading System. ICACT 2021: 48-52 - [c59]Hong Jun Choi, Hyuk Lee, Jin-Young Choi:
Is a False Positive really False Positive? ICACT 2021: 145-149 - 2020
- [j41]Dong-Won Kim, Jin-Young Choi, Keun-Hee Han
:
Medical Device Safety Management Using Cybersecurity Risk Analysis. IEEE Access 8: 115370-115382 (2020) - [j40]Hyuk Lee
, Jin-Young Choi
:
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems. IEEE Access 8: 165168-165177 (2020) - [j39]Dong-Won Kim, Jin-Young Choi, Keun-Hee Han
:
Risk management-based security evaluation model for telemedicine systems. BMC Medical Informatics Decis. Mak. 20(1): 106 (2020) - [j38]Seunghyun Park
, Jin-Young Choi
:
Hierarchical Anomaly Detection Model for In-Vehicle Networks Using Machine Learning Algorithms. Sensors 20(14): 3934 (2020) - [c58]Minjae Byun, Yongjun Lee, Jin-Young Choi:
Analysis of software weakness detection of CBMC based on CWE. ICACT 2020: 171-175
2010 – 2019
- 2019
- [c57]Minjae Byun, Yongjun Lee, Jin-Young Choi:
Risk and avoidance strategy for blocking mechanism of SDN-based security service. ICACT 2019: 187-190 - [c56]Miyoung Kang, Jin-Young Choi:
Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers. TRIDENTCOM 2019: 81-94 - 2018
- [j37]Hyuk Lee
, Jin-Young Choi:
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems. IEEE Access 6: 58418-58426 (2018) - [j36]Young-Su Jang, Jin-Young Choi:
Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation. IEICE Trans. Inf. Syst. 101-D(12): 3005-3018 (2018) - [j35]Jin-Young Choi, In-Sun Choi, Geon-Ho Ahn, Dong-Jun Won
:
Advanced Power Sharing Method to Improve the Energy Efficiency of Multiple Battery Energy Storages System. IEEE Trans. Smart Grid 9(2): 1292-1300 (2018) - 2017
- [j34]Joon-Ha Jang, Jin-Young Choi:
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems. J. Commun. 12(8): 482-488 (2017) - [j33]Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang:
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92: 1-18 (2017) - [c55]Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis:
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA 2017: 48-69 - 2016
- [j32]Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin:
A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. 99-B(7): 1408-1415 (2016) - [j31]So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi:
Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. 99-D(8): 2172-2176 (2016) - [j30]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman
, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - 2015
- [j29]Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang:
Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. 14(2): 839-859 (2015) - [c54]Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack
, Miyoung Kang, Jin-Young Choi:
Verification for NFV-enabled network services. ICTC 2015: 810-815 - 2014
- [j28]Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi:
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. J. Res. Pract. Inf. Technol. 46(2-3) (2014) - [j27]Young-Su Jang, Jin-Young Choi:
Detecting SQL injection attacks using query result size. Comput. Secur. 44: 104-118 (2014) - [j26]Youngjung Ahn, Yongsuk Lee, Jin-Young Choi, Gyungho Lee, Dongkyun Ahn:
Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks. Computer 47(7): 66-72 (2014) - [c53]Sung-Hwan Park, Jin-Young Choi, Dong-Jun Won:
Cooperative control between the distributed energy resources in AC/DC hybrid microgrid. ISGT 2014: 1-5 - [c52]Mijeong Park, Miyoung Kang, Jin-Young Choi:
The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE 2014: 54-60 - 2013
- [j25]Hyun-seok Min, Sang-Mun Chung, Jin-Young Choi:
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. J. Univers. Comput. Sci. 19(1): 53-77 (2013) - [c51]Miyoung Kang, Eun-Young Kang
, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi:
Formal Modeling and Verification of SDN-OpenFlow. ICST 2013: 481-482 - 2012
- [j24]Song-Hee Lee, Nam-Sup Park, Jin-Young Choi:
Secure communication in IPTV broadcasting. J. Supercomput. 62(1): 42-52 (2012) - [c50]Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi:
Formal specifications for software-defined networking. CFI 2012: 51 - [c49]Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin:
Process Algebraic Specification of Software Defined Networks. CICSyN 2012: 359-363 - 2011
- [j23]Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi:
Improved User Authentication Scheme with User Anonymity for Wireless Communications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(2): 860-864 (2011) - [j22]Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-9 (2011) - 2010
- [j21]Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16(17): 2415-2434 (2010) - [j20]Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee:
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6(4): 568-578 (2010) - [c48]Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi:
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197 - [c47]Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Won-Tae Kim, Seung-Min Park:
Modeling autonomous military robots using hybrid system framework. ICTC 2010: 429-430 - [c46]Hyun-Seok Kim, Suk Seo, Jin-Young Choi:
Security analysis of smart card based password authentication schemes. ICIS 2010: 352-356
2000 – 2009
- 2009
- [j19]Hyun Seok Kim, Jin-Young Choi:
Enhanced password-based simple three-party key exchange protocol. Comput. Electr. Eng. 35(1): 107-114 (2009) - [j18]Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee:
Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(11): 2781-2789 (2009) - [j17]Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi:
Ensuring Sound Numerical Simulation of Hybrid Automata. J. Comput. Sci. Eng. 3(2): 73-87 (2009) - [c45]Min-Woo Park, Jin-Young Choi, Young-Ju Han, Tai-Myoung Chung:
An Energy Efficient Concentric Clustering Scheme in Wireless Sensor Networks. NCM 2009: 58-61 - [c44]Song-Hee Lee, Nam-Sup Park, Soo-Kyun Kim, Jin-Young Choi:
Cryptanalysis of Secure Key Exchange Protocol between STB and Smart Card in IPTV Broadcasting. ISA 2009: 797-803 - 2008
- [j16]Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. Electron. Notes Theor. Comput. Sci. 215: 171-189 (2008) - [j15]Song-Hee Lee, Nam-Sup Park, Jin-Young Choi:
Secure Handover Protocol for Mobile WiMAX Networks. IEICE Trans. Inf. Syst. 91-D(12): 2875-2879 (2008) - [c43]Jin-Young Choi, Sung-Min Jung, Young-Ju Han, Tai-Myoung Chung:
Extended Concentric-Clustering Routing Scheme Adapted to Various Environments of Sensor Networks. APNOMS 2008: 187-196 - [c42]Hyun Seok Kim, Seok Seo, Jin-Young Choi:
Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC 2008: 1015-1018 - [c41]Hyun Seok Kim, Jin-Young Choi:
A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN 2008: 958-962 - [c40]Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi:
A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) 2008: 8-13 - [c39]Hyun Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong, Jin-Young Choi:
Formal Verification of Cryptographic Protocol for Secure RFID System. NCM (2) 2008: 470-477 - [e1]Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan:
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311, Springer 2008, ISBN 978-3-540-88386-9 [contents] - 2007
- [c38]Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
A Secure Communication Protocol for Low-Cost RFID System. CIT 2007: 949-954 - [c37]Hyun Seok Kim, Jin-Young Choi:
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops 2007: 693-697 - [c36]Jin Hyun Kim, Jin-Young Choi:
Embedded System Modeling Based on Resource-Oriented Model. ECBS 2007: 203-212 - [c35]Hyun Seok Kim, Jin-Young Choi:
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN 2007: 1359-1363 - [c34]Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
A Light-weight Security Protocol for RFID System. PWC 2007: 384-395 - [c33]Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi:
RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT 2007: 117-124 - [c32]Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi:
Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC 2007: 244-249 - 2006
- [j14]Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang:
Formal Verification of Security Model Using SPR Tool. Comput. Artif. Intell. 25(5): 353-368 (2006) - [j13]Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Jin-Young Choi, Sang-Hun Jeon:
Threat Evaluation Method for Distributed Network Environment. J. Inf. Sci. Eng. 22(4): 889-907 (2006) - [c31]Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim:
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. CIT 2006: 152 - [c30]Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang:
Secrecy Analysis of Purchase Transaction in Electronic Purses. AINA (1) 2006: 979-984 - [c29]Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi:
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. COMPSAC (2) 2006: 195-202 - [c28]Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi:
Security and Privacy Analysis of RFID Systems Using Model Checking. HPCC 2006: 495-504 - [c27]Chang-Jin Kim, Jin-Young Choi:
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 2006: 405-414 - [c26]Song-Hee Lee, Jin-Young Choi:
A Medium Access Control Scheme for Providing Reliability in Wireless Ad Hoc Networks. WASA 2006: 341-352 - 2005
- [j12]Il-Gon Kim, Jin-Young Choi:
Model Checking of RADIUS Protocol in Wireless Networks. IEICE Trans. Commun. 88-B(1): 397-398 (2005) - [j11]Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi:
System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia) 29(2): 219-226 (2005) - [j10]Hyun-Wook Jin, Pavan Balaji, Chuck Yoo, Jin-Young Choi, Dhabaleswar K. Panda:
Exploiting NIC architectural support for enhancing IP-based protocols on high-performance networks. J. Parallel Distributed Comput. 65(11): 1348-1365 (2005) - [j9]Hojung Cha, Jongmin Lee, Jongho Nang, Sungyong Park, Jin-Hwan Jeong, Chuck Yoo, Jin-Young Choi:
A Video Streaming System for Mobile Phones: Practice and Experience. Wirel. Networks 11(3): 265-274 (2005) - [c25]Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi:
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA 2005: 507-510 - [c24]Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi:
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. ICDCS Workshops 2005: 217-223 - [c23]Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi:
Model-Based Analysis of Money Accountability in Electronic Purses. WINE 2005: 346-355 - 2004
- [j8]Hee-Jun Yoo, Mino Bai, Jin-Young Choi:
Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. 87-D(12): 2883-2884 (2004) - [c22]Il-Gon Kim, Jin-Young Choi:
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) 2004: 264-269 - [c21]Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi:
Development of RTOS for PLC Using Formal Methods. ATVA 2004: 479-482 - [c20]Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi:
Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447 - [c19]Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang:
Formal Specification and Verification of Embedded System with Shared Resources. IEEE International Workshop on Rapid System Prototyping 2004: 8-14 - [c18]Young Ah Ahn, Jin-Young Choi:
FDR verification of ESANP protocol in Ad hoc Network. SNPD 2004: 141-145 - [c17]Il-Gon Kim, Jin-Young Choi:
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS 2004: 75-77 - 2003
- [j7]Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi:
Firmware-Level Latency Analysis on a Gigabit Network. J. Supercomput. 26(1): 59-75 (2003) - [c16]Hee-Jun Yoo, Jin-Young Choi:
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT 2003: 180-184 - [c15]Sung-Jae Kim, Jin-Young Choi:
Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT 2003: 253-258 - [c14]Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi:
SSR : Statechart with shared resources. HCC 2003: 198-200 - 2002
- [c13]Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha:
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. SPIN 2002: 170-186 - 2001
- [j6]Ki-Seok Bang, Jin-Young Choi, Chuck Yoo:
Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27(6): 573-576 (2001) - [c12]Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo:
Distributed Test using Logical Clock. FORTE 2001: 69-84 - [c11]Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 - [c10]Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo:
A visual component based tool for developing embedded application software. HCI 2001: 180-184 - [c9]Nojun Kwak, Chong-Ho Choi, Jin-Young Choi:
Feature Extraction Using ICA. ICANN 2001: 568-576 - 2000
- [c8]Jin-Young Choi, Hee-Hwan Kwak, Insup Lee:
A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742 - [c7]Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang:
Equivalence Checking of Two Statechart Specifications. IEEE International Workshop on Rapid System Prototyping 2000: 46-51
1990 – 1999
- 1998
- [j5]Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie:
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15(3): 189-219 (1998) - [c6]Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418 - 1997
- [j4]Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee:
A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138(2): 124-159 (1997) - [c5]Chul-Jin Ahn, Seong-Uk Choi, Myong-Soon Park, Jin-Young Choi:
The Design and Evaluation of Policy-Controllable Buffer Cache. ICPADS 1997: 764-771 - [c4]Sung-Mook Lim, Jin-Young Choi:
Specification and verification of real-time systems using ACSR-VP. RTCSA 1997: 135-142 - 1996
- [c3]Min Woong Hwang, Jin-Young Choi:
Evolutionary Learning Algorithm for Projection Neural Networks. SEAL 1996: 136-145 - 1995
- [j3]Jin-Young Choi, Chong-Ho Choi:
Partially trained neural networks with self-localizing capability for function approximations. Neural Parallel Sci. Comput. 3(1): 35-49 (1995) - [c2]Jin-Young Choi, Insup Lee, Hong-liang Xie:
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS 1995: 266-275 - [c1]Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi:
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS 1995: 276-286 - 1994
- [j2]Chong-Ho Choi, Jin-Young Choi:
Constructive neural networks with piecewise interpolation capabilities for function approximations. IEEE Trans. Neural Networks 5(6): 936-944 (1994) - 1992
- [j1]Jin-Young Choi, Chong-Ho Choi:
Sensitivity analysis of multilayer perceptron with differentiable activation functions. IEEE Trans. Neural Networks 3(1): 101-107 (1992)