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 41 bis 50 von 171
  1. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

  2. Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

  3. Management of Change in Verification Systems

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

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

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

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

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

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

    Dialog Processing

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 454-467, Springer, Berlin/Heidelberg/ New York, 2000.

  8. Ralf Engel; Jan Alexandersson; Michael Kipp; Norbert Reithinger; Stephan Koch; Uwe Küssner; Manfred Stede

    Dialog Processing and Context Evaluation Modeling Negotiation Dialogs

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 443-453, Springer, Berlin/ Heidelberg/ New York, 2000.

  9. Tilman Becker; Dominikus Heckmann

    Efficient parsing of mildly context-sensitve RMs

    In: Proceedings of the Sixth International Workshop on Parsing Technologies, IWPT2000. International Conference on Parsing Technologies (IWPT), 2000.

  10. Ralph Schäfer; Mathias Bauer

    Ein intelligenter Ansatz zur Personalisierung von Webseiten mit Informationsdiensten.

    In: M. E. Müller, editor. Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Institut für Semantische Informationsverarbeitung, …