Many bounded versions of undecidable problems are NP-hard. - Andreas Klingler; Mirte van der Eyden; Sebastian Stengele; Tobias Reinhart; Gemma De las Cuevas (CoRR, 2022)

A Framework for Universality in Physics, Computer Science, and Beyond. - Tomás Gonda; Tobias Reinhart; Sebastian Stengele; Gemma De les Coves (CoRR, 2023)