FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften
Universität Trier
- 0651/201-2640
- 0651/201-3927
Weyers, Benjamin; D. Harrison, Michael; Bowen, Judy et al.
Case Studies.Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 89 - 121
Reuter, Lukas; Ole Berndt, Jan; J. Timm, Ingo
Challenges of simulating teamwork in organizational scenarios.WSC. Las Vegas, NV: IEEE 2017 S. 4542 - 4543
Fernau, Henning; Paramasivan, Meenakshi; L. Schmid, Markus et al.
Characterization and complexity results on jumping finite automata.Theor. Comput. Sci. Bd. 679. 2017 S. 31 - 52
Casel, Katrin; Fernau, Henning; Grigoriev, Alexander et al.
Combinatorial Properties and Recognition of Unit Square Visibility Graphs.MFCS. 2017 S. 30:1 - 30:15
Goerke, Laszlo; Lorenz, Olga
Commuting and Sickness AbsenceIAAEU Discussion Paper 12/2017, zugleich in: IZA Discussion Paper No. 11183. Trier. 2017
Müller, Gilbert; Bergmann, Ralph
Complexity-Aware Generation of Workflows by Process-Oriented Case-Based Reasoning.KI. 2017 S. 207 - 221
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
Computational Completeness of Path-Structured Graph-Controlled Insertion-Deletion Systems.CIAA. 2017 S. 89 - 100
Berger, Franziska; Gritzmann, Peter; de Vries, Sven
Computing cyclic invariants for molecular graphsNetworks. Bd. 70. H. 2. Wiley 2017 S. 116 - 131
Alhazov, Artiom; Fernau, Henning; Freund, Rudolf et al.
Contextual array grammars with matrix control, regular control languages, and tissue P systems control.Theor. Comput. Sci. Bd. 682. 2017 S. 5 - 21
Zeyen, Christian; Müller, Gilbert; Bergmann, Ralph
Conversational Process-Oriented Case-Based Reasoning.ICCBR. 2017 S. 403 - 419