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
@inproceedings{Hannemann_Bütün_Müller_Scheytt_2025, place={Warnemünde}, title={Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study}, booktitle={MBMV 2025 - 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, publisher={VDE Verlag}, author={Hannemann, Kai Arne and Bütün, Hüseyin Berke and Müller, Wolfgang and Scheytt, J. Christoph}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 58861
@inproceedings{Luchterhandt_Govindasamy_Wang_Dömer_Müller_Scheytt_2025, place={Lyon, France}, title={Case Study on Combining Open-Source Tool Flows for Grids of Processing Cells}, booktitle={OSSMPIC - Open Source Solutions for Massively Parallel Integrated Circuits}, author={Luchterhandt, Lars and Govindasamy, Vivek and Wang, Yutong and Dömer, Rainer and Müller, Wolfgang and Scheytt, J. Christoph}, year={2025} }
LibreCat
2025 | Journal Article | LibreCat-ID: 58947
@article{Krüger_Werth_2025, title={Mathematics education for girls in Prussia 1890–1925}, volume={79}, DOI={10.1016/j.jmathb.2025.101242}, number={101242}, journal={The Journal of Mathematical Behavior}, publisher={Elsevier BV}, author={Krüger, Katja and Werth, Gerda}, year={2025} }
LibreCat
| DOI
2025 | Preprint | LibreCat-ID: 58953 | 
@article{Gerlach_von der Gracht_2025, title={Analyzing Symmetries of Swarms of Mobile Robots Using Equivariant Dynamical Systems}, journal={arXiv:2503.07576}, author={Gerlach, Raphael and von der Gracht, Sören}, year={2025} }
LibreCat
| Files available
| arXiv
2025 | Conference Paper | LibreCat-ID: 58763
@inproceedings{Kulkarni_Zerbin_Koldewey_Bernijazov_Dumitrescu_2025, title={Using SysML as a Modelling Language for Dataspaces}, DOI={10.1109/ictmod63116.2024.10878227}, booktitle={2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD)}, publisher={IEEE}, author={Kulkarni, Pranav Jayant and Zerbin, Julian and Koldewey, Christian and Bernijazov, Ruslan and Dumitrescu, Roman}, year={2025} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59019 |
@inproceedings{Last_Arias Cabarcos_2025, title={Vision: Towards True User-Centric Design for Digital Identity Wallets}, booktitle={Symposium on Usable Security and Privacy (USEC) 2025}, author={Last, Yorick and Arias Cabarcos, Patricia}, year={2025} }
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59053
@article{Frischemeier_Biehler_2025, title={Förderung von statistischem Denken im Mathematikunterricht der Primarstufe: Bedeutsame Ideen und Förderungsmöglichkeiten}, volume={45}, number={1}, journal={Stochastik in der Schule}, author={Frischemeier, Daniel and Biehler, Rolf}, year={2025}, pages={22–33} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 59054
@inproceedings{Firmansyah_Zahera_Sherif_Moussallem_Ngonga Ngomo_2025, title={ANTS: Abstractive Entity Summarization in Knowledge Graphs}, booktitle={ESWC2025}, author={Firmansyah, Asep Fajar and Zahera, Hamada Mohamed Abdelsamee and Sherif, Mohamed and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 58975 |
@inproceedings{Löhnert_Augsten_Okulmus_Ortiz, place={Portorož, Slovenia}, title={Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite}, booktitle={22th European Semantic Web Conference (ESWC 2025)}, author={Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and Ortiz, Magdalena}, pages={( accepted for publication)} }
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |
@inproceedings{Lanzinger_Okulmus_Pichler_Selzer_Gottlob, place={Berlin, Germany}, title={Soft and Constrained Hypertree Width}, booktitle={44th ACM Symposium on Principles of Database Systems (PODS) 2025}, author={Lanzinger, Matthias and Okulmus, Cem and Pichler, Reinhard and Selzer, Alexander and Gottlob, Georg}, pages={( accepted for publication)} }
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58232
@inproceedings{Kruse_Brockmeier_Schwabe_Scheytt_2025, title={A Visible Light FMCW Lidar System Based on LEDs}, author={Kruse, Stephan and Brockmeier, Jan and Schwabe, Tobias and Scheytt, J. Christoph}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 58231
@inproceedings{Kruse_Surendranath Shroff_Bahmanian_Brockmeier_Scheytt_2025, title={An Ultra Low Phase Noise Frequency Synthesizer with Optical Output for 77 GHz Photonic Radar}, author={Kruse, Stephan and Surendranath Shroff, Vijayalakshmi and Bahmanian, Meysam and Brockmeier, Jan and Scheytt, J. Christoph}, year={2025} }
LibreCat
2025 | Journal Article | LibreCat-ID: 59169
@article{Ma_Mattiolo_Steffen_Wolf_2025, title={Sets of r-Graphs that Color All r-Graphs}, volume={45}, DOI={10.1007/s00493-025-00144-4}, number={216}, journal={Combinatorica}, publisher={Springer Science and Business Media LLC}, author={Ma, Yulai and Mattiolo, Davide and Steffen, Eckhard and Wolf, Isaak H.}, year={2025} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59218
@inproceedings{Reimer_Holst_Sadeghi-Kohan_Wunderlich_Hellebrand_2025, place={Hong Kong, China}, title={ThorSim: Throughput-Oriented Timing Simulation of FinFET Digital Circuits}, booktitle={To appear: IEEE International Symposium of Electronics Design Automation (ISEDA’25), May 2025}, author={Reimer, Jan Dennis and Holst, Stefan and Sadeghi-Kohan, Somayeh and Wunderlich, Hans-Joachim and Hellebrand, Sybille}, year={2025} }
LibreCat
2025 | Journal Article | LibreCat-ID: 59258
@article{Winkler_2025, title={Rough Data in an Evolution System Generalizing 1D Thermoviscoelasticity with Temperature-Dependent Parameters}, volume={91}, DOI={10.1007/s00245-025-10243-9}, number={244}, journal={Applied Mathematics & Optimization}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2025} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59414
@article{Häsel-Weide_Nührenbörger_2025, title={Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule}, DOI={ https://doi.org/10.1007/s42278-025-00223-x }, journal={Zeitschrift für Grundschulforschung}, author={Häsel-Weide, Uta and Nührenbörger, M.}, year={2025} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59512
@article{Hovemann_Bita_Aldade_von Heißen_Dumitrescu_2025, title={Prompt Engineering im Systems Engineering}, volume={120}, DOI={10.1515/zwf-2024-0139}, number={s1}, journal={Zeitschrift für wirtschaftlichen Fabrikbetrieb}, publisher={Walter de Gruyter GmbH}, author={Hovemann, Aschot and Bita, Isaac Mpidi and Aldade, Abed Alrahman and von Heißen, Oliver and Dumitrescu, Roman}, year={2025}, pages={101–106} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
@article{Bernijazov_Dumitrescu_Hanke_von Heißen_Kaiser_Tissen_2025, title={AI-Augmented Model-Based Systems Engineering}, volume={120}, DOI={10.1515/zwf-2024-0123}, number={s1}, journal={Zeitschrift für wirtschaftlichen Fabrikbetrieb}, publisher={Walter de Gruyter GmbH}, author={Bernijazov, Ruslan and Dumitrescu, Roman and Hanke, Fabian and von Heißen, Oliver and Kaiser, Lydia and Tissen, Denis}, year={2025}, pages={96–100} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
@inproceedings{Humpert_Zagatta_Anacker_Dumitrescu_2025, title={Systems Engineering and Validation: A systematic literature review}, DOI={10.1145/3708778.3708793}, booktitle={Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems}, publisher={ACM}, author={Humpert, Lynn and Zagatta, Kristin and Anacker, Harald and Dumitrescu, Roman}, year={2025} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59517
@inproceedings{Lick_Kattenstroth_Trienens_Disselkamp_Kühne_Dumitrescu_2025, title={Guidance on a Digital Factory Twin: Proposal for a Reference Architecture}, DOI={10.1109/ictmod63116.2024.10878221}, booktitle={2024 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD)}, publisher={IEEE}, author={Lick, Jonas and Kattenstroth, Fiona and Trienens, Malte and Disselkamp, Jan-Philipp and Kühne, Arno and Dumitrescu, Roman}, year={2025} }
LibreCat
| DOI