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.
10720 Publications
2025 | Journal Article | LibreCat-ID: 61518
Interaction- or Material-Centred Implementation of Teacher Professional Development: a Comparison of Teachers’ Competence Development and Potential Lesson Planning Lehrkräftefortbildung interaktions- oder materialzentriert implementieren: Ein Vergleich hinsichtlich der Kompetenzentwicklung sowie der potentiellen Unterrichtsplanung von Lehrkräften
A. Richter, J. Bruns, H. Gasteiger, Journal Für Mathematik-Didaktik 46 (2025).
LibreCat
| DOI
A. Richter, J. Bruns, H. Gasteiger, Journal Für Mathematik-Didaktik 46 (2025).
2025 | Journal Article | LibreCat-ID: 61519
Mathematik mit Kindern ausgehend von Spiel- und Routinesituationen in der Kindertagesstätte erkunden?
J. Bruns, T. Mette, Frühe Bildung 14 (2025) 193–200.
LibreCat
| DOI
J. Bruns, T. Mette, Frühe Bildung 14 (2025) 193–200.
2025 | Journal Article | LibreCat-ID: 54970
Mathematikbezogenes Wissen, Einstellungen und Lerngelegenheiten als Einflussfaktoren der situativen Beobachtung und Wahrnehmung angehender frühpädagogischer Fachkräfte
C. Quack, J. Bruns, Frühe Bildung 14 (2025) 72–78.
LibreCat
| DOI
C. Quack, J. Bruns, Frühe Bildung 14 (2025) 72–78.
2025 | Book Chapter | LibreCat-ID: 61537 | 
Essen nach Zahlen - Die Quantifizierung von Ernährung im Alltag
F.M. Schloots, in: J.L. Jürgens, K. Lewandowski, S. Aßmann (Eds.), Virtuelles Essen- Interdisziplinäre Perspektiven auf Ernährungspraktiken im digitalen Zeitalter, transcript Verlag, Bielefeld, 2025, pp. 225–251.
LibreCat
| DOI
| Download (ext.)
F.M. Schloots, in: J.L. Jürgens, K. Lewandowski, S. Aßmann (Eds.), Virtuelles Essen- Interdisziplinäre Perspektiven auf Ernährungspraktiken im digitalen Zeitalter, transcript Verlag, Bielefeld, 2025, pp. 225–251.
2025 | Journal Article | LibreCat-ID: 61546
Program Feature-Based Benchmarking for Fuzz Testing
M. Miao, S. Kummita, E. Bodden, S. Wei, Proceedings of the ACM on Software Engineering 2 (2025) 527–549.
LibreCat
| DOI
M. Miao, S. Kummita, E. Bodden, S. Wei, Proceedings of the ACM on Software Engineering 2 (2025) 527–549.
2025 | Conference Paper | LibreCat-ID: 61760
Topology-optimized silicon nitride coupler for integrated single-photon emitters
H. Farheen, Y. Chen, P. Chen, A. Kryvobok, S. Peana, A. Senichev, V.M. Shalaev, A. Boltasseva, J. Förstner, A.V. Kildishev, in: X. Ni, W. Cai (Eds.), Photonic Computing: From Materials and Devices to Systems and Applications II, SPIE, 2025.
LibreCat
| DOI
H. Farheen, Y. Chen, P. Chen, A. Kryvobok, S. Peana, A. Senichev, V.M. Shalaev, A. Boltasseva, J. Förstner, A.V. Kildishev, in: X. Ni, W. Cai (Eds.), Photonic Computing: From Materials and Devices to Systems and Applications II, SPIE, 2025.
2025 | Journal Article | LibreCat-ID: 61770
From demand to action: Analysing building emissions and refurbishment scenarios towards climate neutrality
J. Kirschbaum, D. Divkovic, H. Meschede, Applied Energy 396 (2025).
LibreCat
| DOI
J. Kirschbaum, D. Divkovic, H. Meschede, Applied Energy 396 (2025).
2025 | Journal Article | LibreCat-ID: 61775
FreeBeacon: Efficient Communication and Data Aggregation in Battery-Free IoT
G. Liu, K.S. Yıldırım, L. Wang, IEEE Transactions on Mobile Computing (2025) 1–14.
LibreCat
| DOI
G. Liu, K.S. Yıldırım, L. Wang, IEEE Transactions on Mobile Computing (2025) 1–14.
2025 | Journal Article | LibreCat-ID: 57472 |
Inertial dynamics with vanishing Tikhonov regularization for multobjective optimization
R.I. Bot, K. Sonntag, Journal of Mathematical Analysis and Applications (2025).
LibreCat
| Files available
| Download (ext.)
| arXiv
R.I. Bot, K. Sonntag, Journal of Mathematical Analysis and Applications (2025).
2025 | Journal Article | LibreCat-ID: 61859
Teacher shortage in Germany - overview and insights
G. Jonas-Ahrend, R. Tenberg, Journal of Education for Teaching (2025).
LibreCat
| DOI
G. Jonas-Ahrend, R. Tenberg, Journal of Education for Teaching (2025).
2025 | Journal Article | LibreCat-ID: 61874
Counting of Teams in First-Order Team Logics
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
LibreCat
| DOI
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
2025 | Preprint | LibreCat-ID: 61065
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
LibreCat
| arXiv
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
2025 | Conference Paper | LibreCat-ID: 61873
C1-Smooth Parametrization of Polynomial Shapes over Polygonal Domains
P. Khanteimouri, M. Campen, in: Proceedings of the 2025 SIAM International Meshing Roundtable, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
LibreCat
| DOI
P. Khanteimouri, M. Campen, in: Proceedings of the 2025 SIAM International Meshing Roundtable, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
2025 | Bachelorsthesis | LibreCat-ID: 61879
Overview on Threshold Signature Schemes and their Applications
A. Anonymous, Overview on Threshold Signature Schemes and Their Applications, 2025.
LibreCat
A. Anonymous, Overview on Threshold Signature Schemes and Their Applications, 2025.
2025 | Bachelorsthesis | LibreCat-ID: 61878
Comparison of Time-Lock Puzzle Constructions and Their Security
A. Anonymous, Comparison of Time-Lock Puzzle Constructions and Their Security, 2025.
LibreCat
A. Anonymous, Comparison of Time-Lock Puzzle Constructions and Their Security, 2025.
2025 | Conference Paper | LibreCat-ID: 61918
Efficient Online Automated Algorithm Selection in the Face of Data-Drift in Optimisation Problem Instances
J. Rook, Q. Renau, H. Trautmann, E. Hart, in: Proceedings of the 18th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, FOGA 2025, Leiden, The Netherlands, August 27-29, 2025, ACM, 2025, pp. 262–272.
LibreCat
| DOI
J. Rook, Q. Renau, H. Trautmann, E. Hart, in: Proceedings of the 18th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, FOGA 2025, Leiden, The Netherlands, August 27-29, 2025, ACM, 2025, pp. 262–272.
2025 | Conference Paper | LibreCat-ID: 61926
AI-Based Management and Generation Of Non-Functional Requirements in Vehicle Development and Integration
M. Bazzal, A. Lungu, B. Kruse, R. Bernijazov, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 449–458.
LibreCat
| DOI
M. Bazzal, A. Lungu, B. Kruse, R. Bernijazov, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 449–458.
2025 | Conference Paper | LibreCat-ID: 61924
Navigating viewpoints in MBSE: challenges, potential and pathways for stakeholder participation in industry
F. Förster, C. Koldewey, R. Bernijazov, R. Dumitrescu, N. Bursac, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2531–2540.
LibreCat
| DOI
F. Förster, C. Koldewey, R. Bernijazov, R. Dumitrescu, N. Bursac, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2531–2540.
2025 | Conference Paper | LibreCat-ID: 61929
Digital engineering transformation for sustainability: an approach to systematically integrate sustainability data in engineering processes
F. Wyrwich, U. Könemann, D. Tissen, T. Bohnenkamp, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 1385–1394.
LibreCat
| DOI
F. Wyrwich, U. Könemann, D. Tissen, T. Bohnenkamp, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 1385–1394.
2025 | Conference Paper | LibreCat-ID: 61925
Integrative and Integrated product and production system development: a taxonomy for managing dependencies and processes
J.-P. Disselkamp, T. Seidenberg, S. Westphal, J. Lick, L. Ptock, F. Wyrwich, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2121–2130.
LibreCat
| DOI
J.-P. Disselkamp, T. Seidenberg, S. Westphal, J. Lick, L. Ptock, F. Wyrwich, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2121–2130.