The MT Architecture and Allocation Algorithm. - Marco T. Morazán; Douglas R. Troeger (Scottish Functional Programming Workshop, 1999)

Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack. - Marco T. Morazán; Douglas R. Troeger; Myles Nash (JIISIC, 2001)

Paging in a Distributed Virtual Memory. - Marco T. Morazán; Douglas R. Troeger; Myles Nash (Scottish Functional Programming Workshop, 2001)

Prefetching List-Based Memory in a DVM System Designed for Functional Languages. - Marco T. Morazán (PDPTA, 2002)

The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System. - Marco T. Morazán; Douglas R. Troeger; Myles Nash (CLEI Electron. J., 2002)

List-Heap Paging in a Distributed Virtual Memory System for Functional Languages. - Marco T. Morazán; Douglas R. Troeger (PDPTA, 2003)

Towards Closureless Functional Languages. - Marco T. Morazán (PLC, 2005)

Exploiting Syntactic Analysis for Lambda Lifting. - Barbara Mucha; Marco T. Morazán (PLC, 2005)

Improved Graph-Based Lambda Lifting. - Marco T. Morazán; Barbara Mucha (Software Engineering Research and Practice, 2006)

Optimal Lambda Lifting in Quadratic Time. - Marco T. Morazán; Ulrik Pagh Schultz (IFL, 2007)

Functional Video Games in the CS1 Classroom. - Marco T. Morazán (Trends in Functional Programming, 2010)

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. - Peter Achten; Marko C. J. D. van Eekelen; Pieter W. M. Koopman; Marco T. Morazán (High. Order Symb. Comput., 2010)

Functional Video Games in CS1 II. - Marco T. Morazán (Trends in Functional Programming, 2011)

Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers. - Marco T. Morazán (The Beauty of Functional Code, 2013)

Bytecode and Memoized Closure Performance. - Marco T. Morazán (Trends in Functional Programming, 2013)

Functional Video Games in CS1 III - Distributed Programming for Beginners. - Marco T. Morazán (Trends in Functional Programming, 2013)

Functional Automata - Formal Languages for Computer Science Students. - Marco T. Morazán; Rosario Antunez (TFPIE, 2014)

Generative and accumulative recursion made fun for beginners. - Marco T. Morazán (Comput. Lang. Syst. Struct., 2015)

Memoized Flat Closures for CPS - or Taming Memory Allocation for lambda λ in CPS. - Marco T. Morazán; Lindsey M. Reams; Nicholas R. Olson; Shamil Dzhatdoyev (TFP, 2017)

Vector Programming Using Structural Recursion. - Marco T. Morazán (TFPIE@TFP, 2017)

FSM Error Messages. - Marco T. Morazán; Josephine A. Des Rosiers (TFPIE@TFP, 2018)

Vector Programming Using Generative Recursion. - Marco T. Morazán (TFPIE@TFP, 2018)

Infusing an HtDP-based CS1 with distributed programming using functional video games. - Marco T. Morazán (J. Funct. Program., 2018)

How to make while loops iterative: an introduction for first-year CS students. - Marco T. Morazán (CSERC, 2020)

Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. - Marco T. Morazán; Joshua M. Schappel; Sachin Mahashabde (TFPIE, 2020)

Using Video Game Development to Motivate Program Design and Algebra Among Inner-City High School Students. - Marco T. Morazán (TFPIE, 2020)

How to Design While Loops. - Marco T. Morazán (TFPIE, 2020)

Design of Classes I. - Marco T. Morazán (TFPIE, 2022)

Introduction to Functional Classes in CS1. - Marco T. Morazán (TFPIE, 2022)

Animated Problem Solving - An Introduction to Program Design Using Video Game Development - Marco T. Morazán (Springer, 2022)

Animated Program Design - Intermediate Program Design Using Video Game Development - Marco T. Morazán (Springer, 2022)

Composing Turing Machines in FSM. - Marco T. Morazán (SPLASH-E, 2023)

Regular Expressions in a CS Formal Languages Course. - Marco T. Morazán (TFPIE, 2023)

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

Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation. - Tijana Minic; Marco T. Morazán (CoRR, 2023)

Proceedings of The 2023 Scheme and Functional Programming Workshop. - Marco T. Morazán (CoRR, 2023)

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)

Nondeterministic to Deterministic Finite-State Machine Visualization: Implementation and Evaluation. - Marco T. Morazán; Tijana Minic (ITiCSE (1), 2024)

Error Messages for Students Taught Using a Systematic Program Design Curriculum. - Shamil Dzhatdoyev; Josephine A. Des Rosiers; Marco T. Morazán (TFP, 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)

Finite-State Automaton To/From Regular Expression Visualization. - Marco T. Morazán; Tijana Minic (TFPIE, 2024)

Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove - Marco T. Morazán (Springer, 2024)

Grammar Verification for Students: A Grammar Design Recipe with Verification Steps. - Marco T. Morazán (CSEDU (2), 2025)

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)