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 81 to 90 of 327.
  1. Software Certification Management: How Can Formal Methods Help?

    In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent05). Automated Software Engineering …

  2. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Role of Information Compaction to Intrusion Detection

    In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and …

  3. Fernando Godínez; Dieter Hutter; Raul Monroy

    Audit file reduction using n-gram models

    In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security, Lecture Notes in Computer Science, …

  4. Heiko Mantel; Axel Schairer

    Exploiting Generic Aspects of Security Models in Formal Developments

    In: Dieter Hutter; Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer, 2005.

  5. Oana Postolache; Ivana Kruijff-Korbayová; Geert-Jan Kruijff

    Data-driven approaches for information structure identification

    In: Proceedings of the Conference on Emperical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing …

  6. Dan Shen; Dietrich Klakow; Geert-Jan Kruijff

    Exploring syntactic relation patterns for question answering

    In: Proceedings of The Second International Joint Conference on Natural Language Processing. International Joint Conference on Natural Language …

  7. Geert-Jan Kruijff

    Context-sensitive utterance planning for CCG

    In: Proceedings of the European Workshop on Natural Language Generation. European Workshop on Natural Language Generation (ENLG), Aberdeen, ACL, 2005.

  8. Dieter Hutter; Markus Ullmann (Eds.)

    Proceedings of the Second International Conference on Security in Pervasive Computing

    Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.

  9. Florian Kupsch; Dirk Werth

    Integrating Business Processes with Peer-to-Peer technology

    In: INTEROP ESA Conference, Geneva. INTEROP ESA Conference, 2005.