Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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; Mangler, Jürgen; Grüger, Joscha 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