Joachim Tilsted Kristensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2023–2026
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | RC | Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation. | Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen |
| 2024 | RC | Jeopardy: An Invertible Functional Programming Language. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2023 | RC | Tail Recursion Transformation for Invertible Functions. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |