Publikationen

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). S. 138-152, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. Band 4. S. 1889-1898Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 93-102, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 52-60Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Formale Verifikation von exogenen KoodinationsmodellenKlüppelholz, S., 2012, Ausgezeichnete Informatikdissertationen 2012. Gesellschaft für Informatik, Bonn, S. 171-180, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 Aufl., Band 7. S. 418-420Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From EL to Tractable Existential Rules with Complex Role InclusionsThomazo, M., 2012, Description LogicsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Functionalization of biomaterial surfaces using artificial extracellular matrices.Bierbaum, S., Hintze, V. & Scharnweber, D., 2012, in: Biomatter. 2, 3, S. 132-141, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Function integrated fibre-reinforced polyurethane composites with cellular matrix for intelligent lightweight structuresHufenbach, W., Gude, M. & Geller, S., 2012, Cellular materials: Proceedings CELLMAT 2012Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Funktionale Analyse und Bewertung der Langzeitstabilität ruhender Kontakte und Verbindungen der ElektroenergietechnikSchlegel, S., Großmann, S. & Schoenemann, T., 2012Publikation: Beitrag zu Konferenzen > Paper