Definition of a metadata model for a multi-layered clinical practice guideline representation framework. - Matthew Kim; Zachary Turechek; Aziz A. Boxwala; Tonya Hongsermeier; Michael Krall; Frank A. Sonnenberg; Adam Wright; Blackford Middleton; Saverio M. Maviglia (Int. J. Funct. Informatics Pers. Medicine, 2012)

RREV: Reconfigurable Rendering Engine for visualization of clinically annotated polysomnograms. - Catherine P. Jayapandian; Wei Wang; Michael G. Morrical; Dennis A. Dean; Shiqiang Tao; Daniel R. Mobley; Matthew Kim; Michael Rueschman; Kenneth A. Loparo; Susan Redline; Guo-Qiang Zhang 001 (BIBM, 2015)

An Ontology-Enabled Natural Language Processing Pipeline for Provenance Metadata Extraction from Biomedical Text (Short Paper). - Joshua Valdez; Michael Rueschman; Matthew Kim; Susan Redline; Satya S. Sahoo (OTM Conferences, 2016)

ProvCaRe Semantic Provenance Knowledgebase: Evaluating Scientific Reproducibility of Research Studies. - Joshua Valdez; Matthew Kim; Michael Rueschman; Vimig Socrates; Satya S. Sahoo (AMIA, 2017)

An Extensible Ontology Modeling Approach Using Post Coordinated Expressions for Semantic Provenance in Biomedical Research. - Joshua Valdez; Michael Rueschman; Matthew Kim; Sara ArabYarmohammadi; Susan Redline; Satya S. Sahoo (OTM Conferences (2), 2017)

Classification of Provenance Triples for Scientific Reproducibility: A Comparative Evaluation of Deep Learning Models in the ProvCaRe Project. - Joshua Valdez; Matthew Kim; Michael Rueschman; Susan Redline; Satya S. Sahoo (IPAW, 2018)

The National Sleep Research Resource: towards a sleep data commons. - Guo-Qiang Zhang 001; Licong Cui; Remo Mueller; Shiqiang Tao; Matthew Kim; Michael Rueschman; Sara Mariani; Daniel R. Mobley; Susan Redline (J. Am. Medical Informatics Assoc., 2018)

X-search: an open access interface for cross-cohort exploration of the National Sleep Research Resource. - Licong Cui; Ningzhou Zeng; Matthew Kim; Remo Mueller; Emily R. Hankosky; Susan Redline; Guo-Qiang Zhang 001 (BMC Medical Informatics Decis. Mak., 2018)

Semantic Provenance Graph for Reproducibility of Biomedical Research Studies: Generating and Analyzing Graph Structures from Published Literature. - Satya S. Sahoo; Joshua Valdez; Michael Rueschman; Matthew Kim (MedInfo, 2019)

ProvCaRe: Characterizing scientific reproducibility of biomedical research studies using semantic provenance metadata. - Satya S. Sahoo; Joshua Valdez; Matthew Kim; Michael Rueschman; Susan Redline (Int. J. Medical Informatics, 2019)

Koopman-Hopf Hamilton-Jacobi Reachability and Control. - Will Sharpless; Nikhil Shinde; Matthew Kim; Yat Tin Chow; Sylvia L. Herbert (CoRR, 2023)

Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions. - Matthew Kim; Will Sharpless; Hyun Joe Jeong; Sander Tonkens; Somil Bansal; Sylvia L. Herbert (CoRR, 2025)