Hongjun Zheng

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Finite-state Verification Techniques, Engineering, Program Checking +15

Specificity of Polysaccharide Use in Intestinal Bacteroides Species Determines Diet-Induced Microbiota Alterations

Erica D. Sonnenburg, Hongjun Zheng, Payal Joglekar et al. · Cell · 2010 · 734 citations · Full text

Microbiota Structure, Microbiota Function, Polysaccharide Use +11

Glycan complexity dictates microbial resource allocation in the large intestine

Artur Rogowski, Jonathon A. Briggs, Jenny C. Mortimer et al. · Nature Communications · 2015 · 400 citations · Full text

Structural basis for nutrient acquisition by dominant members of the human gut microbiota

Amy J. Glenwright, Karunakar R. Pothula, Satya Prathyusha Bhamidimarri et al. · Nature · 2017 · 224 citations · Full text

Dysbiosis, Host-microbe Interactions, Human Gut Microbiota +17

Tool-supported program abstraction for finite-state verification

Matthew B. Dwyer, John Hatcliff, Roby Joehanes et al. · International Conference on Software Engineering · 2001 · 127 citations

Program Checking, Engineering, Verification +19