Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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
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
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
Schultheis, Alexander; Hoffmann, Maximilian; Malburg, Lukas et al.
Explanation of Similarities in Process-Oriented Case-Based Reasoning by Visualization.ICCBR. 2023 S. 53 - 68
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
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
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
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
Firman, Oksana; Kindermann, Philipp; Klemz, Boris et al.
The Complexity of Finding Tangles.SOFSEM. 2023 S. 3 - 17
Brand, Florian; Lott, Katharina; Malburg, Lukas et al.
Using Deep Reinforcement Learning for the Adaptation of Semantic Workflows.ICCBR Workshops. 2023 S. 55 - 70
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
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
Kumar, Rahol; Schultheis, Alexander; Malburg, Lukas et al.
Considering Inter-Case Dependencies During Similarity-Based Retrieval in Process-Oriented Case-Based Reasoning.FLAIRS. 2022
Chimani, Markus; Kindermann, Philipp; Montecchiani, Fabrizio et al.
Crossing numbers of beyond-planar graphs.Theor. Comput. Sci. Bd. 898. 2022 S. 44 - 49
N. Abu-Khzam, Faisal; Fernau, Henning; Gras, Benjamin et al.
Enumerating Minimal Connected Dominating Sets.ESA. 2022 S. 1:1 - 1:15
Hoffmann, Maximilian; Malburg, Lukas; Bach, Nico et al.
GPU-Based Graph Matching for Accelerating Similarity Assessment in Process-Oriented Case-Based Reasoning.ICCBR. 2022 S. 240 - 255
Kindermann, Philipp; Klute, Fabian; Mchedlidze, Tamara et al.
Graph Drawing Contest Report.GD. 2022 S. 459 - 470
Geurts, Eva; Alberto Rovelo Ruiz, Gustavo; Luyten, Kris et al.
HCI and worker well-being in manufacturing industry.AVI. 2022 S. 87:1 - 87:2
Flemming, Carlo; Weyers, Benjamin; Zielasko, Daniel
How to Take a Brake from Embodied Locomotion - Seamless Status Control Methods for Seated Leaning Interfaces.VR. 2022 S. 728 - 736
Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus et al.
Improved descriptional complexity results on generalized forbidding grammars.Discret. Appl. Math. Bd. 319. 2022 S. 2 - 18
Vu, Martin; Fernau, Henning
Insertion-deletion systems with substitutions I.Comput. Bd. 11. H. 1. 2022 S. 57 - 83
Krüger, Marcel; Oehrl, Simon; C. Demiralp, Ali et al.
Insite: A Pipeline Enabling In-Transit Visualization and Analysis for Neuronal Network Simulations.ISC Workshops. 2022 S. 295 - 305
N. Abu-Khzam, Faisal; Fernau, Henning; Mann, Kevin
Minimal Roman Dominating Functions: Extensions and Enumeration.WG. 2022 S. 1 - 15
S. Evans, William; Fleszar, Krzysztof; Kindermann, Philipp et al.
Minimum rectilinear polygons for given angle sequences.Comput. Geom. Bd. 100. 2022 S. 101820
Chaplick, Steven; Kindermann, Philipp; Klawitter, Jonathan et al.
Morphing Rectangular Duals.GD. 2022 S. 389 - 403
Angelini, Patrizio; A. Bekos, Michael; Kindermann, Philipp et al.
On mixed linear layouts of series-parallel graphs.Theor. Comput. Sci. Bd. 936. 2022 S. 129 - 138
Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
On the complexity of solution extension of optimization problems.Theor. Comput. Sci. Bd. 904. 2022 S. 48 - 65
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the computational completeness of matrix simple semi-conditional grammars.Inf. Comput. Bd. 284. 2022 S. 104688
Firman, Oksana; Kindermann, Philipp; Klawitter, Jonathan et al.
Outside-Obstacle Representations with All Vertices on the Outer Face.GD. 2022 S. 432 - 440
Aichholzer, Oswin; Fabila Monroy, Ruy; Kindermann, Philipp et al.
Perfect Matchings with Crossings.IWOCA. 2022 S. 46 - 59
Fernau, Henning; Holzer, Markus; Wolf, Petra
Preface to Klaus-Jörn Lange Festschrift.Acta Informatica. Bd. 59. H. 4. 2022 S. 285 - 287
Diekert, Volker; Fernau, Henning; Wolf, Petra
Properties of graphs specified by a regular language.Acta Informatica. Bd. 59. H. 4. 2022 S. 357 - 385
Biertz, Manuel; Lorik, Dumani; Nilles, Markus et al.
QualiAssistant: Extracting Qualia Structures from TextsProceedings of the 9th Workshop on Argument Mining. Bd. 1. Gyeongju, Republic of Korea. 2022 S. 199 - 208
Katharina Kreutz, Christin; Wolz, Michael; Knack, Jascha et al.
SchenQL: in-depth analysis of a query language for bibliographic metadata.Int. J. Digit. Libr. Bd. 23. H. 2. 2022 S. 113 - 132
Grüger, Joscha; Malburg, Lukas; Mangler, Juergen et al.
SensorStream: An XES Extension for Enriching Event Logs with IoT-Sensor Data.CoRR. Bd. abs/2206.11392. 2022
Chaplick, Steven; Felsner, Stefan; Kindermann, Philipp et al.
Simple algorithms for partial and simultaneous rectangular duals with given contact orientations.Theor. Comput. Sci. Bd. 919. 2022 S. 66 - 74
Fernau, Henning
Special Issue "Selected Algorithmic Papers From CSR 2020".Algorithms. Bd. 15. H. 11. 2022 S. 426
Fernau, Henning; Bruchertseifer, Jens
Synchronizing words and monoid factorization, yielding a new parameterized complexity class?Math. Struct. Comput. Sci. Bd. 32. H. 2. 2022 S. 189 - 215
Zielasko, Daniel; Heib, Jonas; Weyers, Benjamin
Systematic Design Space Exploration of Discrete Virtual Rotations in VR.VR. 2022 S. 693 - 702
A. Bekos, Michael; Felsner, Stefan; Kindermann, Philipp et al.
The Rique-Number of Graphs.GD. 2022 S. 371 - 386
Fernau, Henning; Haase, Carolina; Hoffmann, Stefan
The Synchronization Game on Subclasses of Automata.FUN. 2022 S. 14:1 - 14:17
Malburg, Lukas; Bergmann, Ralph
Towards Adaptive Workflow Management by Case-based Reasoning and Automated Planning.ICCBR Workshops. 2022 S. 211 - 220
Banyassady, Bahareh; de Berg, Mark; Bringmann, Karl et al.
Unlabeled Multi-Robot Motion Planning with Tighter Separation Bounds.SoCG. 2022 S. 12:1 - 12:16
Thomaschewski, Lisa; Weyers, Benjamin; Kluge, Annette
A two-part evaluation approach for measuring the usability and user experience of an Augmented Reality-based assistance system to support the temporal coordination of spatially dispersed teams.Cogn. Syst. Res. Bd. 68. 2021 S. 1 - 17
Casel, Katrin; Fernau, Henning; Khosravian Ghadikolaei, Mehdi et al.
Abundant Extensions.CIAC. 2021 S. 3 - 17
Vu, Martin; Fernau, Henning
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III.SOFSEM. 2021 S. 577 - 592
Vu, Martin; Fernau, Henning
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III.Algorithms. Bd. 14. H. 5. 2021 S. 131
Monnot, Jérôme; Fernau, Henning; F. Manlove, David
Algorithmic aspects of upper edge domination.Theor. Comput. Sci. Bd. 877. 2021 S. 46 - 57
Marie Prinz, Lisa; Mathew, Tintu; Klüber, Simon et al.
An Overview and Analysis of Publications on Locomotion Taxonomies.VR Workshops. 2021 S. 385 - 388
Geiger, Jakob; Cornelsen, Sabine; Haunert, Jan-Henrik et al.
ClusterSets: Optimizing Planar Clusters in Categorical Point Data.Comput. Graph. Forum. Bd. 40. H. 3. 2021 S. 471 - 481
Eroglu, Sevinc; Stefan, Frederic; Chevalier, Alain et al.
Design and Evaluation of a Free-Hand VR-based Authoring Environment for Automated Vehicle Testing.VR. 2021 S. 1 - 10
Arrighi, Emmanuel; Fernau, Henning; Lokshtanov, Daniel et al.
Diversity in Kemeny Rank Aggregation: A Parameterized Approach.IJCAI. 2021 S. 10 - 16
Kindermann, Philipp; Montecchiani, Fabrizio; Schlipf, Lena et al.
Drawing Subcubic 1-Planar Graphs with Few Bends, Few Slopes, and Large Angles.J. Graph Algorithms Appl. Bd. 25. H. 1. 2021 S. 1 - 28
W. Borst, Christoph; Weyers, Benjamin; L. Simeone, Adalberto et al.
Editorial: Everyday Virtual and Augmented Reality: Methods and Applications.Frontiers Virtual Real. Bd. 2. 2021 S. 760883
Chaplick, Steven; Kindermann, Philipp; Klawitter, Jonathan et al.
Extending Partial Representations of Rectangular Duals with Given Contact Orientations.CIAC. 2021 S. 340 - 353
Kindermann, Philipp; Mchedlidze, Tamara; Meulemans, Wouter
Graph Drawing Contest Report.GD. 2021 S. 409 - 417
Baumann, Konrad; Creissac Campos, José; J. Dix, Alan et al.
HCI-E: HCI Engineering Education - For Developers, Designers and More.INTERACT (5). 2021 S. 542 - 547
Aït Ameur, Yamine; Bowen, Judy; Creissac Campos, José et al.
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.Interact. Comput. Bd. 33. H. 1. 2021 S. 1 - 2
Fernau, Henning; Kuppusamy, Lakshmanan; O. Oladele, Rufus et al.
Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars.Fundam. Informaticae. Bd. 181. H. 2-3. 2021 S. 189 - 211
Malburg, Lukas; Hoffmann, Maximilian; Trumm, Simon et al.
Improving Similarity-Based Retrieval Efficiency by Using Graphic Processing Units in Case-Based Reasoning.FLAIRS. 2021
Fernau, Henning; T. Huber, Katharina; (Seffi) Naor, Joseph
Invited Talks.CIAC. 2021 S. 3 - 19
Feld, Nico; Weyers, Benjamin
Mixed Reality in Asymmetric Collaborative Environments: A Research Prototype for Virtual City Tours.VR Workshops. 2021 S. 250 - 256
Malburg, Lukas; Rieder, Manfred-Peter; Seiger, Ronny et al.
Object Detection for Smart Factory Processes by Machine Learning.ANT/EDI40. 2021 S. 581 - 588
Arrighi, Emmanuel; Fernau, Henning; Hoffmann, Stefan et al.
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes.FSTTCS. 2021 S. 34:1 - 34:15
Casel, Katrin; Fernau, Henning; Gaspers, Serge et al.
On the Complexity of the Smallest Grammar Problem over Fixed Alphabets.Theory Comput. Syst. Bd. 65. H. 2. 2021 S. 344 - 409
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
On the generative capacity of matrix insertion-deletion systems of small sum-norm.Nat. Comput. Bd. 20. H. 4. 2021 S. 671 - 689
Angelini, Patrizio; Kindermann, Philipp; Löffler, Andre et al.
One-Bend Drawings of Outerplanar Graphs Inside Simple Polygons.GD. 2021 S. 184 - 192
Arrighi, Emmanuel; Fernau, Henning; de Oliveira Oliveira, Mateus et al.
Order Reconfiguration Under Width Constraints.MFCS. 2021 S. 8:1 - 8:15
Fernau, Henning
Parsimonious Computational Completeness.DLT. 2021 S. 12 - 26
Fernau, Henning; Malcher, Andreas; Pighizzini, Giovanni
Preface to Martin Kutrib Festschrift.Acta Informatica. Bd. 58. H. 4. 2021 S. 241 - 242
Hoffmann, Maximilian; Malburg, Lukas; Bergmann, Ralph
ProGAN: Toward a Framework for Process Monitoring and Flexibility by Change via Generative Adversarial Networks.Business Process Management Workshops. 2021 S. 43 - 55
Diekert, Volker; Fernau, Henning; Wolf, Petra
Properties of Graphs Specified by a Regular Language.DLT. 2021 S. 117 - 129
Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
Self-Verifying Pushdown and Queue Automata.Fundam. Informaticae. Bd. 180. H. 1-2. 2021 S. 1 - 28
Bruchertseifer, Jens; Fernau, Henning
Synchronizing series-parallel deterministic finite automata with loops and related problems.RAIRO Theor. Informatics Appl. Bd. 55. 2021 S. 7
Bowen, Judy; Dittmar, Anke; Weyers, Benjamin
Task Modelling for Interactive System Design: A Survey of Historical Trends, Gaps and Future Needs.Proc. ACM Hum. Comput. Interact. Bd. 5. H. EICS. 2021 S. 214:1 - 214:22
Fernau, Henning; Gajjar, Kshitij
The Space Complexity of Sum Labelling.FCT. 2021 S. 230 - 244
Weyers, Benjamin; Frank, Barbara; Kluge, Annette
A Formal Modeling Framework for the Implementation of Gaze Guiding as an Adaptive Computer-Based Job Aid for the Control of Complex Technical Systems.Int. J. Hum. Comput. Interact. Bd. 36. H. 8. 2020 S. 748 - 776
Dumani, Lorik; J. Neumann, Patrick; Schenkel, Ralf
A Framework for Argument Retrieval - Ranking Argument Clusters by Frequency and Specificity.ECIR (1). 2020 S. 431 - 445
Zielasko, Daniel; E. Riecke, Bernhard
Can We Give Seated Users in Virtual Reality the Sensation of Standing or Even Walking? Do We Want To?VR Workshops. 2020 S. 281 - 282
Casel, Katrin; Dreier, Jan; Fernau, Henning et al.
Complexity of independency and cliquy trees.Discret. Appl. Math. Bd. 272. 2020 S. 2 - 15
Michels, Christopher; Neumann, Mandy; Schaer, Philipp et al.
Conference Indexing in Digital Libraries: A Ranking Model and Case Study on dblp.BIR@ECIR. 2020 S. 30 - 41
Fernau, Henning; Fluschnik, Till; Hermelin, Danny et al.
Diminishable parameterized problems and strict polynomial kernelization.Comput. Bd. 9. H. 1. 2020 S. 1 - 24
Bazgan, Cristina; Brankovic, Ljiljana; Casel, Katrin et al.
Domination chain: Characterisation, classical complexity, parameterised complexity and approximability.Discret. Appl. Math. Bd. 280. 2020 S. 23 - 42
Zielasko, Daniel; E. Riecke, Bernhard
Either Give Me a Reason to Stand or an Opportunity to Sit in VR.VR Workshops. 2020 S. 283 - 284
Katharina Kreutz, Christin; Sahitaj, Premtim; Schenkel, Ralf
Evaluating semantometrics from computer science publications.Scientometrics. Bd. 125. H. 3. 2020 S. 2915 - 2954