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