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.
9812 Publications
2023 | Book Chapter | LibreCat-ID: 52662
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
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
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
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 34803
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
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 34793
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
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 46264
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
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 45830
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
2023 | Book (Editor) | LibreCat-ID: 45191
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
| DOI
2023 | Journal Article | LibreCat-ID: 52806
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 & Ireland. International Journal of Mathematical Education in Science and Technology, 1–26. https://doi.org/10.1080/0020739x.2023.2184282
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52811
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
| DOI
2023 | Book Chapter | LibreCat-ID: 52810
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
2023 | Book Chapter | LibreCat-ID: 52809
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
2023 | Book Chapter | LibreCat-ID: 52813
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
| DOI
2023 | Book Chapter | LibreCat-ID: 52812
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
| DOI
2023 | Journal Article | LibreCat-ID: 52807
Preservice teachers’ mathematics-related values and expectancy in the transition from school to university. (2023). https://doi.org/10.48489/QUADRANTE.31191
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, I., & Turhan, A.-Y. (2023). Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models. In Logics in Artificial Intelligence. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43619-2_36
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 52861
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
| DOI
2023 | Conference Paper | LibreCat-ID: 52863
Ŝkvorc, 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
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
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
2023 | Journal Article | LibreCat-ID: 46155
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
| DOI
2023 | Conference Paper | LibreCat-ID: 46500
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
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 49654
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
| DOI
2023 | Journal Article | LibreCat-ID: 45971
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
| DOI
2023 | Journal Article | LibreCat-ID: 53140
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
| DOI
2023 | Journal Article | LibreCat-ID: 53142
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
| DOI
2023 | Journal Article | LibreCat-ID: 53143
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
| DOI
2023 | Conference Paper | LibreCat-ID: 53260
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
| DOI
2023 | Journal Article | LibreCat-ID: 53262
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
| DOI
2023 | Journal Article | LibreCat-ID: 53261
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
| DOI
2023 | Journal Article | LibreCat-ID: 53265
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
| DOI
2023 | Journal Article | LibreCat-ID: 53263
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
| DOI
2023 | Conference Paper | LibreCat-ID: 53264
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
| DOI
2023 | Journal Article | LibreCat-ID: 53301
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
| DOI
2023 | Conference Paper | LibreCat-ID: 53303
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
| DOI
2023 | Conference Paper | LibreCat-ID: 53310
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
| DOI
2023 | Journal Article | LibreCat-ID: 53348
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
| DOI
2023 | Conference Paper | LibreCat-ID: 53362
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
| DOI
2023 | Conference Paper | LibreCat-ID: 53366
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
2023 | Conference Paper | LibreCat-ID: 53369
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
2023 | Journal Article | LibreCat-ID: 53368
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
2023 | Journal Article | LibreCat-ID: 53352
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(CSCW2), 1–54. https://doi.org/10.1145/3610215
LibreCat
| DOI
2023 | Book | LibreCat-ID: 51101
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
| DOI
2023 | Journal Article | LibreCat-ID: 51103
Werth, G. (2023). Standardkonstruktionen eigenständig entdecken. Mathilde Vaertings Idee der Selbstständigkeitsprobe. mathematik lehren, 241, 15–19.
LibreCat
2023 | Conference Paper | LibreCat-ID: 52380
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
| DOI
2023 | Journal Article | LibreCat-ID: 53410
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
| DOI
2023 | Conference Paper | LibreCat-ID: 49826
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
| DOI