Publications

2012

• 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
• 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
• 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
• 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
• 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
• The DEBS 2012 Grand ChallengeJerzak, Z., Heinze, T., Fehr, M., Gröber, D., Hartung, R. & Stojanovic, N., 2012, p. 393-398, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• 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: Book/Report/Anthology > Monograph
• 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
• Use Your Head: Tangible Windows for 3D Information Spaces in a Tabletop EnvironmentSpindler, M., Büschel, W. & Dachselt, R., 2012, Proceedings of the 2012 ACM International Conference on Interactive Tabletops and Surfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 245–254Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Using Role-Based Composition to Support Unanticipated, Dynamic Adaptation -- Smart Application GridsPiechnick, C., Richly, S., Götz, S., Wilke, C. & Aßmann, U., 2012, p. 93-102, 10 p.Research output: Contribution to conferences > Paper