Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Fernau, Henning; Kuppusamy, Lakshmanan
Parikh Images of Matrix Ins-Del Systems.TAMC. 2017 S. 201 - 215
Alt, Helmut; Buchin, Kevin; Chaplick, Steven et al.
Placing your Coins on a Shelf.ISAAC. 2017 S. 4:1 - 4:12
Fernau, Henning; Krebs, Andreas
Problems on Finite Automata and the Exponential Time Hypothesis.Algorithms. Bd. 10. H. 1. 2017 S. 24
Bergmann, Ralph; Minor, Mirjam; Müller, Gilbert et al.
Project EVER: Extraction and Processing of Procedural Experience Knowledge in Workflows.ICCBR (Workshops). 2017 S. 137 - 146
Metzger, Steffen; Schenkel, Ralf; Sydow, Marcin
QBEES: query-by-example entity search in semantic knowledge graphs based on maximal aspects, diversity-awareness and relaxation.J. Intell. Inf. Syst. Bd. 49. H. 3. 2017 S. 333 - 366
Fernau, Henning; Paramasivan, Meenakshi; Gnanaraj Thomas, D.
Regular grammars for array languages.NCMA. 2017 S. 119 - 134
Zielasko, Daniel; Weyers, Benjamin; Bellgardt, Martin et al.
Remain seated: towards fully-immersive desktop VR.WEVR@VR. 2017 S. 1 - 6
Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias
Self-verifying pushdown automata.NCMA. 2017 S. 103 - 117
Rietzke, Eric; Bergmann, Ralph; Kuhn, Norbert
Semantically-Oriented Business Process Visualization for a Data and Constraint-Based Workflow Approach.Business Process Management Workshops. 2017 S. 142 - 150
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