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, Hüseyin Berke Bütün, Wolfgang Müller, and J. Christoph Scheytt. “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. Warnemünde: VDE Verlag, 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58861
Luchterhandt, Lars, Vivek Govindasamy, Yutong Wang, Rainer Dömer, Wolfgang Müller, and J. Christoph Scheytt. “Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells.” In OSSMPIC - Open Source Solutions for Massively Parallel Integrated Circuits. Lyon, France, 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 79 (2025). https://doi.org/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, Julian Zerbin, Christian Koldewey, Ruslan Bernijazov, and Roman Dumitrescu. “Using SysML as a Modelling Language for Dataspaces.” In 2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD). IEEE, 2025. https://doi.org/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.” In 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 45, no. 1 (2025): 22–33.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59054
Firmansyah, Asep Fajar, Hamada Mohamed Abdelsamee Zahera, Mohamed Sherif, Diego Moussallem, and Axel-Cyrille Ngonga Ngomo. “ANTS: Abstractive Entity Summarization in Knowledge Graphs.” In ESWC2025, 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58975 |

Löhnert, Bianca, Nikolaus Augsten, Cem Okulmus, and Magdalena Ortiz. “Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite.” In 22th European Semantic Web Conference (ESWC 2025), ( accepted for publication). Portorož, Slovenia, n.d.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |

Lanzinger, Matthias, Cem Okulmus, Reinhard Pichler, Alexander Selzer, and Georg Gottlob. “Soft and Constrained Hypertree Width.” In 44th ACM Symposium on Principles of Database Systems (PODS) 2025, ( accepted for publication). Berlin, Germany, n.d.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58232
Kruse, Stephan, Jan Brockmeier, Tobias Schwabe, and J. Christoph Scheytt. “A Visible Light FMCW Lidar System Based on LEDs,” 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 58231
Kruse, Stephan, Vijayalakshmi Surendranath Shroff, Meysam Bahmanian, Jan Brockmeier, and J. Christoph Scheytt. “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, Davide Mattiolo, Eckhard Steffen, and Isaak H. Wolf. “Sets of R-Graphs That Color All r-Graphs.” Combinatorica 45, no. 2 (2025). https://doi.org/10.1007/s00493-025-00144-4.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59218
Reimer, Jan Dennis, Stefan Holst, Somayeh Sadeghi-Kohan, Hans-Joachim Wunderlich, and Sybille Hellebrand. “ThorSim: Throughput-Oriented Timing Simulation of FinFET Digital Circuits.” In To Appear: IEEE International Symposium of Electronics Design Automation (ISEDA’25), May 2025. Hong Kong, China, 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 91, no. 2 (2025). https://doi.org/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. https://doi.org/ https://doi.org/10.1007/s42278-025-00223-x .
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
Hovemann, Aschot, Isaac Mpidi Bita, Abed Alrahman Aldade, Oliver von Heißen, and Roman Dumitrescu. “Prompt Engineering Im Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120, no. s1 (2025): 101–6. https://doi.org/10.1515/zwf-2024-0139.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
Bernijazov, Ruslan, Roman Dumitrescu, Fabian Hanke, Oliver von Heißen, Lydia Kaiser, and Denis Tissen. “AI-Augmented Model-Based Systems Engineering.” Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120, no. s1 (2025): 96–100. https://doi.org/10.1515/zwf-2024-0123.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
Humpert, Lynn, Kristin Zagatta, Harald Anacker, and Roman Dumitrescu. “Systems Engineering and Validation: A Systematic Literature Review.” In Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems. ACM, 2025. https://doi.org/10.1145/3708778.3708793.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59517
Lick, Jonas, Fiona Kattenstroth, Malte Trienens, Jan-Philipp Disselkamp, Arno Kühne, and Roman Dumitrescu. “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. https://doi.org/10.1109/ictmod63116.2024.10878221.
LibreCat
| DOI