Stochastic Newton and Quasi-Newton Methods for Large Linear Least-squares Problems. - Julianne Chung; Matthias Chung; J. Tanner Slagel; Luis Tenorio (CoRR, 2017)

Iterative Sampled Methods for Massive and Separable Nonlinear Inverse Problems. - Julianne Chung; Matthias Chung; J. Tanner Slagel (SSVM, 2019)

Sampled Limited Memory Methods for Massive Linear Inverse Problems. - Julianne Chung; Matthias Chung; J. Tanner Slagel; Luis Tenorio (CoRR, 2019)

Formal verification of semi-algebraic sets and real analytic functions. - J. Tanner Slagel; Lauren M. White; Aaron Dutle (CPP, 2021)

Towards an implementation of differential dynamic logic in PVS. - J. Tanner Slagel; César A. Muñoz; Swee Balachandran; Mariano M. Moscato; Aaron Dutle; Paolo Masci 001; Lauren M. White (SOAP@PLDI, 2022)

Embedding Differential Dynamic Logic in PVS. - J. Tanner Slagel; Mariano M. Moscato; Lauren M. White; César A. Muñoz; Swee Balachandran; Aaron Dutle (LSFA/HCVS, 2023)

A Temporal Differential Dynamic Logic Formal Embedding. - Lauren M. White; Laura Titolo; J. Tanner Slagel; César A. Muñoz (CPP, 2024)

A Formal Verification Framework for Runtime Assurance. - J. Tanner Slagel; Lauren M. White; Aaron Dutle; César A. Muñoz; Nicolas Crespo (NFM, 2024)

MAPT: A Near Real-Time Adaptive Multipath Modeling and Clustering Algorithm for GNSS Urban Positioning. - Julian Gutierrez 005; Russell Gilabert; J. Tanner Slagel; Evan Dill; Pau Closas (PLANS, 2025)