Publications

2012

• 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
• 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
• OWL: Yet to arrive on the Web of Data?Glimm, B., Hogan, A., Krötzsch, M. & Polleres, A., 2012, Workshop on Linked Data on the WebElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Partitioning and Multi-core Parallelization of Multi-equation Forecast ModelsDannecker, L., Böhm, M., Lehner, W. & Hackenbroich, G., 2012, Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings. p. 106–123Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pathways to servers of the future: Highly Adaptive Energy Efficient Computing (HAEC)Fettweis, G. P., Nagel, W. E. & Lehner, W., 2012, p. 1161-1166Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Probabilistic omega-automataBaier, C., Groesser, M. & Bertrand, N., 2012, In: Journal of the ACM. 59, 1, p. 1-52Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Proceedings of the 2nd International Workshop on Semantic Digital Archives, Paphos, Cyprus, September 27, 2012Mitschick, A., Loizides, F., Predoiu, L., Nürnberger, A. & Ross, S., 2012, SDA 2012 - Semantic Digital Archives: Proceedings of the 2nd International Workshop on Semantic Digital ArchivesElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Programming embedded devices in IEC 61131-languages with industrial PLC tools using PLCopen XMLSimros, M., Theurich, S. & Wollschlaeger, M., 2012Research output: Contribution to conferences > Paper
• Rare-event verification for stochastic hybrid systemsZuliani, P., Baier, C. & Clarke, E. M., 2012, HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Dang, T. & Mitchell, I. M. (eds.). Association for Computing Machinery (ACM), New York, p. 217-226, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Real-Time Business Intelligence in the MIRABEL Smart Grid SystemFischer, U., Kaulakiene, D., Khalefa, M. E., Lehner, W., Pedersen, T. B., Siksnys, L. & Thomsen, C., 2012, Enabling Real-Time Business Intelligence: 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers. p. 1-22Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, In: Applied artificial intelligence : AAI ; an international journal. 26, 1-2, p. 6-57, 52 p., 1-2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Recent Advances in Unification for the EL FamilyBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 26th International Workshop on Unification (UNIF'12)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Revisiting Hovering: Interaction Guides for Interactive SurfacesCheung, V., Heydekorn, J., Scott, S. D. & Dachselt, R., 2012, Proceedings of the 2012 ACM International Conference on Interactive Tabletops and Surfaces, ITS '12. p. 355-358Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Rule-driven manufacturing control based on ontologiesGellrich, A., Lunkwitz, D., Dennert, A. & Kabitzsch, K., 2012, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Sample-Based Forecasting Exploiting Hierarchical Time SeriesFischer, U., Rosenthal, F. & Lehner, W., 2012, IDEAS '12: Proceedings of the 16th International Database Engineering & Applications Sysmposium. p. 120 - 129Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted OntologiesBaader, F., Borgwardt, S. & Morawska, B., 2012, Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. Springer, Berlin [u. a.], p. 30-44, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Score-P: A Unified Performance Measurement System for Petascale ApplicationsMey, D. A., Biersdorf, S., Bischof, C., Diethelm, K., Eschweiler, D., Gerndt, M., Knüpfer, A. & 11 others, 2012, Competence in High Performance Computing 2010: Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany. Bischof, C., Hegering, H., Nagel, W. E. & Wittum, G. (eds.). Berlin, Heidelberg: Springer, Berlin [u. a.], p. 85-97, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scout: A Source-to-Source Transformator for SIMD OptimizationsKrzikalla, O., Feldhoff, K., Müller-Pfefferkorn, R. & Nagel, W. E., 2012, Euro-Par 2011: Parallel Processing Workshops . p. 137-145, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• SketchViz: A Sketching Interface for Domain Comprehension Tasks Illustrated by an Industrial Network Use CaseBrade, M., Brändel, C., Salmen, A. & Groh, R., 2012Research output: Contribution to conferences > Paper
• SMIX live - A self-managing index infrastructure for dynamic workloadsKissinger, T., Voigt, H. & Lehner, W., 2012, 2012 IEEE 28th International Conference on Data Engineering. Institute of Electrical and Electronics Engineers (IEEE), p. 1225-1228, 4 p., 6228174Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraintsBaader, F. & Okhotin, A., 2012, p. 107-121, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Some Notes on Managing Closure OperatorsRudolph, S., 2012, ICFCA. p. 278-291, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Special section on large-scale analytics.Lehner, W. & Franklin, M. J., 2012, In: VLDB J.. 21, 5, p. 587-588Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Spot-on for timed instances: striking a balance between spot and on-demand instancesKnauth, T. & Fetzer, C., 2012, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, In: Acta Informatica. 49, 4, p. 203-224, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article