Publications

2010

• Orel: Database-Driven Reasoning for OWL 2 ProfilesKrötzsch, M., ul Mehdi, A. & Rudolph, S., 2010, International Workshop on Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Outcoupling efficiency in small-molecule OLEDs: from theory to experimentFurno, M., Meerheim, R., Thomschke, M., Hofmann, S., Lussem, B., Leo, K., Streubel, K. & 3 others, 2010, LIGHT-EMITTING DIODES: MATERIALS, DEVICES, AND APPLICATIONS FOR SOLID STATE LIGHTING XIV. Vol. 7617. 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Podcastproduktion als kollaborativer Zugang zur theoretischen InformatikÁbrahám, E., Brauner, P., Jansen, N., Leonhardt, T., Loup, U. & Schroeder, U., 2010, DeLFI 2010 : 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V., 12. - 15. September 2010, Universität Duisburg-Essen ; [im Rahmen der interdisziplinären Fachkonferenz Interaktive Kulturen ] / Michael Kerres ... (Hrsg.). Bonn: Ges. für Informatik, Vol. 169. p. 239-251, 13 p., (GI-Edition lecture notes in informatics : P, Proceedings)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Practical resource constraints for online synthesisD̈obrich, S. & Hochberger, C., 2010, Proceedings of the 5th International Workshop on Reconfigurable Communication-Centric Systems on Chip 2010, ReCoSoC 2010. p. 51-58, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Query and Predicate Emptiness in Description LogicsBaader, F., Bienvenu, M., Lutz, C. & Wolter, F., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010. AAAI Press, p. 192-202, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• .raindrops - A flowerful installation with body and sound interaction using camera trackingSchmidt, D., Eschrich, B., Herrmann, M., Wojdziak, J. & Groh, R., 2010Research output: Contribution to conferences > Paper
• RobuSTM: A Robust Software Transactional MemoryWamhoff, J., Riegel, T., Fetzer, C. & Felber, P., 2010, p. 388-404, 17 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Role-based Multi-Purpose Workflow Engine ArchitectureRichly, S., Götz, S., Aßmann, U. & Schmidt, S., 2010Research output: Contribution to conferences > Paper
• Sakkadenkontingente perspektivische Optimierung von BewegtbildernKusch, K., Franke, I. S., Helmert, J., Wojdziak, J., Mosch, M., Pannasch, S., Groh, R. & 1 others, 2010Research output: Contribution to conferences > Paper
• SAT Encoding of Unification in ELBaader, F. & Morawska, B., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17. Springer, Berlin [u. a.], p. 97-111, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Secure logging of retained data for an anonymity serviceKöpsell, S. & Švenda, P., 2010, Privacy and Identity Management for Life - 5th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, 2009, Revised Selected Papers. Bezzi, M., Duquenoy, P., Fischer-Hubner, S., Zhang, G. & Hansen, M. (eds.). Springer Verlag, New York, p. 284-298, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semantische Vernetzung im Lebenszyklus der AutomatisierungWollschlaeger, M., 2010, p. 115-125, 11 p.Research output: Contribution to conferences > Paper
• Setting the Standards for Haptic and Tactile Interactions: ISO's Work.Erp, J. B. F. V., Kyung, K., Kassner, S., Carter, J., Brewster, S. A., Weber, G. & Andrew, I., 2010, EuroHaptics (2). p. 353-358, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simulation of Ad hoc routing protocols using OMNeT++ : A case study for the DYMO protocolSommer, C., Dietrich, I. & Dressler, F., 2010, In: Mobile networks and applications : the journal of special issues on mobility of systems, users, data and computingElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Simultane Betten-und Leistungsstellenplanung auf Basis SAP IS-HJähnicke, W., Winkler, K., Helbig, K. & Lambeck, C., 2010Research output: Contribution to conferences > Paper
• Slice Your Bug: Debugging Error Detection Mechanisms\nusing Error Injection SlicingSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, p. 13-22, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Small is Again Beautiful in Description LogicsBaader, F., Lutz, C. & Turhan, A., 2010, In: KI - Kunstliche Intelligenz. 24, 1, p. 25-33, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Software-Implemented Hardware Error Detection: Costs and GainsSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, p. 51-57, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Strong and affordable location privacy in VANETs: Identity diffusion using time-slots and swappingEckhoff, D., Sommer, C., Gansen, T., German, R. & Dressler, F., 2010, 2010 IEEE Vehicular Networking Conference, VNC 2010Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Students as Catalyst of the Knowledge Economy: Evolution of Synergies between Companies and UniversitiesGroh, R., Kammer, D. & Franke, I. S., 2010Research output: Contribution to conferences > Paper
• Taxonomy and Overview of Multi-touch Frameworks: Architecture, Scope and FeaturesKammer, D., Freitag, G., Keck, M. & Wacker, M., 2010Research output: Contribution to conferences > Paper
• Teaching OCL Standard Library: First Part of an OCL 2.x CourseChimiak-Opoka, J. & Demuth, B., 2010Research output: Contribution to conferences > Paper
• Terpsichore - Zwischenspiel bei Rainer Groh TU DresdenGroh, R., Eske, A., Alsleben, K., Kammer, D., de Almeida Madeira Clemente, M., Dugúe, M., Eschrich, B. & 5 others, 2010, Terpsichore der Netzkunst, kuecocokue Berichte 2008 bis 2009Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The Credo methodology (extended version)Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T. & 11 others, 2010, Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Boer, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Springer-Verlag, p. 41-69, 29 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Effect of Tangible Artifacts, Gender and Subjective Technical Competence on Teaching Programming to Seventh GradersBrauner, P., Leonhardt, T., Ziefle, M. & Schroeder, U., 2010, Teaching fundamental concepts of informatics : 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010 ; proceedings . Springer, Berlin [u. a.], p. 61-71, 11 p., (Lecture notes in computer science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution