Branching execution symmetry in Jeopardy by available implicit arguments analysis. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (CoRR, 2022)

Tail Recursion Transformation for Invertible Functions. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2023)

pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. - Triera Gashi; Sophie Adeline Solheim Bosio; Joachim Tilsted Kristensen; Michael Kirkedal Thomsen (CoRR, 2023)

Jeopardy: An Invertible Functional Programming Language. - Joachim Tilsted Kristensen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2024)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. - Ján Perhác; Samuel Novotný; Sergej Chodarev; Joachim Tilsted Kristensen; Lars Tveito; Oleks Shturmov; Michael Kirkedal Thomsen (ThEdu@CADE, 2024)