EDBT 2026 Demo / reviewers in the wild / expert
Joachim Tilsted Kristensen
dblp:329/3829
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0000-0002-1619-5944ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 3 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen |
RC | 1 |
| 2024 | Jeopardy: An Invertible Functional Programming Language
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
RC | 1 |
| 2023 | Tail Recursion Transformation for Invertible Functions
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
RC | 1 |