@article{https://resolver.caltech.edu/CaltechAUTHORS:20191118-100315290, title = "Efficient control of atmospheric sulfate production based on three formation regimes", journal = "Nature Geoscience", year = "2019", url = "https://resolver.caltech.edu/CaltechAUTHORS:20191118-100315290", id = "record", issn = "1752-0894", doi = "10.1038/s41561-019-0485-5", volume = "12" } @article{https://resolver.caltech.edu/CaltechAUTHORS:20190520-141811771, title = "Estimating the distribution of random parameters in a diffusion equation forward model for a transdermal alcohol biosensor", journal = "Automatica", year = "2019", url = "https://resolver.caltech.edu/CaltechAUTHORS:20190520-141811771", id = "record", issn = "0005-1098", doi = "10.1016/j.automatica.2019.04.026", volume = "106" } @article{https://resolver.caltech.edu/CaltechAUTHORS:20161103-125705148, title = "Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection", journal = "ACM SIGPLAN Notices", year = "2006", url = "https://resolver.caltech.edu/CaltechAUTHORS:20161103-125705148", id = "record", issn = "0362-1340", doi = "10.1145/1160074.1159826", volume = "41" } @article{https://resolver.caltech.edu/CaltechAUTHORS:ANSjvir99, title = "Induction of Apoptosis in Murine Coronavirus-Infected Cultured Cells and Demonstration of E Protein as an Apoptosis Inducer", journal = "Journal of Virology", year = "1999", url = "https://resolver.caltech.edu/CaltechAUTHORS:ANSjvir99", id = "record", issn = "0022-538X", volume = "73", pmcid = "PMC104316" } @article{https://resolver.caltech.edu/CaltechAUTHORS:20190508-072837226, title = "p27^(Kip1) is expressed transiently in developing myotomes and enhances myogenesis", journal = "Cell Growth and Differentiation", year = "1998", url = "https://resolver.caltech.edu/CaltechAUTHORS:20190508-072837226", id = "record", issn = "1044-9523", volume = "9" }