0000-0003-4785-708X
Zielasko, Daniel; , Neha; Weyers, Benjamin et al.
BlowClick 2.0: A trigger based on non-verbal vocal input.VR. 2017 S. 319 - 320
Weyers, Benjamin; D. Harrison, Michael; Bowen, Judy et al.
Case Studies.Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 89 - 121
Freitag, Sebastian; Weyers, Benjamin; W. Kuhlen, Torsten
Efficient approximate computation of scene visibility based on navigation meshes and applications for navigation and scene analysis.3DUI. 2017 S. 134 - 143
Weyers, Benjamin
Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models.Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 273 - 294
C. Law, Yuen; Wehrt, Wilken; Sonnentag, Sabine et al.
Generation of information systems from process models to support intentional forgetting of work habits.EICS. 2017 S. 27 - 32
Vierjahn, Tom; Schnorr, Andrea; Weyers, Benjamin et al.
Interactive Exploration of Dissipation Element Geometry.EGPGV@EuroVis. 2017 S. 53 - 62
Zielasko, Daniel; Weyers, Benjamin; Bellgardt, Martin et al.
Remain seated: towards fully-immersive desktop VR.WEVR@VR. 2017 S. 1 - 6
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