Eike Neumann - RankMe

32 papers A* 1B 4C 3Journal 22Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Computably Discrete Represented Spaces. CiE Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025	J	`jnl`	Computably discrete represented spaces. CoRR Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025	B	`conf`	Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. MFCS Eike Neumann
2025	J	`jnl`	Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. CoRR Eike Neumann
2025	C	`conf`	Represented Spaces of Represented Spaces. CiE Johanna Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2024	J	`jnl`	Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. Sewon Park, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
2024	J	`jnl`	The equational theory of the Weihrauch lattice with multiplication. CoRR Eike Neumann, Arno Pauly, Cécilia Pradic
2023	—	`conf`	On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. RP Eike Neumann
2023	J	`jnl`	On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. CoRR Eike Neumann
2022	B	`conf`	Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. MFCS Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022	J	`jnl`	Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. CoRR Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022	C	`conf`	On Envelopes and Backward Approximations. CiE Eike Neumann
2022	J	`jnl`	On the computability of the set of automorphisms of the unit square. Theor. Comput. Sci. Eike Neumann
2022	J	`jnl`	Uniform Envelopes. Log. Methods Comput. Sci. Eike Neumann
2021	A*	`conf`	Decision Problems for Second-Order Holonomic Recurrences. ICALP Eike Neumann, Joël Ouaknine, James Worrell
2021	J	`jnl`	Decision problems for linear recurrences involving arbitrary real numbers. Log. Methods Comput. Sci. Eike Neumann
2021	B	`conf`	On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. MFCS Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021	J	`jnl`	On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. CoRR Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021	J	`jnl`	Representations and evaluation strategies for feasibly approximable functions. Comput. Michal Konecný, Eike Neumann
2021	J	`jnl`	Uniform Envelopes. CoRR Eike Neumann
2020	J	`jnl`	Decision problems for linear recurrences involving arbitrary real numbers. CoRR Eike Neumann
2020	B	`conf`	On Ranking Function Synthesis and Termination for Polynomial Programs. CONCUR Eike Neumann, Joël Ouaknine, James Worrell
2020	J	`jnl`	Parametrised second-order complexity theory with applications to the study of interval computation. Theor. Comput. Sci. Eike Neumann, Florian Steinberg
2019	J	`jnl`	Implementing evaluation strategies for continuous real functions. CoRR Michal Konecný, Eike Neumann
2019	—	`—`	Universal envelopes of discontinuous functions. Eike Neumann
2018	J	`jnl`	A topological view on algebraic computation models. J. Complex. Eike Neumann, Arno Pauly
2018	J	`jnl`	Computability in Basic Quantum Mechanics. Log. Methods Comput. Sci. Eike Neumann, Martin Pape, Thomas Streicher
2017	J	`jnl`	Parametrised second-order complexity theory with applications to the study of interval computation. CoRR Eike Neumann, Florian Steinberg
2017	J	`jnl`	Representations and evaluation strategies for feasibly approximable functions. CoRR Michal Konecný, Eike Neumann
2017	J	`jnl`	The Fréchet distance of surfaces is computable. CoRR Eike Neumann
2016	J	`jnl`	A topological view on algebraic computation models. CoRR Eike Neumann, Arno Pauly
2015	J	`jnl`	Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees. Log. Methods Comput. Sci. Eike Neumann