Solving $ mathrm {LIA} ^ star $ Using Approximations. - Maxwell Levatich; Nikolaj S. Bjørner; Ruzica Piskac; Sharon Shoham (VMCAI, 2020)

Supercharging Plant Configurations Using Z3. - Nikolaj S. Bjørner; Maxwell Levatich; Nuno P. Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati (CPAIOR, 2021)

C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. - Maxwell Levatich; Robert Brotzman; Benjamin Flin; Ta Chen; Rajesh Krishnan; Stephen A. Edwards (MILCOM, 2022)