Maria Bendix Mikkelsen

According to our database, Maria Bendix Mikkelsen authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

2022

Energy Consumption and Performance of Heapsort in Hardware and Software.

Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman

CoRR, 2022

2021

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion.

Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021