Publikationen

2011

• UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 SuperstructureWilke, C. & Demuth, B., 2011Publikation: Beitrag zu Konferenzen > Paper
• Unchain My EL ReasonerKazakov, Y., Krötzsch, M. & Simančík, F., 2011, International Workshop on Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unification in Modal and Description LogicsBaader, F. & Ghilardi, S., 2011, in: Logic Journal of the IGPL. 19, 6, S. 705–730, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Unification in the Description Logic EL Without the Top ConceptBaader, F., Binh, N. T., Borgwardt, S. & Morawska, B., 2011, Proc. of the 23rd International Conference on Automated Deduction (CADE 2011). S. 70-84, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unification in the Description Logic EL Without the Top ConceptBaader, F., Binh, N. T., Borgwardt, S. & Morawska, B., 2011, Proc. of the 24th International Workshop on Description Logics (DL 2011). S. 26-36, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Using smartphones to motivate secondary school students for informaticsHolz, J., Leonhardt, T. & Schroeder, U., 2011, Proceedings of the 11th Koli Calling International Conference on Computing Education Research /. Koli and Finland: Association for Computing Machinery (ACM), New York, S. 89-94, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Virtual sensors for estimation of energy consumption and thermal comfort in buildings with underfloor heatingPloennigs, J., Ahmed, A., Hensel, B., Stack, P. & Menzel, K., 2011, in: Advanced engineering informaticsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Vision Paper: Towards Model-Based Energy TestingWilke, C., Götz, S., Reimann, J. & Assmann, U., 2011Publikation: Beitrag zu Konferenzen > Paper
• Wahrnehmungsrealismus – Aspekte der menschlich-visuellen Kompetenz und deren Bedeutung für computergrafische interaktive AnwendungenFranke, I. S., 2011Publikation: Beitrag zu Konferenzen > Paper
• Wahrnehmungsrealistische Darstellung von AvatarenZavesky, M., Wojdziak, J., Kusch, K., Wuttig, D., Franke, I. S. & Groh, R., 2011, Wieder mehr Sehen! - Aktuelle Einblicke in die Technische VisualistikPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• What´s new in Description LogicsBaader, F., 2011, in:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 34, 5, S. 434-442, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Wieder mehr Sehen! - Aktuelle Einblicke in die Technische VisualistikGroh, R., Wojdziak, J., Kammer, D., Zavesky, M., Münch, T., Ebner, T., Franke, I. S. & 16 weitere, 2011, Neuerscheinung Aufl., Dresden, 146 S., (Aktuelle Einblicke in die Technische Visualistik)Publikation: Buch/Gutachten/Sammelbände > Monographie
• Zauberschule Informatik – Einblick in die Welt der Informatik für Kinder im GrundschulalterBergner, N., Leonhardt, T. & Schroeder, U., 2011, Informatik mit Kopf, Herz und Hand. ZfL-Verlag, S. 132-141, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2010

• Integrated Metamodeling and Diagnosis in OWL 2Glimm, B., Rudolph, S. & Völker, J., 1 Nov. 2010, Proceedings of the 9th International Semantic Web Conference. Patel-Schneider, P. F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J. Z., Horrocks, I. & Glimm, B. (Hrsg.). Springer, Berlin [u. a.], S. 257-272, 16 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• COACH: Collaborative accessibility approach in mobile navigation system for the visually impairedZeng, L. & Weber, G., 5 Okt. 2010, GeNeMe 2010 - Gemeinschaften in Neuen Medien. S. 183 -192Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ARM TrustZone as a Virtualization Technique in Embedded SystemsLackorzynski, A., Frenzel, T., Härtig, H. & Warg, A., Okt. 2010, Proceedings of Twelfth Real-Time Linux Workshop. Nairobe, KenyaPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Generic Virtualization with Virtual ProcessorsLackorzynski, A., Warg, A. & Peter, M., Okt. 2010, Proceedings of Twelfth Real-Time Linux Workshop. Nairobi, KenyaPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Rule-Based Language for Complex Event Processing and ReasoningAnicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N. & Studer, R., 1 Sept. 2010, Web Reasoning and Rule Systems - Fourth International Conference. Hitzler, P. & Lukasiewicz, T. (Hrsg.). Springer, Berlin [u. a.], S. 42-57, 16 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• cf2 Semantics RevisitedGaggl, S. A. & Woltran, S., 1 Sept. 2010, Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010). Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 216. S. 243-254, 12 S., (Frontiers in Artificial Intelligence and Applications)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Non-intrusive Performance Analysis of Parallel Hardware Accelerated Applications on Hybrid ArchitecturesDietrich, R., Ilsche, T. & Juckeland, G., 1 Sept. 2010, 2010 39th International Conference on Parallel Processing Workshops. Wiley-IEEE Press, S. 135-143, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic NetworksWojtinnek, P., Harrington, B., Rudolph, S. & Pulman, S., 1 Juli 2010, Conceptual Structures: From Information to Intelligence . Croitoru, M., Ferré, S. & Lukose, D. (Hrsg.). Springer, Berlin [u. a.], Band 6208. S. 203-206, 4 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards a General Argumentation System based on Answer-Set ProgrammingGaggl, S. A., 1 Juli 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Hermenegildo, M. V. & Schaub, T. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Band 7. S. 265-269, 5 S., (LIPIcs)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the feasibility of UMTS-based Traffic Information SystemsSommer, C., Schmidt, A., Chen, Y., German, R., Koch, W. & Dressler, F., Juli 2010, in: Ad Hoc Networks. 8, 5, S. 506-517, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Status QIO: Conjunctive Query Entailment is DecidableGlimm, B. & Rudolph, S., 1 Mai 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (Hrsg.). AAAI Press, S. 225-235, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Ortiz, M., Rudolph, S. & Simkus, M., 1 Mai 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (Hrsg.). AAAI Press, S. 269-279, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband