Publikationen

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, 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
• 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
• 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
• 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
• 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
• The DEBS 2012 Grand ChallengeJerzak, Z., Heinze, T., Fehr, M., Gröber, D., Hartung, R. & Stojanovic, N., 2012, S. 393-398, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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., 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: Buch/Gutachten/Sammelbände > Monographie
• Towards Modeling a Variable Architecture for Multi-Tenant SaaS-ApplicationsSchroeter, J., Cech, S., Götz, S., Wilke, C. & Aßmann, U., 2012Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). CEUR Workshop Proceedings, Band 936. S. 11-22, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 26-36, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.], S. 45-51, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 232-242, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 245–254Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Using Role-Based Composition to Support Unanticipated, Dynamic Adaptation -- Smart Application GridsPiechnick, C., Richly, S., Götz, S., Wilke, C. & Aßmann, U., 2012, S. 93-102, 10 S.Publikation: Beitrag zu Konferenzen > Paper