Strategic planning in fractional aircraft ownership programs. - Yufeng Yao; Özlem Ergun; Ellis L. Johnson; William Schultz; J. M. Singleton (Eur. J. Oper. Res., 2008)

Tunable Consistency in MongoDB. - William Schultz; Tess Avitabile; Alyson Cabral (Proc. VLDB Endow., 2019)

Design and Analysis of a Logless Dynamic Reconfiguration Protocol. - William Schultz; Siyuan Zhou; Ian Dardik; Stavros Tripakis (OPODIS, 2021)

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. - William Schultz; Siyuan Zhou; Stavros Tripakis (DISC, 2021)

Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. - William Schultz; Siyuan Zhou; Stavros Tripakis (CoRR, 2021)

Formal verification of a distributed dynamic reconfiguration protocol. - William Schultz; Ian Dardik; Stavros Tripakis (CPP, 2022)

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. - William Schultz; Ian Dardik; Stavros Tripakis (FMCAD, 2022)

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. - William Schultz; Ian Dardik; Stavros Tripakis (CoRR, 2022)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching. - Derek Egolf; William Schultz; Stavros Tripakis (FMCAD, 2024)

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. - William Schultz; Edward Ashton; Heidi Howard; Stavros Tripakis (CoRR, 2024)