Trosolwg
Mae Eike Neumann yn Ddarlithydd yn yr Adran Gyfrifiadureg ym Mhrifysgol Abertawe.
Dr Eike Neumann
Lecturer
Computer Science
310
Trydydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae
Trydydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae
Dolenni Ymchwil
Meysydd Arbenigedd
- Dadansoddi Cyfrifadwy
- Cymhlethdod Cyfrifiadol
- Problemau Cyraeddadwyedd ar gyfer Systemau Dynamegol
Cyhoeddiadau
Uchafbwyntiau Ymchwil
-
Neumann, E. (2025). Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. In Leibniz International Proceedings in Informatics (LIPIcs) (pp. 79:1-79:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
-
Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Computably Discrete Represented Spaces. In Lecture Notes in Computer Science (pp. 349-364). Springer Nature Switzerland.
-
Franklin, J., Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Represented Spaces of Represented Spaces. In Lecture Notes in Computer Science (pp. 47-61). Springer Nature Switzerland.
-
Park, S., Brauße, F., Collins, P., Kim, S., Konečný, M., Lee, G., Müller, N., Neumann, E., Preining, N., & Ziegler, M. (2024). Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Logical Methods in Computer Science, 20(2)
-
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.
Holl Ymchwil
Erthyglau Cylchgronau
-
Park, S., Brauße, F., Collins, P., Kim, S., Konečný, M., Lee, G., Müller, N., Neumann, E., Preining, N., & Ziegler, M. (2024). Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Logical Methods in Computer Science, 20(2)
-
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)
Penodau Llyfrau
-
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
Cyfraniadau Cynadleddau
-
Neumann, E. (2025). Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. In Leibniz International Proceedings in Informatics (LIPIcs) (pp. 79:1-79:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
-
Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Computably Discrete Represented Spaces. In Lecture Notes in Computer Science (pp. 349-364). Springer Nature Switzerland.
-
Franklin, J., Neumann, E., Pauly, A., Pradic, C., & Valenti, M. (2025). Represented Spaces of Represented Spaces. In Lecture Notes in Computer Science (pp. 47-61). 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.
-
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.
Goruchwyliaeth
-
Extending the state-of-the-art in Software Certification: A Study in Railway Signalling (SoftCert) (cyfredol)
PhDGoruchwyliwr arall: Prof Markus Roggenbach -
Automated Verification of Dynamical Systems over Continuous Data (cyfredol)
PhDGoruchwyliwr arall: Dr Ulrich Berger -
An Empirical Evaluation of a Quality Assurance Process: A Case Study in the Railway Sector (dyfarnwyd 2025)
MScGoruchwyliwr arall: Prof Markus Roggenbach
Modiwlau a Addysgir
-
CSC318 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.