@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"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970,
    title = "2015 Conference on Lasers and Electro-Optics (CLEO)",
    chapter = "Demonstration of the first monolithically integrated self-rolled-up tube based vertical photonic coupler",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970",
    id = "record",
    isbn = "978-1-55752-968-8"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823,
    title = "ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming",
    chapter = "Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823",
    id = "record",
    isbn = "1-59593-309-3",
    doi = "10.1145/1159803.1159826"
}


@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"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536,
    title = "MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding",
    chapter = "A computational approach to reflective meta-reasoning about languages with bindings",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536",
    id = "record",
    isbn = "1-59593-072-8",
    doi = "10.1145/1088454.1088456"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2003.004,
    title = "Formalizing Abstract Algebra in Constructive Set Theory",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.004",
    id = "record",
    doi = "10.7907/Z94T6GB8"
}


@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"
}