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