Publikationen

2010

• 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, S. 192-202, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• .raindrops - A flowerful installation with body and sound interaction using camera trackingSchmidt, D., Eschrich, B., Herrmann, M., Wojdziak, J. & Groh, R., 2010Publikation: Beitrag zu Konferenzen > Paper
• RobuSTM: A Robust Software Transactional MemoryWamhoff, J., Riegel, T., Fetzer, C. & Felber, P., 2010, S. 388-404, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Role-based Multi-Purpose Workflow Engine ArchitectureRichly, S., Götz, S., Aßmann, U. & Schmidt, S., 2010Publikation: Beitrag zu Konferenzen > Paper
• Sakkadenkontingente perspektivische Optimierung von BewegtbildernKusch, K., Franke, I. S., Helmert, J., Wojdziak, J., Mosch, M., Pannasch, S., Groh, R. & 1 weitere, 2010Publikation: Beitrag zu Konferenzen > 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.], S. 97-111, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer Verlag, New York, S. 284-298, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Semantische Vernetzung im Lebenszyklus der AutomatisierungWollschlaeger, M., 2010, S. 115-125, 11 S.Publikation: Beitrag zu Konferenzen > 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). S. 353-358, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 computingElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Simultane Betten-und Leistungsstellenplanung auf Basis SAP IS-HJähnicke, W., Winkler, K., Helbig, K. & Lambeck, C., 2010Publikation: Beitrag zu Konferenzen > Paper
• Slice Your Bug: Debugging Error Detection Mechanisms\nusing Error Injection SlicingSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, S. 13-22, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Small is Again Beautiful in Description LogicsBaader, F., Lutz, C. & Turhan, A., 2010, in: KI - Kunstliche Intelligenz. 24, 1, S. 25-33, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Software-Implemented Hardware Error Detection: Costs and GainsSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, S. 51-57, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 2010Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Students as Catalyst of the Knowledge Economy: Evolution of Synergies between Companies and UniversitiesGroh, R., Kammer, D. & Franke, I. S., 2010Publikation: Beitrag zu Konferenzen > Paper
• Taxonomy and Overview of Multi-touch Frameworks: Architecture, Scope and FeaturesKammer, D., Freitag, G., Keck, M. & Wacker, M., 2010Publikation: Beitrag zu Konferenzen > Paper
• Teaching OCL Standard Library: First Part of an OCL 2.x CourseChimiak-Opoka, J. & Demuth, B., 2010Publikation: Beitrag zu Konferenzen > 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 weitere, 2010, Terpsichore der Netzkunst, kuecocokue Berichte 2008 bis 2009Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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.], S. 61-71, 11 S., (Lecture notes in computer science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Time-Based Software Transactional MemoryFelber, P., Fetzer, C., Marlier, P. & Riegel, T., 2010, in: IEEE Transactions on Parallel and Distributed Systems. S. 1793-1807, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Tool support for the development of IEC 62390 compliant fieldbus profilesFrenzel, R., Wollschlaeger, M., Hadlich, T. & Diedrich, C., 2010, S. 1-4, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Towards a Formalization of Multi-touch GesturesKammer, D., Taranko, S., Wojdziak, J., Keck, M. & Groh, R., 2010, S. 49-58, 10 S.Publikation: Beitrag zu Konferenzen > Paper
• Towards Energy Auto TuningGötz, S., Wilke, C., Schmidt, M., Cech, S. & Assmann, U., 2010Publikation: Beitrag zu Konferenzen > Paper
• Trained to accept? A field experiment on consent dialogsBöhme, R. & Köpsell, S., 2010, CHI '10: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. S. 2403-2406, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband