Visualizing Why Nondeterministic Finite-State Automata Reject. - Oliwia Kempinski; Marco T. Morazán (CoRR, 2023)

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

Using Computation Graphs to Explain Nondeterminism to Students. - Marco T. Morazán; Oliwia Kempinski (SPLASH-E, 2024)

Visualizing Composed Turing Machines. - Marco T. Morazán; Tijana Minic; Oliwia Kempinski (SPLASH-E, 2024)

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