Myra Dotzel

According to our database, Myra Dotzel authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Modal Crash Types for WAR-Aware Intermittent Computing.

Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia

ACM Trans. Program. Lang. Syst., June, 2025

2023

A Usage-Aware Sequent Calculus for Differential Dynamic Logic.

Myra Dotzel, Stefan Mitsch, André Platzer

CoRR, 2023

Modal Crash Types for Intermittent Computing.

Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia

Proceedings of the Programming Languages and Systems, 2023