2 citations · 4 across the 7 of their papers we have counts for
7 papers
A Construction of Optimal Quasi-cyclic Locally Recoverable Codes using Constituent Codes
Gustavo Terra Bastos, Angelynn Alvarez, Zachary Flores +1
A locally recoverable code of locality over is a code where every coordinate of a codeword can be recovered using the values of at most other coordinates o…
A Formalization of Operads in Coq
Zachary Flores, Angelo Taranto, Eric Bond +1
What provides the highest level of assurance for correctness of execution within a programming language? One answer, and our solution in particular, to this problem is to provide a…
A Formal Algebraic Framework for DSL Composition
Zachary Flores, Angelo Taranto, Eric Bond
We discuss a formal framework for using algebraic structures to model a meta-language that can write, compose, and provide interoperability between abstractions of DSLs. The purpos…
A generalization of Wilf's conjecture for Generalized Numerical Semigroups
Carmelo Cisto, Michael DiPasquale, Gioia Failla +3
A numerical semigroup is a submonoid of with finite complement in . A generalized numerical semigroup is a submonoid of with finite compleme…
Symmetry, Unimodality, and Lefschetz Properties for Graded Modules
Zachary Flores
We investigate the Weak Lefschetz Properties for modules whose minimal free resolutions are given by generalized Kosuzl complexes in dimension three through a careful study of thei…
On the Weak Lefschetz Property for Vector Bundles on
Gioia Failla, Zachary Flores, Chris Peterson
Let be a standard graded polynomial ring where is an algebraically closed field of characteristic zero. Let be a finite length g…
G-groups of Cohen-Macaulay Rings with -Cluster Tilting Objects
Zachary Flores
Let denote a local Cohen-Macaulay ring such that the category of maximal Cohen-Macaulay -modules contains an -cluster tilting object…