Alexandra Maximova

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 4

Top Topics

Contextual Information

Automatically Generated

Special Effects

Top Venues

Publications

Alexandra Maximova
Teaching Programming through Multi-Context Physical Computing. ITiCSE (2) (2024)
Alexandra Maximova
Multi-context Physical Computing. ITiCSE (2) (2023)
Jeremy Marbach, Alexandra Maximova, Jacqueline Staub
A Tool to Create and Conduct Custom Assessments in Turtle Graphics. ISSEP (2022)
Oleksiy Kurganskyy, Alexandra Maximova
On co-counter-fragments of automata. CoRR (2017)
Andreas Lochbihler, Alexandra Maximova
Stream Fusion for Isabelle's Code Generator - Rough Diamond. ITP (2015)
Andreas Lochbihler, Alexandra Maximova
Stream Fusion in HOL with Code Generation. Arch. Formal Proofs 2014 (2014)