Alexandra Maximova

According to our database, Alexandra Maximova authored at least 8 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

WebTigerPython: A Low-Floor High-Ceiling Python IDE for the Browser.

Clemens Bachmann, Alexandra Maximova, Tobias Kohn, Dennis Komm

Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, 2026

2025

Finding Misleading Identifiers in Novice Code Using LLMs.

Anna Rechtácková, Alexandra Maximova, Griffin Pitts

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

2024

Teaching Programming through Multi-Context Physical Computing.

Alexandra Maximova

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2, 2024

2023

Multi-context Physical Computing.

Alexandra Maximova

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

2022

A Tool to Create and Conduct Custom Assessments in Turtle Graphics.

Jeremy Marbach, Alexandra Maximova, Jacqueline Staub

Proceedings of the Informatics in Schools. A Step Beyond Digital Education, 2022

2017

On co-counter-fragments of automata.

Oleksiy Kurganskyy, Alexandra Maximova

CoRR, 2017

2015

Stream Fusion for Isabelle's Code Generator - Rough Diamond.

Andreas Lochbihler, Alexandra Maximova

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014

Stream Fusion in HOL with Code Generation.

Andreas Lochbihler, Alexandra Maximova

Arch. Formal Proofs, 2014