Publications

2012

• Formale Verifikation von exogenen KoodinationsmodellenKlüppelholz, S., 2012, Ausgezeichnete Informatikdissertationen 2012. Gesellschaft für Informatik, Bonn, p. 171-180, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Forming the interface between doctor and designing engineer – an efficient software tool to define auxiliary geome-tries for the design of individualized lower jaw implantsSembdner, P., Schöne, C. & Stelzer, R., 2012, International Journal of Computer Assisted Radiology and Surgery. 1 ed., Vol. 7. p. 418-420Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From EL to Tractable Existential Rules with Complex Role InclusionsThomazo, M., 2012, Description LogicsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Frontiers in Crowdsourced Data IntegrationBraunschweig, K., Eberius, J., Thiele, M. & Lehner, W., 2012, In: it-Information Technology. 54, 3, p. 130-137Electronic (full-text) versionResearch output: Contribution to journal > Research article
• F ²DB: The flash-forward database systemFischer, U., Rosenthal, F. & Lehner, W., 2012, 2012 IEEE 28th International Conference on Data Engineering. Institute of Electrical and Electronics Engineers (IEEE), p. 1245-1248, 4 p., 6228179Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Functionalization of biomaterial surfaces using artificial extracellular matrices.Bierbaum, S., Hintze, V. & Scharnweber, D., 2012, In: Biomatter. 2, 3, p. 132-141, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Function integrated fibre-reinforced polyurethane composites with cellular matrix for intelligent lightweight structuresHufenbach, W., Gude, M. & Geller, S., 2012, Cellular materials: Proceedings CELLMAT 2012Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Funktionale Analyse und Bewertung der Langzeitstabilität ruhender Kontakte und Verbindungen der ElektroenergietechnikSchlegel, S., Großmann, S. & Schoenemann, T., 2012Research output: Contribution to conferences > Paper
• Ganzheitliche Leichtbaukonzepte für AutomobileHufenbach, W., 2012, In: Konstruktion. 2012, 9, p. IW2Research output: Contribution to journal > Comment/Debate
• Gaspermeation durch KunststoffeRühling, K., 2012Research output: Contribution to conferences > Paper