| 2025 | AAAI | Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. | Jorge Fandinno, Zachary Hansen |
| 2025 | ICLP | Formal Verification of Answer Set Programs Containing Advanced Language Constructs. | Zachary Hansen |
| 2025 | PADL | SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. | Zachary Hansen, Yuliya Lierler |
| 2025 | SIGITE | BAIT: A Social Engineering Practice Platform. | Benjamin L. Schooley, Derek Hansen, Jackson Knepper, Zachary Hansen, Spencer Smith, Ezra Bradley, Tyler Bosco Holland, Jonathan Allan Houston, Ethan Beere, Barry M. Lunt |
| 2023 | ICLP | Recursive Aggregates as Intensional Functions. | Jorge Fandinno, Zachary Hansen |
| 2022 | AAAI | Axiomatization of Aggregates in Answer Set Programming. | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
| 2022 | LPNMR | Arguing Correctness of ASP Programs with Aggregates. | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
| 2022 | LPNMR | Semantics for Conditional Literals via the SM Operator. | Zachary Hansen, Yuliya Lierler |