Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 370.
  1. Sebastian Thelen; Torsten Bierz; Britta Müller; Hans Hagen; Achim Ebert; Eckard Friauf; Jörg Meyer

    A Framework for the Visualization of Brain Structures

    In: H. Hagen; M. Hering-Bertram; C. Garth. GI Lecture Notes in informatiacs, Visualization of Large and Unstructured Data Sets. Pages 54-63, GI …

  2. Oliver Kutz; Till Mossakowski

    Modules in Transition - Conservativity, Composition, and Colimits

    In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International …

  3. Preserving Privacy in the Web by Using Information Flow Control

    In: Rafael Accorsi; Michael Kreutzer; Andreas Schmidt (Hrsg.). Long-Term and Dynamical Aspects of Information Security. ISBN 978-1600219122, Nova …

  4. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    A method for patching interleaving-replay attacks in faulty security protocols

    In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at …

  5. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    On the Automated Correction of Security Protocols Susceptible to a Replay Attack

    In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security …

  6. Kopplung von Zutrittskontrolle und Raumautomation - Eine Basis für die Interaktion mit einer intelligenten Umgebung

    In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. …

  7. Christian Husodo Schulz

    Well-formed Default Unification in Multiple Inheritance Hierarchies

    Mastersthesis, DFKI, 2007.

  8. Jan Alexandersson; Tillmann Becker

    Efficient Computation of Overlay for Multiple Inheritance Hierachies in Discourse Modeling

    In: Harry Bunt; Reinhard Muskens. Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 3, Kluwer, Dordrecht, 2007.

  9. Thomas Breuel

    Testing and Benchmarking Large-Scale Machine Learning Systems

    In: Proceedings of the Snowbird Learning Workshop 2007. Snowbird Workshop on Learning, March 19-22, Puerto Rico, USA, Snowbird, 2007.

  10. Hagen Kaprykowsky; Xavier Rodet

    Musical Alignment Using Globally Optimal Short-Time Dynamic Time Warping

    In: Proceedings of the Deutsche Jahrestagung für Akustik. Deutsche Jahrestagung für Akustik (DAGA-07), Fortschritte der Akustik, March 19-22, …