Development of automatically verifiable systems using data representation synthesis. - Bryce W. Cronkite-Ratcliff (SPLASH (Companion Volume), 2013)

MSMExplorer: visualizing Markov state models for biomolecule folding simulations. - Bryce W. Cronkite-Ratcliff; Vijay Pande (Bioinform., 2013)

Virtualized Congestion Control. - Bryce W. Cronkite-Ratcliff; Aran Bergman; Shay Vargaftik; Madhusudhan Ravi; Nick McKeown; Ittai Abraham; Isaac Keslassy (SIGCOMM, 2016)

A community palm model. - Nicholas Clinton; Andreas Vollrath; Rémi D'Ánnunzio; Desheng Liu; Henry B. Glick; Adrià Descals; Alicia Sullivan; Oliver Guinan; Jacob Abramowitz; Fred Stolle; Chris Goodman; Tanya Birch; et al. (CoRR, 2024)