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, Kai Arne, et al. “Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study.” 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, Lars, et al. “Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells.” OSSMPIC - Open Source Solutions for Massively Parallel Integrated Circuits, 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 58947
Krüger, Katja, and Gerda Werth. “Mathematics Education for Girls in Prussia 1890–1925.” The Journal of Mathematical Behavior, vol. 79, 101242, Elsevier BV, 2025, doi:10.1016/j.jmathb.2025.101242.
LibreCat
| DOI
2025 | Preprint | LibreCat-ID: 58953 | 
Gerlach, Raphael, and Sören von der Gracht. “Analyzing Symmetries of Swarms of Mobile Robots Using Equivariant Dynamical Systems.” ArXiv:2503.07576, 2025.
LibreCat
| Files available
| arXiv
2025 | Conference Paper | LibreCat-ID: 58763
Kulkarni, Pranav Jayant, et al. “Using SysML as a Modelling Language for Dataspaces.” 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, Yorick, and Patricia Arias Cabarcos. “Vision: Towards True User-Centric Design for Digital Identity Wallets.” Symposium on Usable Security and Privacy (USEC) 2025, 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59053
Frischemeier, Daniel, and Rolf Biehler. “Förderung von statistischem Denken im Mathematikunterricht der Primarstufe: Bedeutsame Ideen und Förderungsmöglichkeiten.” Stochastik in der Schule, vol. 45, no. 1, 2025, pp. 22–33.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59054
Firmansyah, Asep Fajar, et al. “ANTS: Abstractive Entity Summarization in Knowledge Graphs.” ESWC2025, 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58975 |
Löhnert, Bianca, et al. “Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite.” 22th European Semantic Web Conference (ESWC 2025), p. ( accepted for publication).
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |
Lanzinger, Matthias, et al. “Soft and Constrained Hypertree Width.” 44th ACM Symposium on Principles of Database Systems (PODS) 2025, p. ( accepted for publication).
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58232
Kruse, Stephan, et al. A Visible Light FMCW Lidar System Based on LEDs. 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58231
Kruse, Stephan, et al. An Ultra Low Phase Noise Frequency Synthesizer with Optical Output for 77 GHz Photonic Radar. 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 59169
Ma, Yulai, et al. “Sets of R-Graphs That Color All r-Graphs.” Combinatorica, vol. 45, no. 2, 16, Springer Science and Business Media LLC, 2025, doi:10.1007/s00493-025-00144-4.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59218
Reimer, Jan Dennis, et al. “ThorSim: Throughput-Oriented Timing Simulation of FinFET Digital Circuits.” To Appear: IEEE International Symposium of Electronics Design Automation (ISEDA’25), May 2025, 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 59258
Winkler, Michael. “Rough Data in an Evolution System Generalizing 1D Thermoviscoelasticity with Temperature-Dependent Parameters.” Applied Mathematics & Optimization, vol. 91, no. 2, 44, Springer Science and Business Media LLC, 2025, doi:10.1007/s00245-025-10243-9.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59414
Häsel-Weide, Uta, and M. Nührenbörger. “Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule.” Zeitschrift für Grundschulforschung, 2025, doi: https://doi.org/10.1007/s42278-025-00223-x .
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
Hovemann, Aschot, et al. “Prompt Engineering Im Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, Walter de Gruyter GmbH, 2025, pp. 101–06, doi:10.1515/zwf-2024-0139.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
Bernijazov, Ruslan, et al. “AI-Augmented Model-Based Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, Walter de Gruyter GmbH, 2025, pp. 96–100, doi:10.1515/zwf-2024-0123.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
Humpert, Lynn, et al. “Systems Engineering and Validation: A Systematic Literature Review.” 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, Jonas, et al. “Guidance on a Digital Factory Twin: Proposal for a Reference Architecture.” 2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD), IEEE, 2025, doi:10.1109/ictmod63116.2024.10878221.
LibreCat
| DOI