Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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