Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
8787 Publications
2023 | Journal Article | LibreCat-ID: 34793
Aspects of control theory on infinite-dimensional Lie groups and G-manifolds
H. Glöckner, J. Hilgert, Journal of Differential Equations 343 (2023) 186–232.
LibreCat
| DOI
H. Glöckner, J. Hilgert, Journal of Differential Equations 343 (2023) 186–232.
2023 | Conference Paper | LibreCat-ID: 35083
UpCy: Safely Updating Outdated Dependencies
A.P. Dann, B. Hermann, E. Bodden, (2023).
LibreCat
A.P. Dann, B. Hermann, E. Bodden, (2023).
2023 | Journal Article | LibreCat-ID: 21199 | 
On the Universal Transformation of Data-Driven Models to Control Systems
S. Peitz, K. Bieker, Automatica 149 (2023).
LibreCat
| DOI
| Download (ext.)
S. Peitz, K. Bieker, Automatica 149 (2023).
2023 | Journal Article | LibreCat-ID: 35428
Dimensioning and Lifetime Prediction Model for a Hybrid, Hydrogen-Based Household PV Energy System Using Matlab/Simulink
M.C. Möller, S. Krauter, Solar 3 (2023) 25–48.
LibreCat
| DOI
M.C. Möller, S. Krauter, Solar 3 (2023) 25–48.
2023 | Book Chapter | LibreCat-ID: 35697
Supporting Students in Developing Adequate Concept Images and Definitions at University: The Case of the Convergence of Sequences
L. Ostsieker, R. Biehler, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023, pp. 181–201.
LibreCat
| DOI
L. Ostsieker, R. Biehler, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023, pp. 181–201.
2023 | Book Chapter | LibreCat-ID: 35678
Analyzing the Interface Between Mathematics and Engineering in Basic Engineering Courses
J. Kortemeyer, R. Biehler, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023, pp. 669–692.
LibreCat
| DOI
J. Kortemeyer, R. Biehler, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023, pp. 669–692.
2023 | Book Chapter | LibreCat-ID: 35669
Practice-Oriented Research in Tertiary Mathematics Education – An Introduction
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
LibreCat
| DOI
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
2023 | Journal Article | LibreCat-ID: 35602 |
Segment-Less Continuous Speech Separation of Meetings: Training and Evaluation Criteria
T. von Neumann, K. Kinoshita, C. Boeddeker, M. Delcroix, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing 31 (2023) 576–589.
LibreCat
| Files available
| DOI
T. von Neumann, K. Kinoshita, C. Boeddeker, M. Delcroix, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing 31 (2023) 576–589.
2023 | Book Chapter | LibreCat-ID: 35681
Framing Goals of Mathematics Support Measures
M. Liebendörfer, C. Büdenbender-Kuklinski, E. Lankeit, M. Schürmann, R. Biehler, N. Schaper, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023, pp. 91–117.
LibreCat
| DOI
M. Liebendörfer, C. Büdenbender-Kuklinski, E. Lankeit, M. Schürmann, R. Biehler, N. Schaper, in: Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023, pp. 91–117.
2023 | Book (Editor) | LibreCat-ID: 37469
Practice-Oriented Research in Tertiary Mathematics Education
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, eds., Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
LibreCat
| DOI
R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, eds., Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.
2023 | Conference Paper | LibreCat-ID: 37553
Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
LibreCat
| DOI
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35426 |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Conference Paper | LibreCat-ID: 36848
Benchmark Fuzzing for Android Taint Analyses
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
LibreCat
| DOI
| Download (ext.)
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35427 |
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Journal Article | LibreCat-ID: 38280
Consistent Optical and Electrical Noise Figure
R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
LibreCat
| DOI
R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
2023 | Preprint | LibreCat-ID: 38031 |
Error bounds for kernel-based approximations of the Koopman operator
F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, ArXiv:2301.08637 (2023).
LibreCat
| Download (ext.)
| arXiv
F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, ArXiv:2301.08637 (2023).
2023 | Journal Article | LibreCat-ID: 36294
The Dunkl-Laplace transform and Macdonald’s hypergeometric series
D. Brennecken, M. Rösler, Transaction of the American Mathematical Society (n.d.).
LibreCat
| DOI
D. Brennecken, M. Rösler, Transaction of the American Mathematical Society (n.d.).
2023 | Mastersthesis | LibreCat-ID: 40440
Updatable Privacy-Preserving Reputation System based on Blockchain
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
2023 | Book Chapter | LibreCat-ID: 40511
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat
| DOI
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
2023 | Journal Article | LibreCat-ID: 33947
Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
LibreCat
| DOI
| arXiv
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.