Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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; A. Becker, Colja; J. Timm, Ingo
Formal specification of hypotheses for assisting computer simulation studies.SpringSim (TMS). San Diego, CA: Society for Modeling & Simulation International 2017 S. 18:1 - 18:12
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; S. Lebherz, Daniel; Ole Berndt, Jan et al.
Hypothesis-driven experiment design in computer simulation studies.Chan, Victor (Hrsg). WSC. 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
Vierjahn, Tom; Schnorr, Andrea; Weyers, Benjamin et al.
Interactive Exploration of Dissipation Element Geometry.EGPGV@EuroVis. 2017 S. 53 - 62
Kindermann, Philipp; G. Kobourov, Stephen; Löffler, Maarten et al.
Lombardi Drawings of Knots and Links.GD. 2017 S. 113 - 126
Fernau, Henning; Freund, Rudolf; Siromoney, Rani et al.
Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors.Fundam. Informaticae. Bd. 155. H. 1-2. 2017 S. 209 - 232