Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Feng, Zhidan; Fernau, Henning; Mann, Kevin
Enumerating minimal defensive alliances.Discret. Appl. Math. Bd. 384. 2026 S. 309 - 325
Fernau, Henning; Kindermann, Philipp
Graph-Theoretic Concepts in Computer Science - 51st International Workshop, WG 2025, Otzenhausen, Germany, June 11-13, 2025, Revised Selected PapersSpringer 2026
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Non-simple rule counting in semi-conditional grammars.Theor. Comput. Sci. Bd. 1060. 2026 S. 115586
Feng, Zhidan; Fernau, Henning; Mann, Kevin et al.
Offensive alliances in signed graphs.Theor. Comput. Sci. Bd. 1065. 2026 S. 115724
Jiménez-Díaz, Guillermo; Lenz, Mirko; Malburg, Lukas et al.
A Framework for Supporting the Iterative Design of CBR Applications.ICCBR. 2025 S. 252 - 266
Hotz, Maxim; Malburg, Lukas; Bergmann, Ralph
Advanced Search Techniques for Determining Optimal Sequences of Adaptation Rules in Process-Oriented Case-Based Reasoning.ICCBR. 2025 S. 236 - 251
Bertrand, Yannis; Imenkamp, Christian; Malburg, Lukas et al.
An object-centric core metamodel for IoT-enhanced event logs.CoRR. Bd. abs/2506.21300. 2025
Bertrand, Yannis; Schultheis, Alexander; Malburg, Lukas et al.
Challenges in Data Quality Management for IoT-Enhanced Event Logs.RCIS (1). 2025 S. 20 - 36
Fernau, Henning; Zhu, Binhai
Combinatorial Algorithms - 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, ProceedingsSpringer 2025
Klein, Patrick; Malburg, Lukas; Bergmann, Ralph
Combining informed data-driven anomaly detection with knowledge graphs for root cause analysis in predictive maintenance.Eng. Appl. Artif. Intell. Bd. 145. 2025 S. 110152
Fernau, Henning; Schwank, Inge; Staub, Jacqueline
Creative Mathematical Sciences Communication: 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, ProceedingsSpringer 2025
Arrighi, Emmanuel; Feng, Zhidan; Fernau, Henning et al.
Defensive Alliances in Signed Networks.J. Artif. Intell. Res. Bd. 82. 2025 S. 2189 - 2232
Fornari, Fabrizio; Compagnucci, Ivan; Callisto De Donato, Massimo et al.
Digital Twins of Business Processes: A Research Manifesto.Internet Things. Bd. 30. 2025 S. 101477
Fernau, Henning
Editorial 2025: Going Beyond 40.Acta Informatica. Bd. 62. H. 4. 2025 S. 42
N. Abu-Khzam, Faisal; Fernau, Henning; Gras, Benjamin et al.
Enumerating Minimal Connected Dominating Sets.SIAM J. Discret. Math. Bd. 39. H. 2. 2025 S. 946 - 972
Bergmann, Ralph; Brand, Florian; Lenz, Mirko et al.
EXAR: A Unified Experience-Grounded Agentic Reasoning Architecture.ICCBR. 2025 S. 3 - 17
Mann, Kevin; Fernau, Henning
Extension Perfect Roman Domination.CALDAM. 2025 S. 197 - 209
Feng, Zhidan; Fernau, Henning; Mann, Kevin et al.
Generalized Lettericity of Graphs.CALDAM. 2025 S. 134 - 146
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi et al.
Matrix Forbidding Grammars.DCFS. 2025 S. 94 - 107
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On Computational Completeness of Semi-Conditional Matrix Grammars.SOFSEM (1). 2025 S. 270 - 283
Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus
On the computational completeness of several descriptional complexity restrictions of semi-conditional grammars.Comput. Bd. 14. H. 1. 2025 S. 3 - 16
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On Time-Varying Insertion-Deletion Systems.UCNC. 2025 S. 245 - 261
Fernau, Henning; Foucaud, Florent; Mann, Kevin et al.
Parameterizing path partitions.Theor. Comput. Sci. Bd. 1028. 2025 S. 115029
Mann, Kevin; Fernau, Henning
Roman Hitting Set.SOFSEM (2). 2025 S. 142 - 156
Valette, Elena; Zeimetz, Tobias; Fernau, Henning et al.
SMART: Self-supervised Model aligning APIs and RDF using Transformers.BTW. 2025 S. 1007 - 1017