Publications

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, 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 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
• Time-Based Software Transactional MemoryFelber, P., Fetzer, C., Marlier, P. & Riegel, T., 2010, In: IEEE Transactions on Parallel and Distributed Systems. p. 1793-1807, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Tool support for the development of IEC 62390 compliant fieldbus profilesFrenzel, R., Wollschlaeger, M., Hadlich, T. & Diedrich, C., 2010, p. 1-4, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards a Formalization of Multi-touch GesturesKammer, D., Taranko, S., Wojdziak, J., Keck, M. & Groh, R., 2010, p. 49-58, 10 p.Research output: Contribution to conferences > Paper
• Towards Energy Auto TuningGötz, S., Wilke, C., Schmidt, M., Cech, S. & Assmann, U., 2010Research output: Contribution to conferences > 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. p. 2403-2406, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution