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.
10479 Publications
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya, K., Schott, S., Klauke, J., Bodden, E., Schmidt, M., Luo, L., & He, D. (2024). SootUp: A Redesign of the Soot Static Analysis Framework. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-57246-3_13
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57550
Schott, S., Ponta, S. E., Fischer, W., Klauke, J., & Bodden, E. (2024). Java Bytecode Normalization for Code Similarity Analysis. 38th European Conference on Object-Oriented Programming (ECOOP 2024). 38th European Conference on Object-Oriented Programming (ECOOP 2024), Vienna. https://doi.org/10.4230/LIPIcs.ECOOP.2024.37
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 56604 |

Van Hirtum, L., De Causmaecker, P., Goemaere, J., Kenter, T., Riebler, H., Lass, M., & Plessl, C. (2024). A Computation of the Ninth Dedekind Number Using FPGA Supercomputing. ACM Transactions on Reconfigurable Technology and Systems, 17(3), 1–28. https://doi.org/10.1145/3674147
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 57613 |

Rezat, S. (2024). Students’ instrumentalizations of hints and automated feedback in their task solution process when learning mathematics with a digital curriculum resource. In P. Iannone, F. Moons, C. Drüke-Noe, E. Geraniou, F. Morselli, K. Klingbeil, M. Veldhuis, & S. Olsher (Eds.), Proceedings of FAME 1 – Feedback & Assessment in Mathematics Education (ETC 14), 5-7 June 2024, Utrecht (The Netherlands) (pp. 262–269). Utrecht University and ERME. https://doi.org/10.5281/zenodo.14231455
LibreCat
| Files available
| DOI
2024 | Conference Paper | LibreCat-ID: 57738
Hüsing, S., & Schönbrodt, S. (2024). Förderung von Epistemic Agency – Entwicklung von Computational Essays bei der Bearbeitung datengetriebener, realer Problemstellungen. https://doi.org/10.17877/DE290R-25018
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55404
Alshomary, M., Lange, F., Booshehri, M., Sengupta, M., Cimiano, P., & Wachsmuth, H. (2024). Modeling the Quality of Dialogical Explanations. In N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti, & N. Xue (Eds.), Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024) (pp. 11523–11536). ELRA and ICCL.
LibreCat
2024 | Journal Article | LibreCat-ID: 57820
Nikolić, V., & Winkler, M. (2024). L∞ blow-up in the Jordan-Moore-Gibson-Thompson equation. Nonlinear Analysis, 247, Article 113600. https://doi.org/10.1016/j.na.2024.113600
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 57834
Vernholz, M. (2024). Gewerblich-technische Lehrkräftebildung in Deutschland - Analyse der Einflüsse auf das akademische Selbstkonzept von Lehramtsstudierenden technischer (beruflicher) Fachrichtungen. In K. Kögler, H.-H. Kremer, & V. Herkner (Eds.), Jahrbuch der berufs- und wirtschaftspädagogischen Forschung 2024 (pp. 132–147). Verlag Barbara Budrich. https://doi.org/10.3224/84743054
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57895 |

Hoffmann, M., & Schlüter, S. (2024). How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals? In A. S. González-Martín, G. Gueudet, I. Florensa, & N. Lombard (Eds.), Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024). Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM.
LibreCat
| Files available
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 32097 |

Weich, T., Guedes Bonthonneau, Y., & Guillarmou, C. (2024). SRB Measures of Anosov Actions. Journal of Differential Geometry, 128, 959–1026. https://doi.org/ DOI: 10.4310/jdg/1729092452
LibreCat
| Files available
| DOI
| arXiv
2024 | Book Chapter | LibreCat-ID: 57952
Lankeit, E., & Biehler, R. (2024). Bedeutungsfacetten der Beziehungen von Differenzierbarkeit und Stetigkeit im Ein- und Mehrdimensionalen: Ein Blick auf die semantische Ebene. In P. Ebers, F. Rösken, B. Barzel, A. Büchter, F. Schacht, & P. Scherer (Eds.), Beiträge zum Mathematikunterricht 2024 - 57. Jahrestagung der Gesellschaft für Didaktik der Mathematik. (pp. 1073–1076). WTM-Verlag. https://doi.org/10.37626/GA9783959872782.0
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Book Chapter | LibreCat-ID: 57950
Fleischer, Y., & Biehler, R. (2024). Intuitiver Zugang zu datenbasierten Entscheidungsbäumen. In P. Ebers, F. Rösken, B. Barzel, A. Büchter, F. Schacht, & P. Scherer (Eds.), Beiträge zum Mathematikunterricht 2024 - 57. Jahrestagung der Gesellschaft für Didaktik der Mathematik. (pp. 167–170). WTM-Verlag. https://doi.org/10.37626/GA9783959872782.0
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Book Chapter | LibreCat-ID: 57948
Mai, T., & Biehler, R. (2024). Transitionen zwischen Vektorobjekten in Schulbüchern. In P. Ebers, F. Rösken, B. Barzel, A. Büchter, F. Schacht, & P. Scherer (Eds.), Beiträge zum Mathematikunterricht 2024 - 57. Jahrestagung der Gesellschaft für Didaktik der Mathematik. (pp. 1103–1106). WTM-Verlag. https://doi.org/10.37626/GA9783959872782.0
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Book Chapter | LibreCat-ID: 57947
Bauer, T., Biehler, R., & Lankeit, E. (2024). Designing a Concept Inventory for Real Analysis. In A. S. Gonzalez-Martin, G. Gueudet, I. Florensa, & N. Lombard (Eds.), INDRUM2024 PROCEEDINGS - Fifth conference of the International Network for Didactic Research in University Mathematics (pp. 65–74). Escola Univeristaria Salesiana de Sarria (Univ. Autonoma de Barcelona) and INDRUM.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 55666
Wessel, L., & Dellori, A. (2024). Algebraische Konzepte vertiefen und ihre Zusammenhänge im Schul- und Hoch-schulcurriculum verstehen lernen : Design-Prinzipien zur Anregung des Vereinheitlichens mathematischen Wissens im Mathematiklehramtsstudium. Mathematica Didactica, 47(1). https://doi.org/10.18716/ojs/md/2024.1658
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 57864
Alptekin, M., & Temmen, K. (2024). Check for Effectiveness Study of an Augmented Reality App as Preparation Tool for Electrical Engineering Laboratory Courses. Smart Technologies for a Sustainable Future: Proceedings of the 21st International Conference on Smart Technologies & Education. Volume 1, 1, 297.
LibreCat
2024 | Book Chapter | LibreCat-ID: 57863
Alptekin, M., & Temmen, K. (2024). Effectiveness Study of an Augmented Reality App as Preparation Tool for Electrical Engineering Laboratory Courses. In M. E. Auer, R. Langmann, D. May, & K. Roos (Eds.), Smart Technologies for a Sustainable Future (Vol. 1027, pp. 297–304). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-61891-8_29
LibreCat
| DOI