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
• Frontiers in Crowdsourced Data IntegrationBraunschweig, K., Eberius, J., Thiele, M. & Lehner, W., 2012, in: it-Information Technology. 54, 3, S. 130-137Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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), S. 1245-1248, 4 S., 6228179Elektronische (Volltext-)VersionPublikation: 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)