Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Fernau, Henning; Freund, Rudolf; Holzer, Markus
The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems.Int. J. Found. Comput. Sci. Bd. 26. H. 8. 2015 S. 1167 - 1188
Fernau, Henning; López-Ortiz, Alejandro; Romero, Jazmín
Using Parametric Transformations Toward Polynomial Kernels for Packing Problems Allowing Overlaps.TOCT. Bd. 7. H. 3. 2015 S. 13:1 - 13:29
Weyers, Benjamin; Bowen, Judy; J. Dix, Alan et al.
Workshop on formal methods in human computer interaction.EICS. 2015 S. 294 - 295
Pick, Sebastian; Gebhardt, Sascha; Weyers, Benjamin et al.
A 3D collaborative virtual environment to integrate immersive virtual reality into factory planning processes.3DCVE@VR. 2014 S. 1 - 6
Müller, Gilbert; Bergmann, Ralph
A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning.ECAI. 2014 S. 639 - 644
Dieterle, Sebastian; Bergmann, Ralph
A Hybrid CBR-ANN Approach to the Appraisal of Internet Domain Names.ICCBR. 2014 S. 95 - 109
Binkele-Raible, Daniel; Fernau, Henning
An Amortized Search Tree Analysis for Finding a k-Leaf Spanning Tree in an Undirected Graph.Discrete Mathematics & Theoretical Computer Science. Bd. 16. H. 1. 2014 S. 179 - 200
N. Abu-Khzam, Faisal; Bazgan, Cristina; Chopin, Morgan et al.
Approximation Algorithms Inspired by Kernelization Methods.ISAAC. 2014 S. 479 - 490
Minor, Mirjam; Bergmann, Ralph; Görg, Sebastian
Case-based adaptation of workflows.Inf. Syst. Bd. 40. 2014 S. 142 - 152
Bermudo, Sergio; Fernau, Henning
Computing the differential of a graph: Hardness, approximability and exact algorithms.Discrete Applied Mathematics. Bd. 165. 2014 S. 69 - 82