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
K. A. Hannemann, H. B. Bütün, W. Müller, and J. C. Scheytt, “Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study,” 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58861
L. Luchterhandt, V. Govindasamy, Y. Wang, R. Dömer, W. Müller, and J. C. Scheytt, “Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells,” 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 58947
K. Krüger and G. Werth, “Mathematics education for girls in Prussia 1890–1925,” The Journal of Mathematical Behavior, vol. 79, Art. no. 101242, 2025, doi: 10.1016/j.jmathb.2025.101242.
LibreCat
| DOI
2025 | Preprint | LibreCat-ID: 58953 |

R. Gerlach and S. 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
P. J. Kulkarni, J. Zerbin, C. Koldewey, R. Bernijazov, and R. Dumitrescu, “Using SysML as a Modelling Language for Dataspaces,” presented at the 2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD), Sharjah, United Arab Emirates , 2025, doi: 10.1109/ictmod63116.2024.10878227.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59019 |

Y. Last and P. Arias Cabarcos, “Vision: Towards True User-Centric Design for Digital Identity Wallets,” presented at the Symposium on Usable Security and Privacy (USEC) 2025, San Diego, U.S.A., 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59053
D. Frischemeier and R. Biehler, “Förderung von statistischem Denken im Mathematikunterricht der Primarstufe: Bedeutsame Ideen und Förderungsmöglichkeiten,” Stochastik in der Schule, vol. 45, no. 1, pp. 22–33, 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59054
A. F. Firmansyah, H. M. A. Zahera, M. Sherif, D. Moussallem, and A.-C. Ngonga Ngomo, “ANTS: Abstractive Entity Summarization in Knowledge Graphs,” 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58975 |

B. Löhnert, N. Augsten, C. Okulmus, and M. Ortiz, “Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite,” in 22th European Semantic Web Conference (ESWC 2025), Portorož, Slovenia, p. ( accepted for publication).
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |

M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, and G. Gottlob, “Soft and Constrained Hypertree Width,” in 44th ACM Symposium on Principles of Database Systems (PODS) 2025, Berlin, Germany, p. ( accepted for publication).
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58232
S. Kruse, J. Brockmeier, T. Schwabe, and J. C. Scheytt, “A Visible Light FMCW Lidar System Based on LEDs,” presented at the German Microwave Conference, Dresden, 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58231
S. Kruse, V. Surendranath Shroff, M. Bahmanian, J. Brockmeier, and J. C. Scheytt, “An Ultra Low Phase Noise Frequency Synthesizer with Optical Output for 77 GHz Photonic Radar,” presented at the German Microwave Conference, Dresden, 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 59169
Y. Ma, D. Mattiolo, E. Steffen, and I. H. Wolf, “Sets of r-Graphs that Color All r-Graphs,” Combinatorica, vol. 45, no. 2, Art. no. 16, 2025, doi: 10.1007/s00493-025-00144-4.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59218
J. D. Reimer, S. Holst, S. Sadeghi-Kohan, H.-J. Wunderlich, and S. Hellebrand, “ThorSim: Throughput-Oriented Timing Simulation of FinFET Digital Circuits,” 2025.
LibreCat
2025 | Journal Article | LibreCat-ID: 59258
M. Winkler, “Rough Data in an Evolution System Generalizing 1D Thermoviscoelasticity with Temperature-Dependent Parameters,” Applied Mathematics & Optimization, vol. 91, no. 2, Art. no. 44, 2025, doi: 10.1007/s00245-025-10243-9.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59414
U. Häsel-Weide 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
A. Hovemann, I. M. Bita, A. A. Aldade, O. von Heißen, and R. Dumitrescu, “Prompt Engineering im Systems Engineering,” Zeitschrift für wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, pp. 101–106, 2025, doi: 10.1515/zwf-2024-0139.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
R. Bernijazov, R. Dumitrescu, F. Hanke, O. von Heißen, L. Kaiser, and D. Tissen, “AI-Augmented Model-Based Systems Engineering,” Zeitschrift für wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, pp. 96–100, 2025, doi: 10.1515/zwf-2024-0123.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
L. Humpert, K. Zagatta, H. Anacker, and R. Dumitrescu, “Systems Engineering and Validation: A systematic literature review,” 2025, doi: 10.1145/3708778.3708793.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59517
J. Lick, F. Kattenstroth, M. Trienens, J.-P. Disselkamp, A. Kühne, and R. Dumitrescu, “Guidance on a Digital Factory Twin: Proposal for a Reference Architecture,” 2025, doi: 10.1109/ictmod63116.2024.10878221.
LibreCat
| DOI