DMM-GAPBS: Adapting the GAP Benchmark Suite to a Distributed Memory Model. - Zach Hansen; Brody Williams; John D. Leidel; Xi Wang 009; Yong Chen 001 (HPEC, 2021)

Axiomatization of Aggregates in Answer Set Programming. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler (AAAI, 2022)

Arguing Correctness of ASP Programs with Aggregates. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler (LPNMR, 2022)

Semantics for Conditional Literals via the SM Operator. - Zachary Hansen; Yuliya Lierler (LPNMR, 2022)

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers. - Zach Hansen; Hanxiang Du; Wanli Xing; Rory Eckel; Justin Lugo; Yuanlin Zhang 002 (ICLP Technical Communications / Doctoral Consortium, 2022)

Tools and Methodologies for Verifying Answer Set Programs. - Zach Hansen (ICLP Technical Communications / Doctoral Consortium, 2022)

Recursive Aggregates as Intensional Functions. - Jorge Fandinno; Zachary Hansen (ICLP Workshops, 2023)

External Behavior of a Logic Program and Verification of Refactoring. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler; Vladimir Lifschitz; Nathan Temple (Theory Pract. Log. Program., 2023)

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler (J. Artif. Intell. Res., 2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification. - Zachary Hansen (ICLP, 2024)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. - Jorge Fandinno; Zachary Hansen (AAAI, 2025)

SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. - Zachary Hansen; Yuliya Lierler (PADL, 2025)

Anthem 2.0: Automated Reasoning for Answer Set Programming. - Jorge Fandinno; Christoph Glinzer; Zachary Hansen; Jan Heuer; Yuliya Lierler; Vladimir Lifschitz; Torsten Schaub; Tobias Stolzmann (CoRR, 2025)