Concepedia

Matt Brown

MB

Statistics

Publications

6

Citations

237

H-Index

6

Active since

2007

Affiliations

University of California, Los Angeles(Current)

Matt Brown is an author at University of California, Los Angeles specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisProgramming LanguagesSurgeryMedicine

Publications per year

2007–2021

6

Publications

6

A computer-aided diagnosis system for quantitative scoring of extent of lung fibrosis in scleroderma patients.

H G Kim, Donald P. Tashkin, Philip J. Clements et al. · PubMed · 2010 · 132 citations · Full text

Volumetric measurements are preferred in the evaluation of mutant IDH inhibition in non-enhancing diffuse gliomas: Evidence from a phase I trial of ivosidenib

Benjamin M. Ellingson, Grace Hyun J. Kim, Matt Brown et al. · Neuro-Oncology · 2021 · 56 citations · Full text

The Lung Image Database Consortium (LIDC) data collection process for nodule detection and annotation

Michael F. McNitt‐Gray, Samuel G. Armato, Charles R. Meyer et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2007 · 13 citations

Computed Tomography, Data Collection Process, Engineering +25

Breaking through the normalization barrier: a self-interpreter for f-omega

Matt Brown, Jens Palsberg · 2016 · 13 citations

Engineering, Verification, Computational Model Theory +16

Self-Representation in Girard's System U

Matt Brown, Jens Palsberg · 2014 · 12 citations

Engineering, Type Theory, Formal Verification +17

1–5 of 6