Alexandra Maximova

According to our database, Alexandra Maximova authored at least 5 papers between 2014 and 2023.

Collaborative distances:

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

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