Maria Bendix Mikkelsen

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Term Rewriting Systems

Energy Consumption

Laplace Transform

Query Optimization

Top Venues

Publications

Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
Energy Consumption and Performance of Heapsort in Hardware and Software. CoRR (2022)
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. VPT@ETAPS (2021)