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