Abstract is missing.
- Rehasport: The Challenge of Small Margin Healthcare AccountingMarkus Doedt, Thomas Göke, Jan Pardo, Maik Merten. 3-18 [doi]
- Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing DataErik Borg, Bernd Fichtelmann, Christian Fischer, Hartmut Asche. 21-37 [doi]
- Automated Spatial Data Processing and RefiningMarion Simon, Hartmut Asche. 38-49 [doi]
- Learning-Based Cross-Platform Conformance TestingJohannes Neubauer, Bernhard Steffen. 53-79 [doi]
- Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile MatchingAxel Hessenkämper, Barbara Steffen, Steve Boßelmann. 83-96 [doi]
- Head Pose Normalization for Recognition of Human Identities Using Color and Depth DataFrederik Gossen. 97-112 [doi]
- Guided Domain-Specific Tailoring of jABC4Dennis Kühn, Johannes Neubauer. 113-127 [doi]
- Model-Driven Active Automata Learning with LearnLib StudioOliver Bauer, Johannes Neubauer, Malte Isberner. 128-142 [doi]
- Counterexample-Guided Prefix Refinement Analysis for Program VerificationMarc Jasper. 143-155 [doi]