Publications

2011

• The Eleventh Finger: Levels of Manipulation in Multi-touch InteractionKammer, D., Franke, I., Groh, R., Steinhauf, J., Kirchner, M. & Schönefeld, F., 2011, p. 141-148, 8 p.Research output: Contribution to conferences > Paper
• The Inclusion Problem for Weighted Automata on Infinite TreesBorgwardt, S. & Peñaloza, R., 2011, Proc. of the 13th International Conference on Automata and Formal Languages (AFL 2011). p. 108-122, 15 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Universal Transactional Memory ConstructionWamhoff, J. & Fetzer, C., 2011, p. 61, 75 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards a model driven Modelica IDEDemuth, B., Samlaus, R., Hillman, C. & Krebs, M., 2011Research output: Contribution to conferences > Paper
• Towards Farsighted Dependencies for Existential RulesBaget, J., Mugnier, M. & Thomazo, M., 2011, Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011). Springer Open, p. 30-45, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Transactional Memory for Dependable Embedded SystemsFetzer, C. & Felber, P., 2011, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Transactional Memory for Dependable Embedded Systems (Poster)Fetzer, C., Wamhoff, J. & Felber, P., 2011, 1 p.Research output: Contribution to conferences > Poster
• Two new modalities for ARIAFranke, M., Voegler, J. & Weber, G., 2011, Proceedings of the Workshop on Accessible Design in the Digital World 2011 (ADDW-2011). p. 30-40, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Übersichtsgewinnung und Interaktionsmöglichkeiten in Planungsszenarien - Ein PraxisberichtLambeck, C., Winkler, K. & Fiebig, M., 2011, Wieder mehr Sehen! - Aktuelle Einblicke in die Technische VisualistikResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Übertragbarkeit singulärer MINT-Interesse-initiierender außerschulischer MaßnahmenLeonhardt, T., Brauner, P., Siebert, J. & Schroeder, U., 2011, Informatik in Bildung und Beruf - 14. GI-Fachtagung "Informatik und Schule - INFOS 2011 - Proceedings. Thomas, M. (ed.). Bonn: Gesellschaft fur Informatik (GI), p. 127-136, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 SuperstructureWilke, C. & Demuth, B., 2011Research output: Contribution to conferences > Paper
• Unchain My EL ReasonerKazakov, Y., Krötzsch, M. & Simančík, F., 2011, International Workshop on Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Unification in Modal and Description LogicsBaader, F. & Ghilardi, S., 2011, In: Logic Journal of the IGPL. 19, 6, p. 705–730, 26 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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). p. 70-84, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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). p. 26-36, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 89-94, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 informaticsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Vision Paper: Towards Model-Based Energy TestingWilke, C., Götz, S., Reimann, J. & Assmann, U., 2011Research output: Contribution to conferences > Paper
• Wahrnehmungsrealismus – Aspekte der menschlich-visuellen Kompetenz und deren Bedeutung für computergrafische interaktive AnwendungenFranke, I. S., 2011Research output: Contribution to conferences > 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 VisualistikResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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, p. 434-442, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 others, 2011, Neuerscheinung ed., Dresden, 146 p., (Aktuelle Einblicke in die Technische Visualistik)Research output: Book/Report/Anthology > Monograph
• 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, p. 132-141, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

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. (eds.). Springer, Berlin [u. a.], p. 257-272, 16 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• COACH: Collaborative accessibility approach in mobile navigation system for the visually impairedZeng, L. & Weber, G., 5 Oct 2010, GeNeMe 2010 - Gemeinschaften in Neuen Medien. p. 183 -192Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution