Publikationen

2012

• 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 ArchivesElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Programming embedded devices in IEC 61131-languages with industrial PLC tools using PLCopen XMLSimros, M., Theurich, S. & Wollschlaeger, M., 2012Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 217-226, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 1-22Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 6-57, 52 S., 1-2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Recent Advances in Unification for the EL FamilyBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 26th International Workshop on Unification (UNIF'12)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 355-358Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rule-driven manufacturing control based on ontologiesGellrich, A., Lunkwitz, D., Dennert, A. & Kabitzsch, K., 2012, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. S. 120 - 129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.], S. 30-44, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 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. (Hrsg.). Berlin, Heidelberg: Springer, Berlin [u. a.], S. 85-97, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 . S. 137-145, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• SketchViz: A Sketching Interface for Domain Comprehension Tasks Illustrated by an Industrial Network Use CaseBrade, M., Brändel, C., Salmen, A. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > 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), S. 1225-1228, 4 S., 6228174Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraintsBaader, F. & Okhotin, A., 2012, S. 107-121, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Some Notes on Managing Closure OperatorsRudolph, S., 2012, ICFCA. S. 278-291, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Special section on large-scale analytics.Lehner, W. & Franklin, M. J., 2012, in: VLDB J.. 21, 5, S. 587-588Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Spot-on for timed instances: striking a balance between spot and on-demand instancesKnauth, T. & Fetzer, C., 2012, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, in: Acta Informatica. 49, 4, S. 203-224, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Stream reasoning and complex event processing in ETALIS.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, in: Semantic web. 3, 4, S. 397-407, 11 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• TagStar: ein interaktives Indexierungs- und Analysewerkzeugde Almeida Madeira Clemente, M., Keck, M. & Groh, R., 2012, S. 389-392, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Terminology Harmonization in Industry Classification StandardsGromann, D. & Declerck, T., 2012, Proceedings of CHAT 2012: The 2nd Workshop on the Creation; Harmonization and Application of Terminology Resources; Co-located with TKE 2012; June 22; 2012; Madrid; SpainPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tools for High Performance Computing 2011 - Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, ZIH, Dresden, September 2011Brunst, H., Müller, M. S., Nagel, W. E. & Resch, M. M., 2012Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
• Tool supported OCL refactoring catalogueReimann, J., Wilke, C., Demuth, B., Muck, M. & Aßmann, U., 2012, S. 7-12, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Towards a Standard on Evaluation of Tactile/Haptic InteractionsSinclair, I., Carter, J., Kassner, S., van Erp, J., Weber, G., Elliott, L. & Andrew, I., 2012Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper