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