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
 

2023 | Conference Paper | LibreCat-ID: 35083
UpCy: Safely Updating Outdated Dependencies
A.P. Dann, B. Hermann, E. Bodden, (2023).
LibreCat
 

2023 | Journal Article | LibreCat-ID: 21199 | OA LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 35428 LibreCat | DOI
 

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
 

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
 

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
 

2023 | Journal Article | LibreCat-ID: 35602 | OA
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
 

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
 

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
 

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
 

2023 | Conference Paper | LibreCat-ID: 35426 | OA
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.)
 

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.)
 

2023 | Conference Paper | LibreCat-ID: 35427 | OA
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 38280
Consistent Optical and Electrical Noise Figure
R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
LibreCat | DOI
 

2023 | Preprint | LibreCat-ID: 38031 | OA
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
 

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
 

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
 

2023 | Book Chapter | LibreCat-ID: 40511
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat | DOI
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed