Concepedia

Taeshin Park

TP

Statistics

Publications

7

Citations

378

H-Index

7

Active since

1996

Affiliations

Massachusetts Institute of Technology(Current)

Taeshin Park is an author at Massachusetts Institute of Technology specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationComputer ScienceOcean EngineeringMarine EngineeringAutomated ReasoningSystems EngineeringChemical Engineering

Publications per year

1996–2020

7

Publications

7

State event location in differential-algebraic models

Taeshin Park, Paul I. Barton · ACM Transactions on Modeling and Computer Simulation · 1996 · 145 citations · Full text

Numerical Analysis, Numerical Computation, Event Detection Phase +14

Optimal design and operation of a natural gas tri-reforming reactor for DME synthesis

Wonjun Cho, Taek-Yong Song, Alexander Mitsos et al. · Catalysis Today · 2008 · 115 citations

Chemical Engineering, Dme Synthesis, Engineering +9

Toward scale-up of seawater reverse osmosis (SWRO) – pressure retarded osmosis (PRO) hybrid system: A case study of a 240 m3/day pilot plant

Sangho Lee, Taeshin Park, Yong-Gyun Park et al. · Desalination · 2020 · 46 citations

Aquacultural Engineering, Engineering, Seawater Reverse Osmosis +9

Nucleotide sequence of the gene for alkaline phosphatase of<i>Thermus caldophilus</i>GK24 and characteristics of the deduced primary structure of the enzyme

Taeshin Park, Jung‐Ha Lee, Hyun-Kyu Kim et al. · FEMS Microbiology Letters · 1999 · 22 citations

Implicit model checking of logic‐based control systems

Taeshin Park, Paul I. Barton · AIChE Journal · 1997 · 21 citations

Engineering, Verification, Computer-aided Verification +18

1–5 of 7