Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
Self-verifying pushdown automata.NCMA. 2017 S. 103 - 117
Rietzke, Eric; Bergmann, Ralph; Kuhn, Norbert
Semantically-Oriented Business Process Visualization for a Data and Constraint-Based Workflow Approach.Business Process Management Workshops. 2017 S. 142 - 150
Oliveira Prates, Raquel; A. Palanque, Philippe; Weyers, Benjamin et al.
State of the Art on Formal Methods for Interactive Systems.Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 3 - 55
Weyers, Benjamin; Bowen, Judy; J. Dix, Alan et al.
The Handbook of Formal Methods in Human-Computer Interaction.Springer International Publishing 2017
Bowen, Judy; J. Dix, Alan; A. Palanque, Philippe et al.
Topics of Formal Methods in HCI.Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 57 - 64
Ole Berndt, Jan; J. Timm, Ingo; Krause, Joscha et al.
Toward hybrid simulations for care demand forecasting.WSC. Las Vegas, NV: IEEE 2017 S. 4594 - 4595
Vierjahn, Tom; Zielasko, Daniel; van Kooten, Kees et al.
Towards a design space characterizing workflows that take advantage of immersive visualization.VR. 2017 S. 329 - 330
S. Lebherz, Daniel; Lorig, Fabian; J. Timm, Ingo
Towards agent-based social simulation as a method in literary studies: Analyzing creative processes based on egodocuments.WSC. Las Vegas, NV: IEEE 2017 S. 4562 - 4563
J. Timm, Ingo; Ole Berndt, Jan; Reuter, Lukas et al.
Towards Multiagent-Based Simulation of Knowledge Management in Teams.Sure-Vetter, York (Hrsg). WM. Aachen: RWTH 2017 S. 25 - 40 (CEUR Workshop Proceedings ; 1821)
Reuter, Lukas; Ole Berndt, Jan; J. Timm, Ingo
Towards Simulation-Based Role Optimization in Organizations.Kern-Isberner, Gabriele (Hrsg). KI. 1. ed. Aufl. Cham: Springer 2017 S. 359 - 365 (Lecture Notes in Computer Science ; 10505)