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 51 to 60 of 370.
  1. 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 …

  2. 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 …

  3. 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 …

  4. 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 …

  5. 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. …

  6. 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.

  7. 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.

  8. 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, …

  9. Daniel Keysers

    Variabilitätsmodellierung für die Bilderkennung

    In: Dorothea Wagner; et al. (Hrsg.). Ausgezeichnete Informatikdissertationen 2006. Dissertationspreis-Kolloquium, May 29 - June 1, Dagstuhl, Germany, …

  10. Klaus-Dieter Althoff; Kerstin Bach; Jan-Oliver Deutsch; Alexandre Hanft; Jens Mänz; Thomas Müller; Régis Newo; Meike Reichle; Martin Schaaf; Karl-Heinz Weis

    Collaborative Multi-Expert-Systems - Realizing Knowledge-Lines with Case Factories and Distributed Learning Systems

    In: Joachim Baumeister; Dietmar Seipel (Hrsg.). Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering. Workshop on …