On the apolar algebra of a product of linear forms. - Michael DiPasquale; Zachary Flores; Chris Peterson 001 (ISSAC, 2020)

A Formal Algebraic Framework for DSL Composition. - Zachary Flores; Angelo Taranto; Eric Bond (CoRR, 2023)

A Formalization of Operads in Coq. - Zachary Flores; Angelo Taranto; Eric Bond; Yakir Forman (CoRR, 2023)

A construction of optimal quasi-cyclic locally recoverable codes using constituent codes. - Gustavo Terra Bastos; Angelynn Álvarez; Zachary Flores; Adriana Salerno (Des. Codes Cryptogr., 2025)