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