Publications

2012

• 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. 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
• Stream reasoning and complex event processing in ETALIS.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, In: Semantic web. 3, 4, p. 397-407, 11 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• TagStar: ein interaktives Indexierungs- und Analysewerkzeugde Almeida Madeira Clemente, M., Keck, M. & Groh, R., 2012, p. 389-392, 4 p.Research output: Contribution to conferences > 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; SpainResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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., 2012Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Tool supported OCL refactoring catalogueReimann, J., Wilke, C., Demuth, B., Muck, M. & Aßmann, U., 2012, p. 7-12, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards a Standard on Evaluation of Tactile/Haptic InteractionsSinclair, I., Carter, J., Kassner, S., van Erp, J., Weber, G., Elliott, L. & Andrew, I., 2012Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Modeling a Variable Architecture for Multi-Tenant SaaS-ApplicationsSchroeter, J., Cech, S., Götz, S., Wilke, C. & Aßmann, U., 2012Research output: Contribution to conferences > Paper
• Towards the generation of semantically enriched multilingual components of ontology labelsDeclerck, T. & Gromann, D., 2012, Proceedings of the 3rd International Conference on Multilingual Semantic Web-Volume 936. Buitelaar, P., Cimiano, P., Lewis, D. & Pustejovsky James ad Sasaki, F. (eds.). CEUR Workshop Proceedings, Vol. 936. p. 11-22, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• UEL: Unification Solver for ELBaader, F., Borgwardt, S., Mendez, J. A. & Morawska, B., 2012, Proceedings of the 25th International Workshop on Description Logics (DL'12). p. 26-36, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• UEL: Unification Solver for the Description Logic EL - System DescriptionBaader, F., Mendez, J. & Morawska, B., 2012, Automated Reasoning - 6th International Joint Conference, IJCAR 2012. Springer, Berlin [u. a.], p. 45-51, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Undecidability of Fuzzy Description LogicsBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). p. 232-242, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution