Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 61 bis 70 von 183
  1. 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 …

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

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

  4. Christoph Stahl; Dominikus Heckmann; Tim Schwartz; Oliver Fickert

    Here and Now: A User-Adaptive and Location-Aware Task Planner

    In: International Workshop on Ubiquitous and Decentralized User Modeling (UbiDeUM\2007). International Conference on User Modeling (UM), 11th, June …

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

  6. Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen

    Towards a Virtual Echocardiographic Tutoring System

    In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …

  7. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

    Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

  8. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  9. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  10. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …