| 2026 | FlAIRS | Computational Models of Player Strategy in Roguelike Games. | Chris Alvin |
| 2026 | FlAIRS | FLAIRS-39 Proceedings Preface. | Chris Alvin, Ismal Biskri |
| 2026 | FlAIRS | Fragment-Based AI for Antibiotic Discovery. | Chris Alvin, Adam Bess, Supratik Mukhopadhyay |
| 2025 | FlAIRS | Artificial Intelligence for Drug Discovery and Environmental Sciences. | Supratik Mukhopadhyay, Chris Alvin, Adam Bess |
| 2024 | FlAIRS | Shortest Walk in a Dungeon Graph. | Christopher Durham, Chris Alvin |
| 2024 | FlAIRS | Lattice-Based Generation of Euclidean Geometry Figures. | Jonathan Henning, Hanna King, Sophie Ngo, Jake Shore, Alex Gardner, Chris Alvin, Grace Stadnyk |
| 2022 | FlAIRS | Ultimate Tic-Tac-Toe Bot Techniques. | Brycen Addison, Michael Peeler, Chris Alvin |
| 2021 | FlAIRS | Toward a Competitive Agent Framework for Magic: The Gathering. | Chris Alvin, Michael Bowling, Shaelyn Rivers-Green, Deric Siglin, Lori Alvin |
| 2020 | FlAIRS | Analysis of Region-Based Integral Calculus Problems. | Chris Alvin, Adam Byerly |
| 2020 | FlAIRS | Query-Based Generation of Trigonometric Identity Problems and Solutions. | Meredith Pearce, Jonathan McKinney, Chris Alvin |
| 2020 | RV | Empirical Abstraction. | Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson |
| 2019 | FlAIRS | Synthesis of Limit Problems for Single-Variable Calculus. | Blake Glueck, Chris Alvin |
| 2018 | FlAIRS | Non-Linear Quest Generation. | Alex Stocker, Chris Alvin |
| 2017 | AIED | Synthesis of Problems for Shaded Area Geometry Reasoning. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2017 | FASE | StaticGen: Static Generation of UML Sequence Diagrams. | Chris Alvin, Brian Peterson, Supratik Mukhopadhyay |
| 2017 | FlAIRS | Synthesis of Solutions for Shaded Area Geometry Problems. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2014 | AAAI | Synthesis of Geometry Proof Problems. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |