Publications

2012

• Finding Finite Herbrand ModelsBorgwardt, S. & Morawska, B., 2012, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12). p. 138-152, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• First results of a new test rig for the research on the internal air system of an industrial gas turbineGünther, A., Uffrecht, W., Odenbach, S. & Caspary, V., 2012, Proceedings of the ASME Turbo Expo 2012: Turbine Technical Conference and Exposition: Heat Transfer, Parts A and B. Vol. 4. p. 1889-1898Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Flattening hierarchical schedulingWarg, A., Völp, M., Härtig, H. & Lackorzynski, A., 2012, Proceedings of the tenth ACM international conference on Embedded software. New York, NY, USA: ACM Press, p. 93-102, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Flow oscillations driven by a rotating magnetic field in liquid metal columns with an upper free surfaceTravnikov, V., Eckert, K., Nikrityuk, P., Odenbach, S., Vogt, T. & Eckert, S., 2012, In: Journal of crystal growth. 339, 1, p. 52-60Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• 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