| 2026 | CiE | Termination of Real Linear Loops. | Eike Neumann, Margret Tembo |
| 2026 | MFCS | On Positivity of Exponential-Trigonometric Polynomials and Irrationality Exponents. | Pieter Collins, Bernard Hanzon, Eike Neumann |
| 2025 | CiE | Represented Spaces of Represented Spaces. | Johanna Franklin, Eike Neumann, Arno Pauly, Ccilia Pradic, Manlio Valenti |
| 2025 | CiE | Computably Discrete Represented Spaces. | Eike Neumann, Arno Pauly, Ccilia Pradic, Manlio Valenti |
| 2025 | MFCS | Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. | Eike Neumann |
| 2022 | CiE | On Envelopes and Backward Approximations. | Eike Neumann |
| 2022 | MFCS | Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. | Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell |
| 2021 | ICALP | Decision Problems for Second-Order Holonomic Recurrences. | Eike Neumann, Jol Ouaknine, James Worrell |
| 2021 | MFCS | On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. | Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell |
| 2020 | CONCUR | On Ranking Function Synthesis and Termination for Polynomial Programs. | Eike Neumann, Jol Ouaknine, James Worrell |