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.
10457 Publications
2025 | Conference Paper | LibreCat-ID: 58856
Hannemann KA, Bütün HB, Müller W, Scheytt JC. Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study. In: MBMV 2025 - 28. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. VDE Verlag; 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58861
Luchterhandt L, Govindasamy V, Wang Y, Dömer R, Müller W, Scheytt JC. Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells. In: OSSMPIC - Open Source Solutions for Massively Parallel Integrated Circuits. ; 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 58947
Krüger K, Werth G. Mathematics education for girls in Prussia 1890–1925. The Journal of Mathematical Behavior. 2025;79. doi:10.1016/j.jmathb.2025.101242
LibreCat
| DOI
2025 | Preprint | LibreCat-ID: 58953 | 
Gerlach R, von der Gracht S. Analyzing Symmetries of Swarms of Mobile Robots Using Equivariant Dynamical Systems. arXiv:250307576. Published online 2025.
LibreCat
| Files available
| arXiv
2025 | Conference Paper | LibreCat-ID: 58763
Kulkarni PJ, Zerbin J, Koldewey C, Bernijazov R, Dumitrescu R. Using SysML as a Modelling Language for Dataspaces. In: 2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD). IEEE; 2025. doi:10.1109/ictmod63116.2024.10878227
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59019 |
Last Y, Arias Cabarcos P. Vision: Towards True User-Centric Design for Digital Identity Wallets. In: Symposium on Usable Security and Privacy (USEC) 2025. ; 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59053
Frischemeier D, Biehler R. Förderung von statistischem Denken im Mathematikunterricht der Primarstufe: Bedeutsame Ideen und Förderungsmöglichkeiten. Stochastik in der Schule. 2025;45(1):22-33.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59054
Firmansyah AF, Zahera HMA, Sherif M, Moussallem D, Ngonga Ngomo A-C. ANTS: Abstractive Entity Summarization in Knowledge Graphs. In: ESWC2025. ; 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58975 |
Löhnert B, Augsten N, Okulmus C, Ortiz M. Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. In: 22th European Semantic Web Conference (ESWC 2025). ; :( accepted for publication).
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |
Lanzinger M, Okulmus C, Pichler R, Selzer A, Gottlob G. Soft and Constrained Hypertree Width. In: 44th ACM Symposium on Principles of Database Systems (PODS) 2025. ; :( accepted for publication).
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58232
Kruse S, Brockmeier J, Schwabe T, Scheytt JC. A Visible Light FMCW Lidar System Based on LEDs. In: ; 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58231
Kruse S, Surendranath Shroff V, Bahmanian M, Brockmeier J, Scheytt JC. An Ultra Low Phase Noise Frequency Synthesizer with Optical Output for 77 GHz Photonic Radar. In: ; 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 59169
Ma Y, Mattiolo D, Steffen E, Wolf IH. Sets of r-Graphs that Color All r-Graphs. Combinatorica. 2025;45(2). doi:10.1007/s00493-025-00144-4
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59218
Reimer JD, Holst S, Sadeghi-Kohan S, Wunderlich H-J, Hellebrand S. ThorSim: Throughput-Oriented Timing Simulation of FinFET Digital Circuits. In: To Appear: IEEE International Symposium of Electronics Design Automation (ISEDA’25), May 2025. ; 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 59258
Winkler M. Rough Data in an Evolution System Generalizing 1D Thermoviscoelasticity with Temperature-Dependent Parameters. Applied Mathematics & Optimization. 2025;91(2). doi:10.1007/s00245-025-10243-9
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59414
Häsel-Weide U, Nührenbörger M. Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule. Zeitschrift für Grundschulforschung. Published online 2025. doi: https://doi.org/10.1007/s42278-025-00223-x
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
Hovemann A, Bita IM, Aldade AA, von Heißen O, Dumitrescu R. Prompt Engineering im Systems Engineering. Zeitschrift für wirtschaftlichen Fabrikbetrieb. 2025;120(s1):101-106. doi:10.1515/zwf-2024-0139
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
Bernijazov R, Dumitrescu R, Hanke F, von Heißen O, Kaiser L, Tissen D. AI-Augmented Model-Based Systems Engineering. Zeitschrift für wirtschaftlichen Fabrikbetrieb. 2025;120(s1):96-100. doi:10.1515/zwf-2024-0123
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
Humpert L, Zagatta K, Anacker H, Dumitrescu R. Systems Engineering and Validation: A systematic literature review. In: Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems. ACM; 2025. doi:10.1145/3708778.3708793
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59517
Lick J, Kattenstroth F, Trienens M, Disselkamp J-P, Kühne A, Dumitrescu R. Guidance on a Digital Factory Twin: Proposal for a Reference Architecture. In: 2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD). IEEE; 2025. doi:10.1109/ictmod63116.2024.10878221
LibreCat
| DOI