SMT: An interface for localized storm surge modeling. - Tristan Dyer; John W. Baugh Jr. (Adv. Eng. Softw., 2016)

State-Based Formal Methods in Scientific Computation. - John W. Baugh Jr.; Tristan Dyer (ABZ, 2018)

Bounded Verification of Sparse Matrix Computations. - Tristan Dyer; Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2019)

Sterling: A Web-Based Visualizer for Relational Modeling Languages. - Tristan Dyer; John W. Baugh Jr. (ABZ, 2021)

Prototyping Formal Methods Tools: A Protocol Analysis Case Study. - Abigail Siegel; Mia Santomauro; Tristan Dyer; Tim Nelson; Shriram Krishnamurthi (Protocols, Strands, and Logic, 2021)

Applying cognitive principles to model-finding output: the positive value of negative information. - Tristan Dyer; Tim Nelson; Kathi Fisler; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2022)

Forge: A Tool and Language for Teaching Formal Methods. - Tim Nelson; Ben Greenman; Siddhartha Prasad; Tristan Dyer; Ethan Bove; Qianfan Chen; Charles Cutting; Thomas Del Vecchio; Sidney Levine; Julianne Rudner; Ben Ryjikov; Alexander Varga; et al. (Proc. ACM Program. Lang., 2024)