Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2013
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 504.

  1. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by Universitätsbibliothek TU Berlin, 2013.

  2. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences, 2013.

  3. Joachim Hertzberg

    Technische Gestaltungsoptionen für autonom agierende Komponenten und Systeme

    In: 1. Würzburger Tagung zu Technikrecht. Würzburger Tagung zu Technikrecht, November 15-16, Würzburg, Germany, 11/2013.

  4. Georg Rehm

    Europa, Deine Sprachen.

    In: Philipp Otto. Das Netz 2013/2014. Pages 128-131, iRights Media, Berlin, 12/2013.

  5. Georg Rehm

    Eine Strategie zur Förderung der digitalen Langzeitarchivierung

    In: Paul Klimpel; Jürgen Keiper. Was bleibt? Nachhaltigkeit der Kultur in der Digitalen Welt. Eine Publikation des Internet und Gesellschaft-Co:llaboratory e.V. Pages 199-124, ISBN 978-3-944362-03-8, iRights Media, Berlin, 9/2013.

  6. Rossana Damiano; Cristina Gena; Vincenzo Lombardo; Fabrizio Nunnari

    Leveraging Web 3D Guidance in Cultural Heritage Fruition

    In: Proceedings of the Biannual Conference of the Italian Chapter of SIGCHI. Italian Chapter of SIGCHI (CHItaly-2013), September 16-20, Trento, Italy, Pages 1:1-1:10, ISBN 978-1-4503-2061-0, ACM, New York, NY, 2013.

  7. Max Feltes; Sheraz Ahmed; Andreas Dengel; Marcus Liwicki

    Improved Contour-Based Corner Detection for Architectural Floor Plans

    In: Graphics Recognition. Current Trends and Challenges (Hrsg.). GREC. IAPR International Workshop on Graphics Recognition (GREC-13), Springer, 2013.

  8. Evgeny Bogdanov; Carsten Ullrich; Erik Isaksson; Matthias Palmér; Denis Gillet

    Towards PLEs through Widget Spaces in Moodle

    In: Computer Science and Information Systems Journal, Vol. 11, No. 1, Pages 443-460, ComSIS Consortium, 2013.

  9. Georg Rehm

    The State of Computational Morphology for Europe's Languages and the META-NET Strategic Research Agenda

    In: Cerstin Mahlow; Michael Piotrowski (Hrsg.). Communications in Computer and Information Science, Vol. Systems and Frameworks for Computational Morphology - Proceedings of SFCM 2013, Vol. 380 , Pages 1-21, Springer, Heidelberg, New York, Dordrecht, London, 9/2013.

  10. Heiko Maus; Olivier Dobberkau; Maria Wolters; Claudia Niederée

    ForgetIT Deliverable D9.1: Application Use Cases & Requirements Document

    Deliverable, ForgetIT consortium, ForgetIT Deliverables, Vol. D9.1, 7/2013.

Jahr