Using SPARK-Ada to Model and Verify a MILS Message Router. - Bryan Rossebo; Paul W. Oman; Jim Alves-Foss; Ryan Blue; Paul Jaszkowiak (ISSSE, 2006)

Visualizing Real-Time Network Resource Usage. - Ryan Blue; Cody Dunne; Adam Fuchs; Kyle King; Aaron Schulman (VizSEC, 2008)

Petabyte-Scale Row-Level Operations in Data Lakehouses. - Anton Okolnychyi; Chao Sun; Kazuyuki Tanimura; Russell Spitzer; Ryan Blue; Szehon Ho; Yufei Gu; Vishwanath Lakkundi; D. B. Tsai (Proc. VLDB Endow., 2024)