Maria Bendix Mikkelsen

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

Collaborative distances:

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

2025

Energy-efficiency of software and hardware algorithms.

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

Comput. Sci. Inf. Syst., 2025

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