Synthesis of Geometry Proof Problems. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (AAAI, 2014)

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (CoRR, 2015)

A graph-based approach to construct target-focused libraries for virtual screening. - Misagh Naderi; Chris Alvin; Yun Ding; Supratik Mukhopadhyay; Michal Brylinski (J. Cheminformatics, 2016)

Synthesis of Problems for Shaded Area Geometry Reasoning. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (AIED, 2017)

StaticGen: Static Generation of UML Sequence Diagrams. - Chris Alvin; Brian Peterson; Supratik Mukhopadhyay (FASE, 2017)

Synthesis of Solutions for Shaded Area Geometry Problems. - Chris Alvin; Sumit Gulwani; Rupak Majumdar; Supratik Mukhopadhyay (FLAIRS, 2017)

Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with eMolFrag. - Tairan Liu; Misagh Naderi; Chris Alvin; Supratik Mukhopadhyay; Michal Brylinski (J. Chem. Inf. Model., 2017)

Non-Linear Quest Generation. - Alex Stocker; Chris Alvin (FLAIRS, 2018)

Synthesis of Limit Problems for Single-Variable Calculus. - Blake Glueck; Chris Alvin (FLAIRS, 2019)

Student generation of an optimal decision procedure using guess who? - Chris Alvin (J. Comput. Sci. Coll., 2019)

A case study in software testing: verification of a face identification algorithm for planar graphs. - Drew Whitmire; Chris Alvin (J. Comput. Sci. Coll., 2019)

Analysis of Region-Based Integral Calculus Problems. - Chris Alvin; Adam Byerly (FLAIRS, 2020)

Query-Based Generation of Trigonometric Identity Problems and Solutions. - Meredith Pearce; Jonathan McKinney; Chris Alvin (FLAIRS, 2020)

Empirical Abstraction. - Vivian M. Ho; Chris Alvin; Supratik Mukhopadhyay; Brian Peterson; Jimmie D. Lawson (RV, 2020)

Simple agent analyses for CS1 using british square. - Courtney Brown; Chris Alvin; Lori Alvin; John Harris (J. Comput. Sci. Coll., 2020)

Toward a Competitive Agent Framework for Magic: The Gathering. - Chris Alvin; Michael Bowling; Shaelyn Rivers-Green; Deric Siglin; Lori Alvin (FLAIRS, 2021)

Introducing programming using previewing. - Chris Alvin (J. Comput. Sci. Coll., 2021)

Monte carlo tree search applied to the game abalone. - Joshua Hutson; George Lamb; Chris Alvin (J. Comput. Sci. Coll., 2021)

Searching for all polygons in a geometry figure. - Chase Shaner; Chris Alvin (J. Comput. Sci. Coll., 2021)

Static generation of UML sequence diagrams. - Chris Alvin; Brian Peterson; Supratik Mukhopadhyay (Int. J. Softw. Tools Technol. Transf., 2021)

Ultimate Tic-Tac-Toe Bot Techniques. - Brycen Addison; Michael Peeler; Chris Alvin (FLAIRS, 2022)

Simpson's Paradox and Lagging Progress in Completion Trends of Underrepresented Students in Computer Science. - John Mason Taylor; Rebecca Drucker; Chris Alvin; Syed Fahad Sultan (CoRR, 2023)

The Game Guillotine as Inspiration for a Data Structures Course. - Chris Alvin; Lori Alvin (J. Comput. Sci. Coll., 2023)

The Shrinking Slice of Women and Black Students in a Growing Computer Science Pie: A Preliminary Spatiotemporal Analysis of Longitudinal Completions Data. - Syed Fahad Sultan; Chris Alvin; Rebecca Drucker (J. Comput. Sci. Coll., 2023)

Program analysis using empirical abstraction. - Vivian M. Ho; Chris Alvin; Jimmie D. Lawson; Supratik Mukhopadhyay; Brian Peterson (Int. J. Softw. Tools Technol. Transf., 2023)

KG-DTA: A knowledge graph-based meta-path learning framework to predict drug-target binding affinity. - Amit Ranjan; Adam Bess; Md Saiful Islam Sajol; Magesh Rajasekaran; Chris Alvin; Supratik Mukhopadhyay (AIMLSystems, 2024)

Shortest Walk in a Dungeon Graph. - Christopher Durham; Chris Alvin (FLAIRS, 2024)

Lattice-Based Generation of Euclidean Geometry Figures. - Jonathan Henning; Hanna King; Sophie Ngo; Jake Shore; Alex Gardner; Chris Alvin; Grace Stadnyk (FLAIRS, 2024)

MDF-DTA: A Multi-Dimensional Fusion Approach for Drug-Target Binding Affinity Prediction. - Amit Ranjan; Adam Bess; Chris Alvin; Supratik Mukhopadhyay (J. Chem. Inf. Model., 2024)

Context-Driven English to Japanese Translation with Visitors. - Johnathan Dewey; Chris Alvin (J. Comput. Sci. Coll., 2024)

Artificial Intelligence for Drug Discovery and Environmental Sciences. - Supratik Mukhopadhyay; Chris Alvin; Adam Bess (FLAIRS, 2025)