Il Moon - Publications

Affiliations: 
1992- Chemical Engineering Carnegie Mellon University, Pittsburgh, PA 
 1993- Chemical Engineering Yonsei University, Seoul, South Korea 
Website:
http://pse.yonsei.ac.kr/

101 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2021 Kim Y, Cho S, Jang K, Lee J, Kim M, Moon I. Effect of radial distribution of injected flow on simulated moving bed performance. Journal of Chromatography. A. 1662: 462703. PMID 34906766 DOI: 10.1016/j.chroma.2021.462703  0.582
2020 Lee J, Cho H, Kim M, Hall S, Moon I. Double-tube reactor design and process optimization for on-site steam methane reforming processes Industrial & Engineering Chemistry Research. DOI: 10.1021/Acs.Iecr.0C02875  0.34
2020 Choi Y, An N, Moon I, Kim J. Energy Optimization via Process Modification To Maximize Economic Feasibility of the Butane Gas-Splitting Process Industrial & Engineering Chemistry Research. DOI: 10.1021/Acs.Iecr.0C02430  0.369
2020 Qi M, Kan Y, Li X, Wang X, Zhao D, Moon I. Spurious activation and operational integrity evaluation of redundant safety instrumented systems Reliability Engineering & System Safety. 197: 106785. DOI: 10.1016/J.Ress.2019.106785  0.334
2020 Tak K, Choi J, Ryu J, Moon I. Sensitivity analysis of effects of design parameters and decision variables on optimization of natural gas liquefaction process Energy. 206: 118132. DOI: 10.1016/J.Energy.2020.118132  0.375
2020 Choi Y, Kim J, Moon I. Simulation and economic assessment of using H₂O₂ solution in wet scrubber for large marine vessels Energy. 194: 116907. DOI: 10.1016/J.Energy.2020.116907  0.312
2020 Cho S, Park C, Lee J, Lyu B, Moon I. Finding the best operating condition in a novel process for explosive waste incineration using fluidized bed reactors Computers & Chemical Engineering. 142: 107054. DOI: 10.1016/J.Compchemeng.2020.107054  0.352
2020 Cho S, Kim M, Lyu B, Moon I. Optimization of an explosive waste incinerator via an artificial neural network surrogate model Chemical Engineering Journal. 126659. DOI: 10.1016/J.Cej.2020.126659  0.37
2019 Park C, Lee K, Hong S, Lee J, Cho S, Moon I. Novel index for evaluating continuous mixing process with pulse injection of bimodal tracer particles Powder Technology. 355: 309-319. DOI: 10.1016/J.Powtec.2019.07.033  0.31
2019 Park C, Kim J, Landon RS, Lyu B, Cho H, Moon I. Novel evaluation method for the continuous mixing process of bimodal particles Powder Technology. 344: 636-646. DOI: 10.1016/J.Powtec.2018.12.052  0.333
2019 Lee K, Lyu B, Cho H, Park C, Cho S, Park S, Moon I. Development of a hazardous material selection procedure for the chemical accident response manual Korean Journal of Chemical Engineering. 36: 333-344. DOI: 10.1007/S11814-018-0202-X  0.309
2018 Lyu B, Lee K, Kim T, Cho H, Cho S, Moon I. Additional data on damage reduction strategies against chemical accidents by using a mitigation barrier in Korean chemical risk management. Data in Brief. 20: 1753-1757. PMID 30276229 DOI: 10.1016/J.Dib.2018.08.138  0.314
2018 Lyu B, Lee K, Kim T, Cho H, Moon I. Damage reduction strategies against chemical accidents by using a mitigation barrier in Korean chemical risk management Safety Science. 110: 29-36. DOI: 10.1016/J.Ssci.2018.07.026  0.329
2018 Tak K, Kwon H, Park J, Cho JH, Moon I. A multistream heat exchanger model with enthalpy feasibility Computers & Chemical Engineering. 115: 81-88. DOI: 10.1016/J.Compchemeng.2018.03.023  0.326
2017 Lee I, Park J, Moon I. Data on conceptual design of cryogenic energy storage system combined with liquefied natural gas regasification process. Data in Brief. 15: 733-737. PMID 29124100 DOI: 10.1016/J.Dib.2017.09.015  0.59
2017 Lee I, Moon I. Strategies for Process and Size Selection of Natural Gas Liquefaction Processes: Specific Profit Portfolio Approach by Economic Based Optimization Industrial & Engineering Chemistry Research. 57: 5845-5857. DOI: 10.1021/Acs.Iecr.7B03327  0.568
2017 Lee I, Moon I. Economic Optimization of Dual Mixed Refrigerant Liquefied Natural Gas Plant Considering Natural Gas Extraction Rate Industrial & Engineering Chemistry Research. 56: 2804-2814. DOI: 10.1021/Acs.Iecr.6B04124  0.535
2017 Kwon H, Tak K, Cho JH, Kim J, Moon I. Integrated Decision Support Model for Hedge Trading and Production Planning in the Petrochemical Industry Industrial & Engineering Chemistry Research. 56: 1267-1277. DOI: 10.1021/Acs.Iecr.6B03527  0.597
2017 Lee J, Cho S, Park C, Cho H, Moon I. Numerical analysis of hydrogen ventilation in a confined facility with various opening sizes, positions and leak quantities Computer-Aided Chemical Engineering. 40: 559-564. DOI: 10.1016/B978-0-444-63965-3.50095-7  0.323
2016 Lee I, Moon I. Total Cost Optimization of a Single Mixed Refrigerant Process Based on Equipment Cost and Life Expectancy Industrial and Engineering Chemistry Research. 55: 10336-10343. DOI: 10.1021/Acs.Iecr.6B01864  0.486
2016 Kim S, Ko D, Moon I. Dynamic Optimization of a Dual Pressure Swing Adsorption Process for Natural Gas Purification and Carbon Capture Industrial & Engineering Chemistry Research. 55: 12444-12451. DOI: 10.1021/Acs.Iecr.5B04157  0.324
2016 Kwon H, Lyu B, Tak K, Lee J, Cho JH, Moon I. Optimization of naphtha purchase price using a price prediction model Computers and Chemical Engineering. 84: 226-236. DOI: 10.1016/J.Compchemeng.2015.08.012  0.314
2016 Cho S, Park C, Oh M, Park J, Kim H, Moon I. Optimal Operating Condition of Fluidized Bed Propellant Incinerator Considering Fluidization Effect and Reaction of the Particles Computer-Aided Chemical Engineering. 38: 1147-1152. DOI: 10.1016/B978-0-444-63428-3.50196-X  0.324
2015 Lee I, Tak K, Lee S, Ko D, Moon I. Decision Making on Liquefaction Ratio for Minimizing Specific Energy in a LNG Pilot Plant Industrial and Engineering Chemistry Research. 54: 12920-12927. DOI: 10.1021/Acs.Iecr.5B03687  0.524
2015 Tak K, Lee I, Kwon H, Kim J, Ko D, Moon I. Comparison of Multistage Compression Configurations for Single Mixed Refrigerant Processes Industrial and Engineering Chemistry Research. 54: 9992-10000. DOI: 10.1021/Acs.Iecr.5B00936  0.516
2015 Kwon Hm, Lee Cj, Seo D, Moon I. Korean experience of process safety management (PSM) regulation for chemical industry Journal of Loss Prevention in the Process Industries. DOI: 10.1016/J.Jlp.2015.10.001  0.313
2015 Lee K, Kwon Hm, Cho S, Kim J, Moon I. Improvements of safety management system in Korean chemical industry after a large chemical accident Journal of Loss Prevention in the Process Industries. DOI: 10.1016/J.Jlp.2015.08.006  0.578
2015 Gahlyan S, Rani M, Lee I, Moon I, Maken SK. Measurement and correlation of excess molar volumes for mixtures of 1-propanol and aromatic hydrocarbons Korean Journal of Chemical Engineering. 32: 168-177. DOI: 10.1007/S11814-014-0200-6  0.438
2014 Lee I, Tak K, Kwon H, Kim J, Ko D, Moon I. Design and optimization of a pure refrigerant cycle for natural gas liquefaction with subcooling Industrial and Engineering Chemistry Research. 53: 10397-10403. DOI: 10.1021/Ie403808Y  0.532
2014 Lim W, Lee I, Tak K, Cho JH, Ko D, Moon I. Efficient configuration of a natural gas liquefaction process for energy recovery Industrial and Engineering Chemistry Research. 53: 1973-1985. DOI: 10.1021/Ie4003427  0.54
2014 Kumar S, Cho JH, Moon I. Ionic liquid-amine blends and CO2BOLs: Prospective solvents for natural gas sweetening and CO2 capture technology—A review International Journal of Greenhouse Gas Control. 20: 87-116. DOI: 10.1016/J.Ijggc.2013.10.019  0.313
2014 Lyu B, Kwon H, Lee J, Yoon H, Jin J, Moon I. Forecasting of naphtha demand and supply using time serial data causal analysis Computer Aided Chemical Engineering. 33: 829-834. DOI: 10.1016/B978-0-444-63456-6.50139-3  0.327
2014 Kim S, Lee K, Moon I. Public Protection Integrated Program Development for Chemical and Radiological Disasters Computer-Aided Chemical Engineering. 33: 823-828. DOI: 10.1016/B978-0-444-63456-6.50138-1  0.301
2014 Kwon H, Tak K, Lee I, Lee J, Moon I. Web-based multi-dimensional education system for the simulated moving bed process Korean Journal of Chemical Engineering. 31: 1736-1745. DOI: 10.1007/S11814-014-0124-1  0.504
2014 Lim W, Lee I, Lee K, Lyu B, Kim J, Moon I. Design and analysis of multi-stage expander processes for liquefying natural gas Korean Journal of Chemical Engineering. 31: 1522-1531. DOI: 10.1007/S11814-014-0098-Z  0.555
2013 Lim W, Choi K, Moon I. Current Status and Perspectives of Liquefied Natural Gas (LNG) Plant Design Industrial & Engineering Chemistry Research. 52: 3065-3088. DOI: 10.1021/Ie302877G  0.348
2013 Kim J, Park J, Moon I. Automatic Synthesis for the Reachability of Process Systems with a Model Checking Algorithm Industrial & Engineering Chemistry Research. 52: 2613-2624. DOI: 10.1021/Ie301758R  0.365
2013 Park J, Cho JH, Jung H, Jung KD, Kumar S, Moon i. Simulation and experimental study on the sulfuric acid decomposition process of SI cycle for hydrogen production International Journal of Hydrogen Energy. 38: 5507-5516. DOI: 10.1016/J.Ijhydene.2013.03.027  0.33
2013 Kim E, Park J, Cho JH, Moon I. Simulation of hydrogen leak and explosion for the safety design of hydrogen fueling station in Korea International Journal of Hydrogen Energy. 38: 1737-1743. DOI: 10.1016/J.Ijhydene.2012.08.079  0.314
2013 Kim S, Kim J, Moon I. Profit optimization for bio-gas upgrading PSA process based on controlling step-time Computer Aided Chemical Engineering. 32: 397-402. DOI: 10.1016/B978-0-444-63234-0.50067-1  0.369
2013 Yoon H, Park J, Lim W, Lee K, Choi N, Lee C, Moon I. Integration of qualitative and quantitative risk assessment methods for gas refinery plants Korean Journal of Chemical Engineering. 30: 1368-1374. DOI: 10.1007/S11814-013-0057-0  0.315
2012 Kim J, Tak K, Moon I. Optimization of procurement and production planning model in refinery processes considering corrosion effect Industrial & Engineering Chemistry Research. 51: 10191-10200. DOI: 10.1021/Ie300270S  0.341
2012 Kwon H, Lee J, Moon I. Development of a safety education system for SMB operation Computer Aided Chemical Engineering. 30: 1417-1421. DOI: 10.1016/B978-0-444-59520-1.50142-1  0.344
2012 Lee I, Tak K, Lim W, Choi K, Moon I. Optimization of Pure-Refrigerant Cycle Compressing Ratio on C3-MR Process Computer-Aided Chemical Engineering. 31: 1472-1476. DOI: 10.1016/B978-0-444-59506-5.50125-5  0.528
2011 Danilov VA, Denayer J, Moon I. An Improved Tank in Series Model for the Direct Methanol Fuel Cell International Journal of Electrochemistry. 2011: 1-9. DOI: 10.4061/2011/204937  0.311
2011 Kim J, Lim W, Lee Y, Kim S, Park SR, Suh SK, Moon i. Development of Corrosion Control Document Database System in Crude Distillation Unit Industrial & Engineering Chemistry Research. 50: 8272-8277. DOI: 10.1021/Ie101871A  0.325
2011 Kim E, Lee K, Kim J, Lee Y, Park J, Moon I. Development of Korean hydrogen fueling station codes through risk analysis International Journal of Hydrogen Energy. 36: 13122-13131. DOI: 10.1016/J.Ijhydene.2011.07.053  0.3
2011 Kim J, Lee Y, Moon I. An index-based risk assessment model for hydrogen infrastructure International Journal of Hydrogen Energy. 36: 6387-6398. DOI: 10.1016/J.Ijhydene.2011.02.127  0.576
2011 Kumar S, Kwon H, Choi K, Hyun Cho J, Lim W, Moon I. Current status and future projections of LNG demand and supplies: A global prospective Energy Policy. 39: 4097-4104. DOI: 10.1016/J.Enpol.2011.03.067  0.304
2011 Kumar S, Kwon H, Choi K, Lim W, Cho JH, Tak K, Moon I. LNG: An eco-friendly cryogenic fuel for sustainable development Applied Energy. 88: 4264-4273. DOI: 10.1016/J.Apenergy.2011.06.035  0.306
2011 Tak K, Lim W, Choi K, Ko D, Moon I. Optimization of mixed-refrigerant system in LNG liquefaction process Computer-Aided Chemical Engineering. 29: 1824-1828. DOI: 10.1016/B978-0-444-54298-4.50143-4  0.361
2011 Cho JH, Kim J, Moon I. Recipe-based Batch Process Engineering Tool for Development Workflow Computer-Aided Chemical Engineering. 29: 1100-1104. DOI: 10.1016/B978-0-444-53711-9.50220-0  0.376
2011 Park J, Lee Y, Yoon Y, Kim S, Moon I. Development of a web-based emergency preparedness plan system in Korea Korean Journal of Chemical Engineering. 28: 2110-2115. DOI: 10.1007/S11814-011-0096-3  0.304
2010 Kwon H, Cho JH, Moon I, Choi J, Park D, Lee Y. Advanced korean industrial safety and health policy with risk assessment. Safety and Health At Work. 1: 29-36. PMID 22953160 DOI: 10.5491/Shaw.2010.1.1.29  0.327
2010 Kim J, Kim J, Lee T, Lee IB, Moon I. A heuristic-embedded scheduling system for a pharmaceutical intermediates manufacturing plant Industrial & Engineering Chemistry Research. 49: 12646-12653. DOI: 10.1021/Ie100880F  0.597
2010 Lee Y, Kim J, Kim J, Kim EJ, Kim YG, Moon I. Development of a web-based 3D virtual reality program for hydrogen station International Journal of Hydrogen Energy. 35: 2112-2118. DOI: 10.1016/J.Ijhydene.2009.12.065  0.328
2010 Kim J, Moon I. Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time Korean Journal of Chemical Engineering. 27: 1654-1661. DOI: 10.1007/S11814-010-0272-X  0.339
2010 Lee Y, Kim J, Kim J, Kim J, Moon I. Development of a risk assessment program for chemical terrorism Korean Journal of Chemical Engineering. 27: 399-408. DOI: 10.1007/S11814-010-0094-X  0.559
2009 Lim W, Kim J, Park SR, Moon I. The development of Corrosion Control Document (CCD) in refinery: Crude Distillation Unit (CDU) process Chemical Engineering Transactions. 17: 1419-1424. DOI: 10.3303/Cet0917237  0.301
2009 Park J, Lee Y, Kim E, Yoon Y, Kim S, Moon i. A research on a supporting program for emergency preparedness plan in Korea Chemical Engineering Transactions. 17: 451-456. DOI: 10.3303/Cet0917076  0.304
2009 Kim J, Park SR, Moon I. Corrosion control document database system in refinery industry Computer Aided Chemical Engineering. 27: 1839-1844. DOI: 10.1016/S1570-7946(09)70697-2  0.335
2009 Kim J, Kim J, Lee Y, Lim W, Moon I. Application of TRIZ creativity intensification approach to chemical process safety Journal of Loss Prevention in the Process Industries. 22: 1039-1043. DOI: 10.1016/J.Jlp.2009.06.015  0.373
2009 Kim J, Moon I. Automatic verification of control logics in safety instrumented system design for chemical process industry Journal of Loss Prevention in the Process Industries. 22: 975-980. DOI: 10.1016/J.Jlp.2009.06.013  0.319
2009 Kim J, Kim J, Moon I. Error-free scheduling for batch processes using symbolic model verifier Journal of Loss Prevention in the Process Industries. 22: 367-372. DOI: 10.1016/J.Jlp.2009.01.001  0.599
2009 Kim J, Kim J, Kim J, Yoo C, Moon I. A simultaneous optimization approach for the design of wastewater and heat exchange networks based on cost estimation. Journal of Cleaner Production. 17: 162-171. DOI: 10.1016/J.Jclepro.2008.04.005  0.585
2009 Kim J, Kim J, Lee Y, Moon I. Development of a new automatic system for fault tree analysis for chemical process industries Korean Journal of Chemical Engineering. 26: 1429-1440. DOI: 10.1007/S11814-009-0253-0  0.546
2008 Yoo C, Hwang S, Moon I. Hybrid Fuzzy Modeling of Wastewater Quality with Artificial Intelligence Learning Environmental Engineering Science. 25: 941-950. DOI: 10.1089/Ees.2007.0100  0.328
2008 Kim J, Lee Y, Moon I. Automatic Verification of Biochemical Network Using Model Checking Method Chinese Journal of Chemical Engineering. 16: 90-94. DOI: 10.1016/S1004-9541(08)60043-9  0.324
2008 Jeong I, Kim J, Pak S, Nam SW, Moon I. Optimum operating strategies for liquid-fed direct methanol fuel cells Journal of Power Sources. 185: 828-837. DOI: 10.1016/J.Jpowsour.2008.06.095  0.591
2008 Kim J, Moon I. The role of hydrogen in the road transportation sector for a sustainable energy system: A case study of Korea International Journal of Hydrogen Energy. 33: 7326-7337. DOI: 10.1016/J.Ijhydene.2008.09.050  0.573
2008 Kim J, Moon I. Strategic design of hydrogen infrastructure considering cost and safety using multiobjective optimization International Journal of Hydrogen Energy. 33: 5887-5896. DOI: 10.1016/J.Ijhydene.2008.07.028  0.61
2008 Kim J, Lee Y, Moon I. Optimization of a hydrogen supply chain under demand uncertainty International Journal of Hydrogen Energy. 33: 4715-4729. DOI: 10.1016/J.Ijhydene.2008.06.007  0.59
2007 Kim J, Lee Y, Moon I. Modeling and verification of control logics in safety instrumented system for chemical industrial processes Computer-Aided Chemical Engineering. 24: 1265-1270. DOI: 10.1016/S1570-7946(07)80235-5  0.345
2007 Yoo C, Lee TY, Kim J, Moon I, Jung JH, Han C, Oh J, Lee I. Integrated water resource management through water reuse network design for clean production technology: State of the art Korean Journal of Chemical Engineering. 24: 567-576. DOI: 10.1007/S11814-007-0004-Z  0.559
2006 Kwon H, Yoon H, Moon I. Industrial Applications Of Accident Causation Management System Chemical Engineering Communications. 193: 1024-1037. DOI: 10.1080/00986440500352089  0.311
2006 Kim J, Lee Y, Moon I. Graphical modeling for the safety verification of chemical processes Computer Aided Chemical Engineering. 21: 1509-1514. DOI: 10.1016/S1570-7946(06)80261-0  0.359
2006 Danilov VA, Lim J, Moon I, Chang H. Three-dimensional, two-phase, CFD model for the design of a direct methanol fuel cell Journal of Power Sources. 162: 992-1002. DOI: 10.1016/J.Jpowsour.2006.07.071  0.316
2006 Kim D, Kim J, Moon I. Integration of Accident Scenario Generation and Multiobjective Optimization for Safety-Cost Decision Making in Chemical Processes Journal of Loss Prevention in the Process Industries. 19: 705-713. DOI: 10.1016/J.Jlp.2006.04.002  0.624
2006 Danilov VA, Lim J, Moon I, Choi KH. Gas management in flow field design using 3D direct methanol fuel cell model under high stoichiometric feed Korean Journal of Chemical Engineering. 23: 753-760. DOI: 10.1007/Bf02705923  0.3
2004 Kim D, Yeo Y, Moon I. Multiobjective optimization for safety-related decision making in chemical processes Journal of Chemical Engineering of Japan. 37: 332-337. DOI: 10.1252/Jcej.37.332  0.377
2004 Kim D, Ko D, Kim J, Park M, Moon I. Automatic accident scenario generation and multiobjective optimization for safety-related decision making in chemical processes Computer-Aided Chemical Engineering. 18: 937-942. DOI: 10.1016/S1570-7946(04)80222-0  0.617
2003 Jin SH, Yeo Y, Moon I, Chung Y, Kim I. Equipment selection for the optimal system unavailability of jacketed reactors with discrete cost data Journal of Loss Prevention in the Process Industries. 16: 443-448. DOI: 10.1016/S0950-4230(03)00037-8  0.327
2003 Kim D, Moon I, Lee Y, Yoon D. Automatic generation of accident scenarios in domain specific chemical plants Journal of Loss Prevention in the Process Industries. 16: 121-132. DOI: 10.1016/S0950-4230(02)00111-0  0.385
2002 Ko D, Moon I, Choi DK. Analysis of the Contact Time in a Cyclic Thermal Swing Adsorption Process Industrial & Engineering Chemistry Research. 41: 1603-1615. DOI: 10.1021/Ie010430D  0.312
2002 Ko D, Moon I. Multiobjective Optimization of Cyclic Adsorption Processes Industrial & Engineering Chemistry Research. 41: 93-104. DOI: 10.1021/Ie010288G  0.319
2002 Ko D, Kim M, Moon I, Choi D. Analysis of purge gas temperature in cyclic TSA process Chemical Engineering Science. 57: 179-195. DOI: 10.1016/S0009-2509(01)00358-X  0.35
2001 Ko D, Kim aM, Moon I, Choi§ D. Novel Thermal Swing Adsorption Process with a Cooling Jacket for Benzene−Toluene−p-Xylene Purification Industrial & Engineering Chemistry Research. 40: 4973-4982. DOI: 10.1021/Ie000515Z  0.337
2001 Kim D, Lee Y, Moon I, Lee Y, Yoon D. Automatic accident scenario generation for petrochemical processes Computer-Aided Chemical Engineering. 9: 895-900. DOI: 10.1016/S1570-7946(01)80143-7  0.386
2001 Ko D, Kim M, Moon I, Choi D. New designed TSA bed with cooling jacket for purification and regeneration of benzene and toluene Computer-Aided Chemical Engineering. 9: 427-432. DOI: 10.1016/S1570-7946(01)80066-3  0.336
2001 Ko D, Moon I, Choi D. Analysis of thermal regeneration of cyclic TSA process Ifac Proceedings Volumes. 34: 299-304. DOI: 10.1016/S1474-6670(17)33840-5  0.36
2000 Ko D, Moon I. Optimization of start-up operating condition in RPSA Separation and Purification Technology. 21: 17-26. DOI: 10.1016/S1383-5866(00)00182-9  0.325
2000 Yoon H, Lee H, Moon I. Quantitative business decision-making for the investment of preventing safety accidents in chemical plants Computers & Chemical Engineering. 24: 1037-1041. DOI: 10.1016/S0098-1354(00)00531-7  0.331
2000 Ko D, Na S, Moon I, Lee I. Development of a Batch Manager for Dynamic Scheduling and Process Management in Multiproduct Batch Processes Korean Journal of Chemical Engineering. 17: 27-32. DOI: 10.1007/Bf02789249  0.311
1999 Kim J, Kim M, Moon I. Improved search algorithm for the efficient verification of chemical processes Computers & Chemical Engineering. 23. DOI: 10.1016/S0098-1354(99)80148-3  0.342
1999 Ko D, Na S, Moon I, Oh M. Development of a rescheduling system for the optimal operation of pipeless plants Computers & Chemical Engineering. 23. DOI: 10.1016/S0098-1354(99)80129-X  0.353
1998 Goh S, Chang B, Jeong I, Kwon H, Moon I. Safety improvement by a multimedia operator education system Computers & Chemical Engineering. 22: 531-536. DOI: 10.1016/S0098-1354(98)00097-0  0.321
1997 Moon I, Ko D, Probst ST, Powers GJ. A Symbolic Model Verifier for Safe Chemical Process Sequential Control Systems. Journal of Chemical Engineering of Japan. 30: 13-22. DOI: 10.1252/Jcej.30.13  0.716
1997 Ko D, Moon I. Rescheduling algorithms in case of unit failure for batch process management Computers & Chemical Engineering. 21. DOI: 10.1016/S0098-1354(97)87644-2  0.35
1997 Probst ST, Powers GJ, Long DE, Moon I. Verification of a logically controlled, solids transport system using symbolic model checking Computers & Chemical Engineering. 21: 417-429. DOI: 10.1016/0098-1354(95)00265-0  0.72
1994 Moon I. Modeling Programmable Logic Controllers for Logic Verification Ieee Control Systems. 14: 53-59. DOI: 10.1109/37.272781  0.335
1992 Moon I, Powers GJ, Burch JR, Clarke EM. Automatic verification of sequential control systems using temporal logic Aiche Journal. 38: 67-75. DOI: 10.1002/Aic.690380107  0.709
Show low-probability matches.