Publications

2012

• On the complexity of entailment in existential conjunctive first-order logic with atomic negationMugnier, M., Simonet, G. & Thomazo, M., 2012, In: Information and computation. 215, p. 8-31, 24 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the correlation of radiation-based emission measurements,Zur Korrelation strahlungsgebundener EmissionsmessungenBuchholz, S., Manicke, A. & Krauthäuser, H., 2012, Elektromagnetische Vertraglichkeit, EMV 2012: Internationale Fachmesse und Kongress fur Elektromagnetische VertraglichkeitResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontological specification for the model integration in ICT building energy systemsGuruz, R., Katranuschkov, P., Scherer, R., Kaiser, J., Grunewald, J., Hensel, B., Kabitzsch, K. & 1 others, 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• OPEN - Enabling Non-expert Users to Extract, Integrate, and Analyze Open DataBraunschweig, K., Eberius, J., Thiele, M. & Lehner, W., 2012, In: Datenbank-Spektrum : Zeitschrift für Datenbanktechnologie und Information Retrieval. 12, 2, p. 121-130Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Open Trace Format 2 The Next Generation of Scalable Trace Formats and Support LibrariesEschweiler, D., Wagner, M., Geimer, M., Knuepfer, A., Nagel, W. E. & Wolf, F., 2012, Applications, Tools and Techniques on the Road to Exascale Computing. De Bosschere, K., D'Hollander, E. H., Joubert, G. R., Padua, D., Peters, F. & Sawyer, M. (eds.). IOS Press, p. 481-490, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimierung der Online-ReinigungRostkowski, S., Beckmann, M. & Tanner, N., 2012, Thomé-Kozmiensky, K. J.; Beckmann, M. (Hrsg.): Energie aus Abfall. Neuruppin, Vol. 9. p. 337-344, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimierung des VerbundstrangpressensKloppenborg, T., Brosius, A. & Tekkaya, A. E., 2012, p. 8-18Research output: Contribution to conferences > Paper
• Optimierung von Prozessen in BetriebsabläufenSchmidt, T., 2012, In: IHK.Wirtschaft : Dresden, Meißen, Sächsische Schweiz - Osterzgebirge, Bautzen, Görlitz. Vol. 2012. p. 13–15, 3 p.Research output: Contribution to specialist publication > Feature article/Contribution (Feuilleton)
• Optimisation of Power Connections for More Efficient Power Grids in the MENA RegionDreier, S. & Müller, S., 2012Research output: Contribution to conferences > Paper
• Optimizing Notifications of Subscription-Based Forecast QueriesFischer, U., Böhm, M., Lehner, W. & Pedersen, T. B., 2012, Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings. p. 449–466Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution