Stream Fusion in HOL with Code Generation. - Andreas Lochbihler; Alexandra Maximova (Arch. Formal Proofs, 2014)

Stream Fusion for Isabelle's Code Generator - Rough Diamond. - Andreas Lochbihler; Alexandra Maximova (ITP, 2015)

On co-counter-fragments of automata. - Oleksiy Kurganskyy; Alexandra Maximova (CoRR, 2017)

A Tool to Create and Conduct Custom Assessments in Turtle Graphics. - Jeremy Marbach; Alexandra Maximova; Jacqueline Staub (ISSEP, 2022)

Multi-context Physical Computing. - Alexandra Maximova (ITiCSE (2), 2023)

Teaching Programming through Multi-Context Physical Computing. - Alexandra Maximova (ITiCSE (2), 2024)

WebTigerPython - A Low-Floor High-Ceiling Python IDE for the Browser. - Clemens Bachmann; Alexandra Maximova; Tobias Kohn; Dennis Komm (CoRR, 2024)

Finding Misleading Identifiers in Novice Code Using LLMs. - Anna Rechtácková; Alexandra Maximova; Griffin Pitts (SIGCSE (2), 2025)