Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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
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
R. Ortega, Francisco; J. Teather, Robert; Bruder, Gerd et al.
SUI '21: Symposium on Spatial User Interaction, Virtual Event, USA, November 9-10, 2021ACM 2021
Bruchertseifer, Jens; Fernau, Henning
Synchronizing series-parallel deterministic finite automata with loops and related problems.RAIRO Theor. Informatics Appl. Bd. 55. 2021 S. 1 - 24
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
Dumani, Lorik; Biertz, Manuel; Witry, Alex et al.
The ReCAP Corpus: A Corpus of Complex Argument Graphs on German Education Politics.ICSC. 2021 S. 248 - 255
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