About
Eike Neumann is a Lecturer in the Department of Computer Science, Swansea University.
Dr Eike Neumann
Lecturer,
Computer Science
Office - 310
Third Floor
Computational Foundry
Bay Campus
Third Floor
Computational Foundry
Bay Campus
Research Links
Areas Of Expertise
- Computable Analysis
- Computational Complexity
- Reachability Problems for Dynamical Systems
Publications
Research Highlights
-
Neumann, E. (2023). On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. In Olivier Bournez, Enrico Formenti, Igor Potapov (Ed.), Lecture Notes in Computer Science (pp. 98-112). Springer Nature Switzerland
-
D'Costa, J., Engel, L., Neumann, E., Ouaknine, J., & Worrell, J. (2022). Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In LIPIcs, MFCS 2022Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany.
-
Neumann, E. (2022). Uniform Envelopes. Logical Methods in Computer Science, 18(3), 8:1-8:34.
-
Neumann, E. (2022). On the computability of the set of automorphisms of the unit square. Theoretical Computer Science, 903, 74-83.
-
Konečný, M. & Neumann, E. (2021). Representations and evaluation strategies for feasibly approximable functions. Computability, 10(1), 63-89.
-
Neumann, E. (2021). Decision problems for linear recurrences involving arbitrary real numbers. Logical Methods in Computer Science, 17(3), 16:1-16:26.
-
Neumann, E., Ouaknine, J., & Worrell, J. (2021). Decision Problems for Second-Order Holonomic Recurrences. In Nikhil Bansal, Emanuela Merelli, James Worrell (Ed.), 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (pp. 99:1-99:20). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
-
Lefaucheux, E., D'Costa, J., Neumann, E., Ouaknine, J., & Worrell, J. (2021). On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. In Bonchi, Filippo and Puglisi, Simon J. (Ed.), 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) (pp. 33:1-33:21). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
-
Neumann, E. & Steinberg, F. (2020). Parametrised second-order complexity theory with applications to the study of interval computation. Theoretical Computer Science, 806, 281-304.
-
Neumann, E., Ouaknine, J., & Worrell, J. (2020). On Ranking Function Synthesis and Termination for Polynomial Programs. In Igor Konnov and Laura Kovács (Ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
All Research
Journal Articles
-
Neumann, E. (2022). Uniform Envelopes. Logical Methods in Computer Science, 18(3), 8:1-8:34.
-
Neumann, E. (2022). On the computability of the set of automorphisms of the unit square. Theoretical Computer Science, 903, 74-83.
-
Neumann, E. (2021). Decision problems for linear recurrences involving arbitrary real numbers. Logical Methods in Computer Science, 17(3), 16:1-16:26.
-
Konečný, M. & Neumann, E. (2021). Representations and evaluation strategies for feasibly approximable functions. Computability, 10(1), 63-89.
-
Neumann, E. & Steinberg, F. (2020). Parametrised second-order complexity theory with applications to the study of interval computation. Theoretical Computer Science, 806, 281-304.
-
Neumann, E., Pape, M., & Streicher, T. (2018). Computability in Basic Quantum Mechanics. Logical Methods in Computer Science, 14(2)
-
Neumann, E., Neumann, E., & Pauly, A. (2018). A topological view on algebraic computation models. Journal of Complexity, 44, 1-22.
-
Neumann, E. (2015). Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees. Logical Methods in Computer Science, 11(4)
Book Chapters
-
Neumann, E. (2023). On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. In Olivier Bournez, Enrico Formenti, Igor Potapov (Ed.), Lecture Notes in Computer Science (pp. 98-112). Springer Nature Switzerland
Conference Contributions
-
D'Costa, J., Engel, L., Neumann, E., Ouaknine, J., & Worrell, J. (2022). Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In LIPIcs, MFCS 2022Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany.
-
Lefaucheux, E., D'Costa, J., Neumann, E., Ouaknine, J., & Worrell, J. (2021). On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. In Bonchi, Filippo and Puglisi, Simon J. (Ed.), 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) (pp. 33:1-33:21). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
-
Neumann, E., Ouaknine, J., & Worrell, J. (2021). Decision Problems for Second-Order Holonomic Recurrences. In Nikhil Bansal, Emanuela Merelli, James Worrell (Ed.), 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (pp. 99:1-99:20). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
-
Neumann, E., Ouaknine, J., & Worrell, J. (2020). On Ranking Function Synthesis and Termination for Polynomial Programs. In Igor Konnov and Laura Kovács (Ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
Supervision
-
Automated Verification of Dynamical Systems over Continuous Data (current)
PhDOther supervisor: Dr Ulrich Berger -
An empirical evaluation of a quality assurance process: A case study in the railway sector (current)
MScOther supervisor: Prof Markus Roggenbach
Taught Modules
-
CSC318 Cryptography and IT-Security
The aim of this course is to examine theoretical and practical aspects of computer and network security.
-
CSC318B Cryptography and IT-Security
The aim of this course is to examine theoretical and practical aspects of computer and network security.
-
CSC364 Software Testing
Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exercises will allow the students to gain hands-on experience.
-
CSCM18 IT-Security: Cryptography and Network Security
The aim of this course is to examine theoretical and practical aspects of computer and network security.
-
CSCM18J IT-Security: Cryptography and Network Security
The aim of this course is to examine theoretical and practical aspects of computer and network security.
-
CSCM64 Software Testing
Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will provide an in-depth introduction to various test scenarios and enable students to gain hands-on experience by means of a number of practical exercises.