Matthew Brendon Might

Associate Professor

  • 589 Citations
  • 15 h-Index
20062018
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 3 Similar Profiles
Flow control Engineering & Materials Science
Static analysis Engineering & Materials Science
Concretes Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Abstract Interpretation Mathematics
Semantics Engineering & Materials Science
Rare Diseases Medicine & Life Sciences
Exome Medicine & Life Sciences

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2006 2018

Abstract allocation as a unified approach to polyvariance in control-flow analyses

Gilray, T., Adams, M. D. & Might, M. B., Jan 1 2018, (Accepted/In press) In : Journal of Functional Programming.

Research output: Contribution to journalArticle

Flow control
Semantics
Syntactics
Tuning

A comprehensive approach to identifying repurposed drugs to treat SCN8A epilepsy

Atkin, T. A., Maher, C. M., Gerlach, A. C., Gay, B. C., Antonio, B. M., Santos, S. C., Padilla, K. M., Rader, J. A., Krafte, D. S., Fox, M. A., Stewart, G. R., Petrovski, S., Devinsky, O., Might, M., Petrou, S. & Goldstein, D. B., Apr 1 2018, In : Epilepsia. 59, 4, p. 802-813 12 p.

Research output: Contribution to journalArticle

Drug Repositioning
Sodium Channels
Epilepsy
Mutation
nilvadipine

anexVis: Visual analytics framework for analysis of RNA expression

Tran, D. T., Zhang, T., Stutsman, R., Might, M. B., Desai, U. R. & Balagurunathan, K., Jan 1 2018, In : Bioinformatics. 34, 14, p. 2510-2512 3 p.

Research output: Contribution to journalArticle

Visual Analytics
RNA
Glycosaminoglycans
Leverage
Pathway

A simple complete search for logic programming

Hemann, J., Friedman, D. P., Byrd, W. E. & Might, M., Feb 1 2018, Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 58. 14

Research output: Chapter in Book/Report/Conference proceedingConference contribution

DSL
Depth-first Search
Logic programming
Logic Programming
logic
2 Citations

Biallelic Mutations in ATP5F1D, which Encodes a Subunit of ATP Synthase, Cause a Metabolic Disorder

Undiagnosed Diseases Network, Mar 1 2018, In : American Journal of Human Genetics. 102, 3, p. 494-504 11 p.

Research output: Contribution to journalArticle

Mitochondrial Diseases
Adenosine Triphosphate
Mitochondrial Proton-Translocating ATPases
Head
Hyperammonemia