On the Implementation of Dynamic Visualizations: A Case-Study Using FSM Visualizations. - Andrés M. Garced; Tijana Minic; Marco T. Morazán (IFL, 2024)

The Implementation of FSM Computation Graphs. - Marco T. Morazán; Oliwia Kempinski; Andrés M. Garced (IFL, 2024)

Grammar Derivation Visualization in Automata Theory. - Tijana Minic; Andrés M. Garced (SPLASH Companion, 2024)

Visualizing Construction Algorithms for Closure Properties of Regular Languages. - Tijana Minic; Marco T. Morazán; Andrés M. Garced; David Anthony K. Fields (ITiCSE (1), 2025)

Design Support for Multitape Turing Machines. - Marco T. Morazán; Oliwia Kempinski; Andrés M. Garced (CoRR, 2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions. - Marco T. Morazán; Shamil Dzhatdoyev; Josephine A. Des Rosiers; Tijana Minic; Andrés M. Garced; David Anthony K. Fields (CoRR, 2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata. - Marco T. Morazán; David Anthony K. Fields; Andrés M. Garced; Tijana Minic (CoRR, 2025)