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 171.
  1. Management of Change in Verification Systems

    In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software …

  2. The Use of Formal Methods for Trusted Digital Signature Devices

    In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

  3. Georg Rock; Werner Stephan; Michael Brodski

    Modeling, Specification and Verification of an Emergency Closing System

    In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.

  4. Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll

    Verification of a Formal Security Model for Multiapplicative Smart Cards

    In: Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer …

  5. Jan Alexandersson; Paul Heisterkamp

    Some Notes on the Complexity of Dialogues

    In: Laila Dybkjaer, Koiti Hasida and David Traum (eds.) Proceedings of the ACL 2000 Workshop 1st SIGdial Workshop on Discourse and Dialogue , Hong …

  6. Norbert Reithinger; Michael Kipp; Ralf Engel; Jan Alexandersson

    Summarizing Multilingual Spoken Negotiation Dialogues

    In: Proceedings of ACl-2000, 2000, Pages 310-317. American Conference Institute Conferences (ACI), 2000.

  7. The application of HPSG-to-TAG compilation techniques

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-To-Speech Translation. 2000.

  8. Elisabeth Andre; Thomas Rist; Susanne van Mulken; Martin Klesen; Stephan Baldes

    The Automated Design of Believable Dialogues for Animated Presentation Teams

    In: Justine Cassell; Joseph Sullivan; Scott Prevost; Elizabeth Churchill (Hrsg.). Embodied Conversational Agents. Chapter 8, Pages 220-255, ISBN …

  9. Martin Klesen; Janek Szatkowski; Niels Lehmann

    The Black Sheep - Interactive Improvisation in a 3D Virtual World

    In: Proc. of the i3 Annual Conference. i3 Annual Conference, 2000.