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.
10720 Publications
2025 | Journal Article | LibreCat-ID: 61874
Counting of Teams in First-Order Team Logics
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
LibreCat
| DOI
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
2025 | Preprint | LibreCat-ID: 61065
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
LibreCat
| arXiv
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
2025 | Conference Paper | LibreCat-ID: 61873
C1-Smooth Parametrization of Polynomial Shapes over Polygonal Domains
P. Khanteimouri, M. Campen, in: Proceedings of the 2025 SIAM International Meshing Roundtable, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
LibreCat
| DOI
P. Khanteimouri, M. Campen, in: Proceedings of the 2025 SIAM International Meshing Roundtable, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
2025 | Bachelorsthesis | LibreCat-ID: 61879
Overview on Threshold Signature Schemes and their Applications
A. Anonymous, Overview on Threshold Signature Schemes and Their Applications, 2025.
LibreCat
A. Anonymous, Overview on Threshold Signature Schemes and Their Applications, 2025.
2025 | Bachelorsthesis | LibreCat-ID: 61878
Comparison of Time-Lock Puzzle Constructions and Their Security
A. Anonymous, Comparison of Time-Lock Puzzle Constructions and Their Security, 2025.
LibreCat
A. Anonymous, Comparison of Time-Lock Puzzle Constructions and Their Security, 2025.
2025 | Conference Paper | LibreCat-ID: 61918
Efficient Online Automated Algorithm Selection in the Face of Data-Drift in Optimisation Problem Instances
J. Rook, Q. Renau, H. Trautmann, E. Hart, in: Proceedings of the 18th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, FOGA 2025, Leiden, The Netherlands, August 27-29, 2025, ACM, 2025, pp. 262–272.
LibreCat
| DOI
J. Rook, Q. Renau, H. Trautmann, E. Hart, in: Proceedings of the 18th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, FOGA 2025, Leiden, The Netherlands, August 27-29, 2025, ACM, 2025, pp. 262–272.
2025 | Conference Paper | LibreCat-ID: 61926
AI-Based Management and Generation Of Non-Functional Requirements in Vehicle Development and Integration
M. Bazzal, A. Lungu, B. Kruse, R. Bernijazov, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 449–458.
LibreCat
| DOI
M. Bazzal, A. Lungu, B. Kruse, R. Bernijazov, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 449–458.
2025 | Conference Paper | LibreCat-ID: 61924
Navigating viewpoints in MBSE: challenges, potential and pathways for stakeholder participation in industry
F. Förster, C. Koldewey, R. Bernijazov, R. Dumitrescu, N. Bursac, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2531–2540.
LibreCat
| DOI
F. Förster, C. Koldewey, R. Bernijazov, R. Dumitrescu, N. Bursac, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2531–2540.
2025 | Conference Paper | LibreCat-ID: 61929
Digital engineering transformation for sustainability: an approach to systematically integrate sustainability data in engineering processes
F. Wyrwich, U. Könemann, D. Tissen, T. Bohnenkamp, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 1385–1394.
LibreCat
| DOI
F. Wyrwich, U. Könemann, D. Tissen, T. Bohnenkamp, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 1385–1394.
2025 | Conference Paper | LibreCat-ID: 61925
Integrative and Integrated product and production system development: a taxonomy for managing dependencies and processes
J.-P. Disselkamp, T. Seidenberg, S. Westphal, J. Lick, L. Ptock, F. Wyrwich, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2121–2130.
LibreCat
| DOI
J.-P. Disselkamp, T. Seidenberg, S. Westphal, J. Lick, L. Ptock, F. Wyrwich, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2121–2130.
2025 | Journal Article | LibreCat-ID: 61930
Resilience-By-Design: Standard-based definition of Resilience and identification of action fields for the systems design of mobility system
I.M. Bita, A. Hovemann, R. Dumitrescu, Proceedings of the Design Society 5 (2025) 2781–2790.
LibreCat
| DOI
I.M. Bita, A. Hovemann, R. Dumitrescu, Proceedings of the Design Society 5 (2025) 2781–2790.
2025 | Conference Paper | LibreCat-ID: 61927
Design-for-decarbonization: a framework for decarbonizing cyber-physical production systems at the design stage
N. Schreiner, A. Cowen, T. Volling, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 1295–1304.
LibreCat
| DOI
N. Schreiner, A. Cowen, T. Volling, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 1295–1304.
2025 | Journal Article | LibreCat-ID: 61923
Design options to shape platform success in B2B markets throughout the platform lifecycle
L. Özcan, L.I. Petzke, R. Dumitrescu, C. Koldewey, IEEE Engineering Management Review (2025) 1–13.
LibreCat
| DOI
L. Özcan, L.I. Petzke, R. Dumitrescu, C. Koldewey, IEEE Engineering Management Review (2025) 1–13.
2025 | Conference Paper | LibreCat-ID: 61936
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
K. Karakaya, P. Muthuraman, E. Bodden, in: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, ACM, 2025.
LibreCat
| DOI
K. Karakaya, P. Muthuraman, E. Bodden, in: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, ACM, 2025.
2025 | Conference Paper | LibreCat-ID: 61951
An integrative perspective on digital technologies and circular economy: a systematic literature review
M. Scholtysik, A. Rasor, L.I. Petzke, C. Koldewey, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 541–550.
LibreCat
| DOI
M. Scholtysik, A. Rasor, L.I. Petzke, C. Koldewey, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 541–550.
2025 | Conference Paper | LibreCat-ID: 61948
Information management for the digital product passport: a 150% approach
M. Trienens, V. Orlowski, L. Schröder, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2093–2100.
LibreCat
| DOI
M. Trienens, V. Orlowski, L. Schröder, A. Hovemann, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2093–2100.
2025 | Conference Paper | LibreCat-ID: 61949
Leveraging GenAI for technology foresight
K. Ellermann, T. Seidenberg, L. Asmar, J. Knepler, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2221–2230.
LibreCat
| DOI
K. Ellermann, T. Seidenberg, L. Asmar, J. Knepler, R. Dumitrescu, in: Proceedings of the Design Society, Cambridge University Press (CUP), 2025, pp. 2221–2230.
2025 | Conference Paper | LibreCat-ID: 61952
Real-time object detection and localization for airport aprons
B. Wani, J. Yee, D. Eckertz, T. Seidenberg, R. Dumitrescu, in: X. Jiang, J. Tian, T.-C. Poon, Z. Wang (Eds.), Seventeenth International Conference on Digital Image Processing (ICDIP 2025), SPIE, 2025.
LibreCat
| DOI
B. Wani, J. Yee, D. Eckertz, T. Seidenberg, R. Dumitrescu, in: X. Jiang, J. Tian, T.-C. Poon, Z. Wang (Eds.), Seventeenth International Conference on Digital Image Processing (ICDIP 2025), SPIE, 2025.
2025 | Conference Paper | LibreCat-ID: 61955
Embedding Generative AI into Products – 10 Design Principles for Building Intelligent Systems
C. Koldewey, M.N. Rohde, G. Strobel, J.M. Vehmeyer, T. Fichtler, R. Dumitrescu, in: 2025 IEEE International Conference on Engineering, Technology, and Innovation (ICE/ITMC), IEEE, 2025.
LibreCat
| DOI
C. Koldewey, M.N. Rohde, G. Strobel, J.M. Vehmeyer, T. Fichtler, R. Dumitrescu, in: 2025 IEEE International Conference on Engineering, Technology, and Innovation (ICE/ITMC), IEEE, 2025.
2025 | Conference Paper | LibreCat-ID: 61956
Enabling Better Systems Through Better Teams: 27 Role Profiles for Engineering Advanced Systems
E.-M. Grote, C. Koldewey, S.E. Schwarz, R. Dumitrescu, A. Albers, in: 2025 IEEE International Conference on Engineering, Technology, and Innovation (ICE/ITMC), IEEE, 2025.
LibreCat
| DOI
E.-M. Grote, C. Koldewey, S.E. Schwarz, R. Dumitrescu, A. Albers, in: 2025 IEEE International Conference on Engineering, Technology, and Innovation (ICE/ITMC), IEEE, 2025.