Publications

2010

• 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
• 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
• Unification in the Description Logic ELBaader, F. & Morawska, B., 2010, In: Logical Methods in Computer Science. 6, 3, 31 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description LogicsBaader, F., Lippmann, M. & Liu, H., 2010, p. 82-96, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Verifying Properties of Infinite Sequences of Description Logic ActionsBaader, F., Liu, H. & ul Mehdi, A., 2010, p. 53-58, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Vermittlung fundamentaler Ideen der Informatik durch eine kollaborative Multitouch-AnwendungNabbi, N., Brauner, P. & Leonhardt, T., 2010, Interaktive Kulturen : Workshop-Band : Proceedings der Workshops der Mensch Computer 2010 - 10. Fachübergreifende Konferenz für Interaktive und Kooperative Medien, DeLFI 2010 - die 8. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. und der Entertainment Interfaces 2010 ; Duisburg, 12. - 15. September 2010 / Ulrik Schroeder (Hrsg.). Berlin: Logos Verlag, Berlin, p. 27-28, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vertical IntegrationSauter, T., Soucek, S. & Wollschlaeger, M., 2010, The Industrial Electronics Handbook. aktualisierte Neuauflage ed., Boca Raton, Vol. Industrial Communication SystemsResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report