Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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
Kindermann, Philipp; Meulemans, Wouter; Schulz, André
Experimental Analysis of the Accessibility of Drawings with Few Segments.GD. 2017 S. 52 - 64
Fernau, Henning
Extremal Kernelization: A Commemorative Paper.IWOCA. 2017 S. 24 - 36
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
Lorig, Fabian; Becker, Colja A.; Timm, Ingo J.
Formal specification of hypotheses for assisting computer simulation studiesProceeding TMS/DEVS '17 Proceedings of the Symposium on Theory of Modeling & Simulation ; Virginia Beach, Virginia — April 23 - 26, 2017 - SpringSim 2017. San Diego, CA: Society for Modeling & Simulation International 2017 S. 18
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
E. Devanny, William; Kindermann, Philipp; Löffler, Maarten et al.
Graph Drawing Contest Report.GD. 2017 S. 575 - 582
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity.DCFS. 2017 S. 128 - 139
Lorig, Fabian; Lebherz, Daniel S.; Berndt, Jan Ole et al.
Hypothesis-driven experiment design in computer simulation studiesChan, Victor (Hrsg). WSC'17 : 2017 Winter Simulation Conference : WSC turns 50: simulation everywhere! : December 3-6, 2017, Red Rock Casino Resort & Spa, Las Vegas, NV. Piscataway, NJ: IEEE 2017 S. 1360 - 1371
A. Bekos, Michael; C. van Dijk, Thomas; Fink, Martin et al.
Improved Approximation Algorithms for Box Contact Representations.Algorithmica. Bd. 77. H. 3. 2017 S. 902 - 920