A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl). - Yannick Forster 002; Felix Jahn; Gert Smolka (CPP, 2023)

Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq. - Yannick Forster 002; Felix Jahn (CSL, 2023)

Counterfactual Explanations for MITL Violations. - Bernd Finkbeiner; Felix Jahn; Julian Siber (FSTTCS, 2024)

Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents. - Kevin Baum 001; Lisa Dargasz; Felix Jahn; Timo P. Gros; Verena Wolf (CoRR, 2024)