Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Metzger, Steffen; Schenkel, Ralf; Sydow, Marcin
QBEES: query-by-example entity search in semantic knowledge graphs based on maximal aspects, diversity-awareness and relaxation.J. Intell. Inf. Syst. Bd. 49. H. 3. 2017 S. 333 - 366
Fernau, Henning; Paramasivan, Meenakshi; Gnanaraj Thomas, D.
Regular grammars for array languages.NCMA. 2017 S. 119 - 134
Zielasko, Daniel; Weyers, Benjamin; Bellgardt, Martin et al.
Remain seated: towards fully-immersive desktop VR.WEVR@VR. 2017 S. 1 - 6
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
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
Berndt, Jan Ole; Timm, Ingo J.; Krause, Joscha et al.
Toward hybrid simulations for care demand forecastingWinter Simulation Conference = 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