Nachtigall, M., Schlichtig, M., &; Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V.
LibreCat: /record/52662

Schlichtig, M., Sassalla, S., Narasimhan, K., &; Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.
LibreCat: /record/52660

Celledoni, E., Glöckner, H., Riseth, J., &; Schmeding, A. (2023). Deep neural networks on diffeomorphism groups for optimal shape reparametrization. BIT Numerical Mathematics, 63, Article 50.https://doi.org/10.1007/s10543-023-00989-05 
LibreCat: /record/34803
DOI: 10.1007/s10543-023-00989-05
arXiv: 2207.11141

Glöckner, H., &; Hilgert, J. (2023). Aspects of control theory on infinite-dimensional Lie groups and G-manifolds. Journal of Differential Equations, 343, 186–232.https://doi.org/10.1016/j.jde.2022.10.001 
LibreCat: /record/34793
DOI: 10.1016/j.jde.2022.10.001
arXiv: 2007.11277

Glöckner, H. (2023). Diffeomorphism groups of convex polytopes. Journal of Convex Analysis, 30(1), 343–358.
LibreCat: /record/34805
arXiv: 2203.09285

Glöckner, H., &; Tárrega, L. (2023). Mapping groups associated with real-valued function spaces and direct limits of Sobolev-Lie groups . Journal of Lie Theory, 33(1), 271–296.
LibreCat: /record/34801
arXiv: 2210.01246

Sadeghi-Kohan, S., Hellebrand, S., &; Wunderlich, H.-J. (2023). Workload-Aware Periodic Interconnect BIST. IEEE Design &;Test, 1–1.https://doi.org/10.1109/mdat.2023.3298849 
LibreCat: /record/46264
DOI: 10.1109/mdat.2023.3298849

Jafarzadeh, H., Klemme, F., Reimer, J. D., Najafi Haghi, Z. P.,  Amrouch, H., Hellebrand, S., &;  Wunderlich, H.-J. (2023). Robust Pattern Generation for Small Delay Faults under Process Variations. IEEE International Test Conference (ITC’23), Anaheim, USA, October 2023. IEEE International Test Conference (ITC’23), Anaheim, USA.
LibreCat: /record/45830

Gräßler, I., Maier, G. W., Steffen, E., &; Roesmann, D. (Eds.). (2023). The Digital Twin of Humans. Springer International Publishing.https://doi.org/10.1007/978-3-031-26104-6 
LibreCat: /record/45191
DOI: 10.1007/978-3-031-26104-6

Gilbert, H., Schürmann, M., Liebendörfer, M., Lawson, D., &; Hodds, M. (2023). Post-pandemic online mathematics and statistics support: Practitioners’ opinions in Germany and Great Britain &;amp; Ireland. International Journal of Mathematical Education in Science and Technology, 1–26.https://doi.org/10.1080/0020739x.2023.2184282 
LibreCat: /record/52806
DOI: 10.1080/0020739x.2023.2184282

Biehler, R., Guntermann, D., Liebendörfer, M., Krämer, S., &; Schlüter, S. (2023). Fachdidaktisches Design von Begründungsvideos im Projekt studiVEMINTvideos. In I.-P. Goethe-Universität Frankfur (Ed.), Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik (Vol. 1, pp. 407–410). WTM.https://doi.org/10.37626/GA9783959872089.0 
LibreCat: /record/52811
DOI: 10.37626/GA9783959872089.0

Göller, R., Gildehaus, L., Liebendörfer, M., &; Besser, M. (2023). Erfassung und Vergleich (mathematischer) Eingangsvoraussetzungen angehender Studierender verschiedener mathematikhaltiger Studiengänge. In J. Härterich, M. Kallweit, K. Rolka, &; T. Skill (Eds.), Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum (pp. 66–80). WTM.
LibreCat: /record/52810

Kempen, L., &; Liebendörfer, M. (2023). Zu digital - zu viel - zu schwer? Qualitative Einsichten in das Erleben und Handeln von Erstsemester-Studierenden der Mathematik während der Corona-Pandemie. In J. Härterich, M. Kallweit, K. Rolka, &; T. Skill (Eds.), Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum (pp. 91–106). WTM.
LibreCat: /record/52809

Schlüter, S., &; Liebendörfer, M. (2023). Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen. In I.-P. Goethe-Universität Frankfur (Ed.), Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik (Vol. 2, pp. 1177–1180). WTM.https://doi.org/10.37626/GA9783959872089.0 
LibreCat: /record/52813
DOI: 10.37626/GA9783959872089.0

Krämer, S., &; Liebendörfer, M. (2023). Förderung prozeduraler Flexibilität durch Lernvideos mit interaktiven Aufgaben. In I.-P. Goethe-Universität Frankfur (Ed.), Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik (Vol. 2, pp. 949–952). WTM.https://doi.org/10.37626/GA9783959872089.0 
LibreCat: /record/52812
DOI: 10.37626/GA9783959872089.0

Preservice teachers’ mathematics-related values and expectancy in the transition from school to university. (2023).https://doi.org/10.48489/QUADRANTE.31191 
LibreCat: /record/52807
DOI: 10.48489/QUADRANTE.31191

de Camargo e Souza Câmara, I., &; Turhan, A.-Y. (2023). Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models. In Logics in Artificial Intelligence. Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-43619-2_36 
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

Gil, O. F., Patrizi, F., Perelli, G., &; Turhan, A.-Y. (2023). Optimal Alignment of Temporal Knowledge Bases. CoRR, abs/2307.15439.https://doi.org/10.48550/ARXIV.2307.15439 
LibreCat: /record/52861
DOI: 10.48550/ARXIV.2307.15439

ckvorc, U., Eftimov, T., &; Koro]ec, P. (2023). Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization. 2023 IEEE Symposium Series on Computational Intelligence (SSCI).https://doi.org/10.1109/ssci52147.2023.10371868 
LibreCat: /record/52863
DOI: 10.1109/ssci52147.2023.10371868

Turhan, A.-Y. (2023). Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In O. Kutz, C. Lutz, &; A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023 (Vol. 3515). CEUR-WS.org.
LibreCat: /record/52913

Bruns, J., Hagena, M., &; Gasteiger, H. (2023). Professional Development Enacted by Facilitators in the Context of Early Mathematics Education: Scaling up or Dilution of Effects? Teaching and Teacher Education, 132, Article 104270.https://doi.org/10.1016/j.tate.2023.104270 
LibreCat: /record/46155
DOI: 10.1016/j.tate.2023.104270

Pottebaum, J., Rossel, J., Somorovsky, J., Acar, Y., Fahr, R., Arias Cabarcos, P., Bodden, E., &; Gräßler, I. (2023). Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth. 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&;PW), 379–385.https://doi.org/10.1109/eurospw59978.2023.00048 
LibreCat: /record/46500
DOI: 10.1109/eurospw59978.2023.00048

Niere, N., Hebrok, S. N., Somorovsky, J., &; Merget, R. (2023). Poster: Circumventing the GFW with TLS Record Fragmentation. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security.https://doi.org/10.1145/3576915.3624372 
LibreCat: /record/49654
DOI: 10.1145/3576915.3624372

Bartels, S., Kovács, B., &; Wang, Z. (2023). Error analysis for the numerical approximation of the harmonic map heat flow with nodal constraints. IMA Journal of Numerical Analysis.https://doi.org/10.1093/imanum/drad037 
LibreCat: /record/45971
DOI: 10.1093/imanum/drad037

Contri, A., Kovács, B., &; Massing, A. (2023). Error analysis of BDF 1-6 time-stepping methods for the transient Stokes problem: velocity and pressure estimates. ArXiv.https://doi.org/10.48550/ARXIV.2312.05511 
LibreCat: /record/53140
DOI: 10.48550/ARXIV.2312.05511

Berger, T., &; Lanza, L. (2023). Funnel control of linear systems with arbitrary relative degree under output measurement losses. IMA Journal of Mathematical Control and Information, 40(4), 691–713.https://doi.org/doi: 10.1093/imamci/dnad029 
LibreCat: /record/53142
DOI: doi: 10.1093/imamci/dnad029

Lee, J. G., Berger, T., Trenn, S., &; Shim, H. (2023). Edge-wise funnel output synchronization of heterogeneous agents with relative degree one. Automatica, 156, Article 111204.https://doi.org/doi: 10.1016/j.automatica.2023.111204 (open access) 
LibreCat: /record/53143
DOI: doi: 10.1016/j.automatica.2023.111204 (open access)

Soleymani, M., Santamaria, I., &; Jorswieck, E. (2023). Energy-Efficient Rate Splitting for MIMO STAR-RIS-Assisted Broadcast Channels with I/Q Imbalance. 2023 31st European Signal Processing Conference (EUSIPCO).https://doi.org/10.23919/eusipco58844.2023.10289964 
LibreCat: /record/53260
DOI: 10.23919/eusipco58844.2023.10289964

Santamaria, I., Soleymani, M., Jorswieck, E., &; Gutiérrez, J. (2023). SNR Maximization in Beyond Diagonal RIS-Assisted Single and Multiple Antenna Links. IEEE Signal Processing Letters, 30, 923–926.https://doi.org/10.1109/lsp.2023.3296902 
LibreCat: /record/53262
DOI: 10.1109/lsp.2023.3296902

Soleymani, M., Santamaria, I., Jorswieck, E., &; Clerckx, B. (2023). Optimization of Rate-Splitting Multiple Access in Beyond Diagonal RIS-assisted URLLC Systems. IEEE Transactions on Wireless Communications, 1–1.https://doi.org/10.1109/twc.2023.3324190 
LibreCat: /record/53261
DOI: 10.1109/twc.2023.3324190

Soleymani, M., Santamaria, I., Jorswieck, E., &; Rezvani, S. (2023). NOMA-Based Improper Signaling for Multicell MISO RIS-Assisted Broadcast Channels. IEEE Transactions on Signal Processing, 71, 963–978.https://doi.org/10.1109/tsp.2023.3259145 
LibreCat: /record/53265
DOI: 10.1109/tsp.2023.3259145

Soleymani, M., Santamaria, I., &; Jorswieck, E. A. (2023). Spectral and Energy Efficiency Maximization of MISO STAR-RIS-Assisted URLLC Systems. IEEE Access, 11, 70833–70852.https://doi.org/10.1109/access.2023.3294092 
LibreCat: /record/53263
DOI: 10.1109/access.2023.3294092

Santamaria, I., Soleymani, M., Jorswieck, E., &; Gutiérrez, J. (2023). Interference Leakage Minimization in RIS-Assisted MIMO Interference Channels. ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).https://doi.org/10.1109/icassp49357.2023.10094656 
LibreCat: /record/53264
DOI: 10.1109/icassp49357.2023.10094656

Vieluf, S., Hasija, T., Kuschel, M., Reinsberger, C., &; Loddenkemper, T. (2023). Developing a deep canonical correlation-based technique for seizure prediction. Expert Systems with Applications, 234, Article 120986.https://doi.org/10.1016/j.eswa.2023.120986 
LibreCat: /record/53301
DOI: 10.1016/j.eswa.2023.120986

Kuschel, M., Marrinan, T., &; Hasija, T. (2023). Geodesic-Based Relaxation For Deep Canonical Correlation Analysis. 2023 IEEE 33rd International Workshop on Machine Learning for Signal Processing (MLSP).https://doi.org/10.1109/mlsp55844.2023.10285937 
LibreCat: /record/53303
DOI: 10.1109/mlsp55844.2023.10285937

Gedlu, E. G., Wallscheid, O., Böcker, J., &; Nelles, O. (2023). Online system identification and excitation for thermal monitoring of electric machines using machine learning and model predictive control. 2023 IEEE 14th International Symposium on Diagnostics for Electrical Machines, Power Electronics and Drives (SDEMPED).https://doi.org/10.1109/sdemped54949.2023.10271427 
LibreCat: /record/53310
DOI: 10.1109/sdemped54949.2023.10271427

Fourné, M., Wermke, D., Fahl, S., &; Acar, Y. (2023). A Viewpoint on Human Factors in Software Supply Chain Security: A Research Agenda. IEEE Secur. Priv., 21(6), 59–63.https://doi.org/10.1109/MSEC.2023.3316569 
LibreCat: /record/53348
DOI: 10.1109/MSEC.2023.3316569

Amft, S., Höltervennhoff, S., Huaman, N., Krause, A., Simko, L., Acar, Y., &; Fahl, S. (2023). “We’ve Disabled MFA for You”: An Evaluation of the Security and Usability of Multi-Factor Authentication Recovery Deployments. In W. Meng, C. D. Jensen, C. Cremers, &; E. Kirda (Eds.), Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023 (pp. 3138–3152). ACM.https://doi.org/10.1145/3576915.3623180 
LibreCat: /record/53362
DOI: 10.1145/3576915.3623180

Tran, M., Munyendo, C. W., Sri Ramulu, H., Rodriguez, R. G., Schnell, L. B., Sula, C., Simko, L., &; Acar, Y. (2023). Security, Privacy, and Data-sharing Trade-offs When Moving to the United States: Insights from a Qualitative Study. 2024 IEEE Symposium on Security and Privacy (SP), 4–4.
LibreCat: /record/53366

Amft, S., Höltervennhoff, S., Huaman, N., Krause, A., Simko, L., Acar, Y., &; Fahl, S. (2023). “We’ve Disabled MFA for You”: An Evaluation of the Security and Usability of Multi-Factor Authentication Recovery Deployments. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 3138–3152.
LibreCat: /record/53369

Fourné, M., Wermke, D., Fahl, S., &; Acar, Y. (2023). A Viewpoint on Human Factors in Software Supply Chain Security: A Research Agenda. IEEE Security &; Privacy, 21(6), 59–63.
LibreCat: /record/53368

Simko, L., Sri Ramulu, H., Kohno, T., &; Acar, Y. (2023). The Use and Non-Use of Technology During Hurricanes. Proc. ACM Hum. Comput. Interact., 7(CSC), 1–54.https://doi.org/10.1145/3610215 
LibreCat: /record/53352
DOI: 10.1145/3610215

Werth, G. (2023). Neue Wege im mathematischen Unterricht: Auf den Spuren Mathilde Vaertings. Springer Fachmedien Wiesbaden.https://doi.org/10.1007/978-3-658-42445-9 
LibreCat: /record/51101
DOI: 10.1007/978-3-658-42445-9

Werth, G. (2023). Standardkonstruktionen eigenständig entdecken. Mathilde Vaertings Idee der Selbstständigkeitsprobe. mathematik lehren, 241, 15–19.
LibreCat: /record/51103

Wolf, L. L., &; Zhang, H.-W. (2023). $L^2$-spectrum, growth indicator function and critical exponent on  locally symmetric spaces. In arXiv:2311.11770.
LibreCat: /record/53404
arXiv: 2311.11770

Sparmann, S., Hüsing, S., &; Schulte, C. (2023). JuGaze: A Cell-based Eye Tracking and Logging Tool for Jupyter Notebooks. Proceedings of the 23rd Koli Calling International Conference on Computing Education Research.https://doi.org/10.1145/3631802.3631824 
LibreCat: /record/52380
DOI: 10.1145/3631802.3631824

Delarue, B., Schütte, P., &; Weich, T. (2023). Resonances and Weighted Zeta Functions for Obstacle Scattering via Smooth Models. Annales Henri Poincaré, 25(2), 1607–1656.https://doi.org/10.1007/s00023-023-01379-x 
LibreCat: /record/53410
DOI: 10.1007/s00023-023-01379-x

Delarue, B., Ramacher, P., &; Schmitt, M. (2023). Singular cohomology of symplectic quotients by circle actions and Kirwan  surjectivity. In arXiv:2312.03634.
LibreCat: /record/53412
arXiv: 2312.03634

Delarue, B., Ioos, L., &; Ramacher, P. (2023). A Riemann-Roch formula for singular reductions by circle actions. In arXiv:2302.09894.
LibreCat: /record/53411
arXiv: 2302.09894

Borsoi, R. A., Lehmann, I., Akhonda, M. A. B. S., Calhoun, V. D., Usevich, K., Brie, D., &; Adali, T. (2023). Coupled CP Tensor Decomposition with Shared and Distinct Components for Multi-Task Fmri Data Fusion. ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).https://doi.org/10.1109/icassp49357.2023.10096241 
LibreCat: /record/49826
DOI: 10.1109/icassp49357.2023.10096241