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
Bimberg, Pauline; Minuth, Marvin; Zielasko, Daniel et al.
Analyzing Exergame Recordings with Embedded Bio-Data in Immersive Virtual Reality.VR Workshops. 2024 S. 138 - 144
Lenz, Mirko; Malburg, Lukas; Bergmann, Ralph
CBRkit: An Intuitive Case-Based Reasoning Toolkit for Python.ICCBR. 2024 S. 289 - 304
Eroglu, Sevinc; Schmitz, Patric; Sinke, Kilian et al.
Choose Your Reference Frame Right: An Immersive Authoring Technique for Creating Reactive Behavior.VRST. 2024 S. 17:1 - 17:11
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Counting Simple Rules in Semi-conditional Grammars is not Simple.CiE. 2024 S. 192 - 204
Hepke, Nikolai; Scherer, Moritz; Lohscheller, Jörg et al.
Development and Validation of a 3D Pose Tracking System towards XR Home Training to Relieve Back Pain.VRST. 2024 S. 18:1 - 18:11
Fornari, Fabrizio; Compagnucci, Ivan; Callisto De Donato, Massimo et al.
Digital Twins of Business Processes: A Research Manifesto.CoRR. Bd. abs/2410.08219. 2024
Zielasko, Daniel; Meißner, Alexander; Freitag, Sebastian et al.
Dynamic Field of View Reduction Related to Subjective Sickness Measures in an HMD-based Data Analysis Task.CoRR. Bd. abs/2403.07992. 2024
Fernau, Henning
Editorial 2024: moving forwards in the electronic age.Acta Informatica. Bd. 61. H. 4. 2024 S. 331 - 332
Feld, Nico; Zielasko, Daniel; Weyers, Benjamin
Effects of Hand Occlusion in Radial Mid-Air Menu Interaction in Augmented Reality.VR Workshops. 2024 S. 551 - 558
Mangler, Juergen; Seiger, Ronny; Benzin, Janik-Vasily et al.
From Internet of Things Data to Business Processes: Challenges and a Framework.CoRR. Bd. abs/2405.08528. 2024
Wölwer, Matthias; Weyers, Benjamin; Zielasko, Daniel
How Long Do I Want to Fade Away? The Duration of Fade-To-Black Transitions in Target-Based Discontinuous Travel (Teleportation).VR Workshops. 2024 S. 817 - 818
Schultheis, Alexander; Malburg, Lukas; Grüger, Joscha et al.
Identifying Missing Sensor Values in IoT Time Series Data: A Weight-Based Extension of Similarity Measures for Smart Manufacturing.ICCBR. 2024 S. 240 - 257
P. Gründling, Jan; Weyers, Benjamin
Immersive Analytics: The Influence of Flow, Sense of Agency, and Presence on Performance and Satisfaction.Proc. ACM Hum. Comput. Interact. Bd. 8. H. EICS. 2024 S. 1 - 27
Malburg, Lukas; Hotz, Maxim; Bergmann, Ralph
Improving Complex Adaptations in Process-Oriented Case-Based Reasoning by Applying Rule-Based Adaptation.ICCBR. 2024 S. 50 - 66
Brand, Florian; Malburg, Lukas; Bergmann, Ralph
Large Language Models as Knowledge Engineers.ICCBR Workshops. 2024 S. 3 - 18
N. Abu-Khzam, Faisal; Fernau, Henning; Mann, Kevin
Minimal Roman Dominating Functions: Extensions and Enumeration.Algorithmica. Bd. 86. H. 6. 2024 S. 1862 - 1887
Feld, Nico; Bimberg, Pauline; Weyers, Benjamin et al.
Navigating Realities: Assessing Cross-Reality Transitions Through a Spatial Memory Game in VR and AR Environments.VR Workshops. 2024 S. 1194 - 1195
Feng, Zhidan; Fernau, Henning; Mann, Kevin et al.
Offensive Alliances in Signed Graphs.TAMC. 2024 S. 234 - 246
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the computational completeness of generalized forbidding matrix grammars.Theor. Comput. Sci. Bd. 999. 2024 S. 114539
Feng, Zhidan; Fernau, Henning; Zhu, Binhai
Optimal Bridge, Twin Bridges and Beyond: Inserting Edges into a Road Network to Minimize the Constrained Diameters.AAIM (1). 2024 S. 94 - 108
Mann, Kevin; Fernau, Henning
Perfect Roman Domination: Aspects of Enumeration and Parameterization.IWOCA. 2024 S. 354 - 368
Bazgan, Cristina; Fernau, Henning
Preface of the Special Issue Dedicated to Selected Papers from IWOCA 2022.Algorithmica. Bd. 86. H. 3. 2024 S. 695 - 696
Weyers, Benjamin; Zielasko, Daniel; Lindeman, Rob et al.
Proceedings of the 30th ACM Symposium on Virtual Reality Software and Technology, VRST 2024, Trier, Germany, October 9-11, 2024ACM 2024
Agrawal, Akanksha; Fernau, Henning; Kindermann, Philipp et al.
Recognizing well-dominated graphs is coNP-complete.Inf. Process. Lett. Bd. 183. 2024 S. 106419
Seiger, Ronny; Malburg, Lukas
Revision of a Smart Factory Software Architecture from Monolith to Microservices.EDOC Workshops. 2024 S. 203 - 220
Fernau, Henning; Mann, Kevin
Roman Hitting Functions.IPEC. 2024 S. 24:1 - 24:15
Fernau, Henning; Gaspers, Serge; Klasing, Ralf
SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, ProceedingsSpringer 2024
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Succinct Star-Controlled Insertion-Deletion Systems Using Space Separating Normal Forms.MCU. 2024 S. 17 - 34
Bimberg, Pauline; Zielasko, Daniel; Weyers, Benjamin
The Impact of Task-Responsibility on User Experience and Behaviour under Asymmetric Knowledge Conditions.VRST. 2024 S. 39:1 - 39:11
Bimberg, Pauline; Feldmann, Michael; Weyers, Benjamin et al.
The Influence of Environmental Context on the Creation of Cartoon-like Avatars in Virtual Reality.VR. 2024 S. 298 - 308
Eroglu, Sevinc; Voigt, Arthur; Weyers, Benjamin et al.
VRScenarioBuilder: Free-Hand Immersive Authoring Tool for Scenario-Based Testing of Automated Vehicles.VR Workshops. 2024 S. 196 - 202
Fernau, Henning; Haase, Carolina; Hoffmann, Stefan et al.
Winning Strategies for the Synchronization Game on Subclasses of Finite Automata.NCMA. 2024 S. 77 - 85
Zakreuskaya, Anastasiya; Münch, Tobias; Detjen, Henrik et al.
Workshop on Generative Artificial Intelligence in Interactive Systems: Experiences from the Community.MuC (Workshopband). 2024
Guldner, Achim; Hoffmann, Maximilian; Lohr, Christian et al.
A framework for AI-based self-adaptive cyber-physical process systems.it Inf. Technol. Bd. 65. H. 3. 2023 S. 113 - 128
Marie Prinz, Lisa; Mathew, Tintu; Weyers, Benjamin
A Systematic Literature Review of Virtual Reality Locomotion Taxonomies.IEEE Trans. Vis. Comput. Graph. Bd. 29. H. 12. 2023 S. 5208 - 5223
Casel, Katrin; Fernau, Henning; Grigoriev, Alexander et al.
Combinatorial Properties and Recognition of Unit Square Visibility Graphs.Discret. Comput. Geom. Bd. 69. H. 4. 2023 S. 937 - 980
Malburg, Lukas; Klein, Patrick; Bergmann, Ralph
Converting semantic web services into formal planning domain descriptions to enable manufacturing process planning and scheduling in industry 4.0.Eng. Appl. Artif. Intell. Bd. 126. 2023 S. 106727
P. Gründling, Jan; Feld, Nico; Zielasko, Daniel et al.
Correlations of Flow, Usability, Workload, and Presence with Task Performance in a Spatially Distributed Memory Task.EuroXR. 2023 S. 153 - 165
Bowen, Judy; Weyers, Benjamin; Liu, Bowen
Creating Formal Models from Informal Design Artefacts.Int. J. Hum. Comput. Interact. Bd. 39. H. 15. 2023 S. 3141 - 3158
Mangler, Juergen; Grüger, Joscha; Malburg, Lukas et al.
DataStream XES Extension: Embedding IoT Sensor Data into Extensible Event Stream Logs.Future Internet. Bd. 15. H. 3. 2023 S. 109
Philipp Gründling, Jan; Weyers, Benjamin
Early User Feedback on a VR Interface Draft for Interaction with a Multi-Robot System in Ship Hull Inspection.VRST. 2023 S. 51:1 - 51:2
Fernau, Henning
Editorial 2023: changes and invariants.Acta Informatica. Bd. 60. H. 4. 2023 S. 331 - 333
Katharina Kreutz, Christin; Blum, Martin; Schaer, Philipp et al.
Evaluating Digital Library Search Systems by Using Formal Process Modelling.JCDL. 2023 S. 1 - 12
Katharina Kreutz, Christin; Blum, Martin; Schaer, Philipp et al.
Evaluating Digital Library Search Systems by using Formal Process Modelling.CoRR. Bd. abs/2304.11651. 2023
L. Simeone, Adalberto; Weyers, Benjamin; Bialkova, Svetlana et al.
Everyday Virtual and Augmented RealitySpringer 2023
P. Gründling, Jan; Schauffel, Nathalie; Oehrl, Simon et al.
Example Process for Designing a Hybrid User Interface for a Multi-Robot System.VR Workshops. 2023 S. 563 - 564
Schultheis, Alexander; Hoffmann, Maximilian; Malburg, Lukas et al.
Explanation of Similarities in Process-Oriented Case-Based Reasoning by Visualization.ICCBR. 2023 S. 53 - 68
Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
Extension of some edge graph problems: Standard, parameterized and approximation complexity.Discret. Appl. Math. Bd. 340. 2023 S. 183 - 201
Fernau, Henning; Jansen, Klaus
Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, ProceedingsSpringer 2023
Thomaschewski, Lisa; Feld, Nico; Weyers, Benjamin et al.
I sense that there is someone else: an exploratory study on the influence of the media richness of Augmented Reality-based assistance systems on team experience and performance.Frontiers Virtual Real. Bd. 4. 2023
Vu, Martin; Fernau, Henning
Insertion-Deletion with Substitutions II: About the Role of One-Sided Context.J. Autom. Lang. Comb. Bd. 28. H. 1-3. 2023 S. 221 - 244
L. Simeone, Adalberto; Weyers, Benjamin; Bialkova, Svetlana et al.
Introduction to Everyday Virtual and Augmented Reality.Everyday Virtual and Augmented Reality. 2023 S. 1 - 20
Grüger, Joscha; Malburg, Lukas; Bergmann, Ralph
IoT-enriched event log generation and quality analytics: a case study.it Inf. Technol. Bd. 65. H. 3. 2023 S. 128 - 138
Feld, Nico; Bimberg, Pauline; Weyers, Benjamin et al.
Keep it simple? Evaluation of Transitions in Virtual Reality.CHI Extended Abstracts. 2023 S. 196:1 - 196:7
Malburg, Lukas; Schultheis, Alexander; Bergmann, Ralph
Modeling and Using Complex IoT Time Series Data in Case-Based Reasoning: From Application Scenarios to Implementations.ICCBR Workshops. 2023 S. 81 - 96
C. Law, Yuen; Wehrt, Wilken; Sonnentag, Sabine et al.
Obtaining Semi-Formal Models from Qualitative Data: From Interviews Into BPMN Models in User-Centered Design Processes.Int. J. Hum. Comput. Interact. Bd. 39. H. 3. 2023 S. 476 - 493
Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Order Reconfiguration under Width Constraints.J. Graph Algorithms Appl. Bd. 27. H. 6. 2023 S. 409 - 431
Didimo, Walter; Gupta, Siddharth; Kindermann, Philipp et al.
Parameterized Approaches to Orthogonal Compaction.SOFSEM. 2023 S. 111 - 125
Fernau, Henning; Foucaud, Florent; Mann, Kevin et al.
Parameterizing Path Partitions.CIAC. 2023 S. 187 - 201
Fernau, Henning; V. Volkov, Mikhail
Preface of the Special Issue Dedicated to Selected Papers from CSR 2020.Theory Comput. Syst. Bd. 67. H. 2. 2023 S. 219 - 220
N. Abu-Khzam, Faisal; Fernau, Henning; Mann, Kevin
Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes.MFCS. 2023 S. 6:1 - 6:15
Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Synchronization and Diversity of Solutions.AAAI. 2023 S. 11516 - 11524
Fernau, Henning; Wolf, Petra; Yamakami, Tomoyuki
Synchronizing deterministic push-down automata can be really hard.Inf. Comput. Bd. 295. H. Part B. 2023 S. 105089
Firman, Oksana; Kindermann, Philipp; Klemz, Boris et al.
The Complexity of Finding Tangles.SOFSEM. 2023 S. 3 - 17
Fernau, Henning; Gajjar, Kshitij
The Space Complexity of Sum Labelling.Theory Comput. Syst. Bd. 67. H. 5. 2023 S. 1026 - 1049
Thomaschewski, Lisa; Feld, Nico; Weyers, Benjamin et al.
The Use of Augmented Reality for Temporal Coordination in Everyday Work Context.Everyday Virtual and Augmented Reality. 2023 S. 57 - 87
Schröpfer, Pete; Schauffel, Nathalie; P. Gründling, Jan et al.
Trust and Acceptance of Multi-Robot Systems "in the Wild". A Roadmap exemplified within the EU-Project BugWright2.CoRR. Bd. abs/2312.08047. 2023
Brand, Florian; Lott, Katharina; Malburg, Lukas et al.
Using Deep Reinforcement Learning for the Adaptation of Semantic Workflows.ICCBR Workshops. 2023 S. 55 - 70
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
When Stars Control a Grammar's Work.AFL. 2023 S. 96 - 111
Malburg, Lukas; Brand, Florian; Bergmann, Ralph
Adaptive Management of Cyber-Physical Workflows by Means of Case-Based Reasoning and Automated Planning.EDOC Workshops. 2022 S. 79 - 95
Goergen, Kevin; Fernau, Henning; Oest, Esther et al.
All Paths Lead to Rome.JCDCGGG. 2022 S. 228 - 256
Malburg, Lukas; Grüger, Joscha; Bergmann, Ralph
An IoT-Enriched Event Log for Process Mining in Smart Factories.CoRR. Bd. abs/2209.02702. 2022
P. Gründling, Jan; Zeiler, Daniel; Weyers, Benjamin
Answering With Bow and Arrow: Questionnaires and VR Blend Without Distorting the Outcome.VR. 2022 S. 683 - 692