Publications

2011

• 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
• UNTERSUCHUNGEN AN SCHALLMINDERUNGSMASSNAHMEN IM RAHMEN DES KONJUNKTURPAKETES 11 SCHIENE UND BEWERTUNG DER MASSNAHMENWei{\ss}enberger, W., Otto, T., Bakardjiev, P., Gutmann, C. & Steinbach, F., 2011Research output: Contribution to conferences > Paper
• Untersuchungen zur Flexibilisierung von Holzfurnieren zum Einsatz im automobilen Innenausbau - Schriftenreihe Holz- und Papiertechnik, Band 7Heymann, D., 2011, Neuerscheinung ed., Dresden, (Schriftenreihe Holz- und Papiertechnik, Band 7)Research output: Book/Report/Anthology > Monograph
• Untersuchungen zur objektorientierten Modellierung und Simulation von optomechatronischen Systemen.Kaden, T. & Janschek, K., 2011, p. 151-156Research output: Contribution to conferences > Paper
• Untersuchung zur Versuchszeitverkürzung und Lebensdauerabschätzung an einsatzgehärteten Wellen unter TorsionsbelastungBerner, M. & Eulitz, K., 2011, Tagungsband DVM-Arbeitskreis Betriebsfestigkeit "Konsequenter Leichtbau und Festigkeitssteigerung - (k)ein Widerspruch?", Clausthal-Zellerfeld. p. 57-68, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• User Driven Evolution of User Interface Models - the FLEPR Approach.Hennig, S., van den Bergh, J., Luyten, K. & Braune, A., 2011Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Using highly resolved vegetation scans to describe the turbulent wind field around an eddy covariance towerQueck, R., Bienert, A., Maas, H., Harmansa, S., Goldberg, V., Schlegel, F., Stiller, J. & 1 others, 2011Research output: Contribution to conferences > Paper
• 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