<h1>Yu, Xin</h1>
<h2>Combined from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Xue, Jian and Yu, Xin, el al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191118-100315290">Efficient control of atmospheric sulfate production based on three formation regimes</a>; Nature Geoscience; Vol. 12; No. 12; 977-982; <a href="https://doi.org/10.1038/s41561-019-0485-5">10.1038/s41561-019-0485-5</a></li>
<li>Sirlanci, Melike and Luczak, Susan E., el al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190520-141811771">Estimating the distribution of random parameters in a diffusion equation forward model for a transdermal alcohol biosensor</a>; Automatica; Vol. 106; 101-109; <a href="https://doi.org/10.1016/j.automatica.2019.04.026">10.1016/j.automatica.2019.04.026</a></li>
<li>Yu, Xin and Arbabi, Ehsan, el al. (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970">Demonstration of the first monolithically integrated self-rolled-up tube based vertical photonic coupler</a>; ISBN 978-1-55752-968-8; 2015 Conference on Lasers and Electro-Optics (CLEO); Art. No. SF1H.8</li>
<li>Hickey, Jason and Nogin, Aleksey, el al. (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20161103-125705148">Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection</a>; ACM SIGPLAN Notices; Vol. 41; No. 9; 172-183; <a href="https://doi.org/10.1145/1160074.1159826">10.1145/1160074.1159826</a></li>
<li>Hickey, Jason and Nogin, Aleksey, el al. (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823">Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection</a>; ISBN 1-59593-309-3; ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming; 172-183; <a href="https://doi.org/10.1145/1159803.1159826">10.1145/1159803.1159826</a></li>
<li>Nogin, Aleksey and Kopylov, Alexei, el al. (2005) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536">A computational approach to reflective meta-reasoning about languages with bindings</a>; ISBN 1-59593-072-8; MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding; 2-12; <a href="https://doi.org/10.1145/1088454.1088456">10.1145/1088454.1088456</a></li>
<li>Yu, Xin and Hickey, Jason (2003) <a href="https://resolver.caltech.edu/CaltechCSTR:2003.004">Formalizing Abstract Algebra in Constructive Set Theory</a>; <a href="https://doi.org/10.7907/Z94T6GB8">10.7907/Z94T6GB8</a></li>
<li>An, Sungwhan and Chen, Chun-Jen, el al. (1999) <a href="https://resolver.caltech.edu/CaltechAUTHORS:ANSjvir99">Induction of Apoptosis in Murine Coronavirus-Infected Cultured Cells and Demonstration of E Protein as an Apoptosis Inducer</a>; Journal of Virology; Vol. 73; No. 9; 7853-7859; PMCID PMC104316</li>
<li>Zabludoff, Sonya D. and Csete, Marie, el al. (1998) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190508-072837226">p27^(Kip1) is expressed transiently in developing myotomes and enhances myogenesis</a>; Cell Growth and Differentiation; Vol. 9; No. 1; 1-11</li>
</ul>