Publikationen

2010

• 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 Credo methodology (extended version)Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T. & 11 weitere, 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. (Hrsg.). Springer-Verlag, S. 41-69, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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
• Unification in the Description Logic ELBaader, F. & Morawska, B., 2010, in: Logical Methods in Computer Science. 6, 3, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description LogicsBaader, F., Lippmann, M. & Liu, H., 2010, S. 82-96, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Verifying Properties of Infinite Sequences of Description Logic ActionsBaader, F., Liu, H. & ul Mehdi, A., 2010, S. 53-58, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 27-28, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Vertical IntegrationSauter, T., Soucek, S. & Wollschlaeger, M., 2010, The Industrial Electronics Handbook. aktualisierte Neuauflage Aufl., Boca Raton, Band Industrial Communication SystemsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Wahrnehmungsrealismus in der ComputergrafikFranke, I. S., 2010Publikation: Beitrag zu Konferenzen > Paper
• Wireless, Collaborative Virtual Sensors for Thermal ComfortPloennigs, J., Hensel, B. & Kabitzsch, K., 2010, Proceedings of the 2nd ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings. 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• XML in der Automation - Best PracticeWollschlaeger, M., Runde, S., Mühlhause, M., Lindemann, L. & Braune, A., 2010Publikation: Beitrag zu Konferenzen > Paper
• XML in der Automation - Systematisches SprachdesignWollschlaeger, M., Lindemann, L., Runde, S. & Mühlhause, M., 2010, S. 19-27, 9 S.Publikation: Beitrag zu Konferenzen > Paper

2009

• RDF syntax normalization using XML validationVrandečić, D., Dengler, F., Rudolph, S. & Erdmann, M., 1 Okt. 2009, Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009. Kagal, L., Lassila, O. & Finin, T. (Hrsg.). CEUR-WSPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Refining Ontologies by Pattern-Based CompletionNikitina, N., Rudolph, S. & Blohm, S., 1 Okt. 2009, Proceedings of the Workshop on Ontology Patterns (WOP 2009). Blomqvist, E., Sandkuhl, K., Scharffe, F. & Svatek, V. (Hrsg.). CEUR-WS.org, Band 516Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energieeffizientes routing in linearen sensornetzwerkenZimmerling, M., Okt. 2009, in: Informatik-Spektrum. 32, 5, S. 410-415, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Effective algorithm for parameter back calculation - Geotechnical applicationsMeier, J., Rudolph, S. & Schanz, T., 1 Aug. 2009, in: Bautechnik. 86, S1, S. 86-97, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel