Omitting types and AF algebras. - Kevin Carlson; Enoch Cheung; Ilijas Farah; Alexander Gerhardt-Bourke; Bradd Hart; Leanne Mezuman; Nigel Sequeira; Alexander Sherman (Arch. Math. Log., 2014)

Flight Demonstration and Model Validation of a Prototype Variable-Altitude Venus Aerobot. - Jacob S. Izraelevitz; Siddharth Krishnamoorthy; Ashish Goel; Caleb Turner; Carolina Aiazzi; Michael T. Pauken; Kevin Carlson; Gerald Walsh; Carl Leake; Carlos Quintana; Christopher Lim; Abhinandan Jain; et al. (CoRR, 2024)

Porous Convection in the Discrete Exterior Calculus with Geometric Multigrid. - Luke Morris; George Rauta; Kevin Carlson; James Fairbanks (CoRR, 2025)