Chris Alvin

J. Chem. Inf. Model., 2024

Lattice-Based Generation of Euclidean Geometry Figures.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024

Shortest Walk in a Dungeon Graph.

[BibT_eX]

[DOI]

Christopher Durham

Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024

2023

Program analysis using empirical abstraction.

[BibT_eX]

[DOI]

Vivian M. Ho

Jimmie D. Lawson

Int. J. Softw. Tools Technol. Transf., August, 2023

Simpson's Paradox and Lagging Progress in Completion Trends of Underrepresented Students in Computer Science.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Ultimate Tic-Tac-Toe Bot Techniques.

[BibT_eX]

[DOI]

Brycen Addison

Michael Peeler

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Static generation of UML sequence diagrams.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Toward a Competitive Agent Framework for Magic: The Gathering.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

2020

Empirical Abstraction.

[BibT_eX]

[DOI]

Vivian M. Ho

Jimmie D. Lawson

Proceedings of the Runtime Verification - 20th International Conference, 2020

Query-Based Generation of Trigonometric Identity Problems and Solutions.

[BibT_eX]

[DOI]

Meredith Pearce

Jonathan McKinney

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Analysis of Region-Based Integral Calculus Problems.

[BibT_eX]

[DOI]

Adam Byerly

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

2019

Synthesis of Limit Problems for Single-Variable Calculus.

[BibT_eX]

[DOI]

Blake Glueck

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

2018

Non-Linear Quest Generation.

[BibT_eX]

[DOI]

Alex Stocker

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

2017

Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with <i>e</i>MolFrag.

[BibT_eX]

[DOI]

Tairan Liu

Misagh Naderi

Michal Brylinski

J. Chem. Inf. Model., 2017

Synthesis of Solutions for Shaded Area Geometry Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

StaticGen: Static Generation of UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Synthesis of Problems for Shaded Area Geometry Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

2016

A graph-based approach to construct target-focused libraries for virtual screening.

[BibT_eX]

[DOI]

Misagh Naderi

Yun Ding

Michal Brylinski

J. Cheminformatics, 2016

2015

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Synthesis of Geometry Proof Problems.

[BibT_eX]

[DOI]