Static Symmetry Breaking in Many-Sorted Finite Model Finding. - Joseph Poremba (CoRR, 2020)

New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding. - Joseph Poremba; Nancy A. Day; Amirhossein Vakili (IEEE Trans. Software Eng., 2023)

Portus: Linking Alloy with SMT-based Finite Model Finding. - Ryan Dancy; Nancy A. Day; Owen Zila; Khadija Tariq; Joseph Poremba (CoRR, 2024)

Cut-sufficient directed 2-commodity multiflow topologies. - Joseph Poremba; F. Bruce Shepherd (Math. Program., 2025)