Search filters

List of works by Maja H. Kirkeby

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

scientific article published on 6 September 2021

Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations

scientific article published on 21 May 2024

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Confluence and Convergence in Probabilistically Terminating Reduction Systems ⬇️

scientific article published on 15 September 2017

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

scientific article published in February 2019

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Energy Consumption and Performance of Heapsort in Hardware and Software ⬇️

scientific article published on 7 April 2022

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems

On proving confluence modulo equivalence for Constraint Handling Rules

scientific article published in January 2017

Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses

scientific article published on 20 January 2020

Semi-inversion of Conditional Constructor Term Rewriting Systems

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Paulina is supported by:

About Paulina

Help