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 151 to 160 of 171.
  1. Stefan Müller

    Continuous or Discontinuous Constituents

    In: Erhard Hinrichs; Detmar Meurers; Shuly Wintner (Hrsg.). Proceedings of the ESSLLI'00 Workshop on Linguistic Theory and Grammar Implementation, …

  2. Stefan Müller

    Complex Predicates: Verbal Complexes, Resultative Constructions, and Particle Verbs in German

    PhD-Thesis, Universität des Saarlandes, 2000.

  3. Sabine Lehmann

    Towards a Theory of Syntactic Phenomena. Saarbrücken Dissertations in Computational Linguistics and Language Technology

    PhD-Thesis, Universität des Saarlandes, Fachbereich Computerlinguistik, Vol. 11, 2000.

  4. Gregor Erbach; Werner Saurer

    Review of "Handbook of Logic in Artificial Intelligence and Logic Programming"

    In: Artificial Intelligence Review, Vol. 14, No. 6, Pages 615-617, 2000.

  5. Multilingual Summary Generation in a Speech--To--Speech Translation System for Multilingual Dialogues

    In: Proceedings of the International Natural Language Generation Conference 2000 (INLG-2000) ( Israel, June 2000). International Natural Language …

  6. Heiko Mantel

    Unwinding Possibilistic Security Properties

    In: F.Cuppens; Y.Deswarte; D.Gollmann; M.Waidner (Hrsg.). European Symposium on Research in Computer Security (ESORICS). European Symposium on …

  7. Heiko Mantel

    Possibilistic Definitions of Security -- An Assembly Kit --

    In: Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cambridge, Pages 185-199, IEEE …

  8. Heiko Mantel; Felix Gärtner

    A Case Study in the Mechanical Verification of Fault Tolerance

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 12, No. 4, Pages 473-488, Taylor & Francis, 10/2000.

  9. Heiko Mantel; Felix Gärtner

    A Case Study in the Mechanical Verification of Fault Tolerance

    In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research …

  10. Towards an efficient management of change in an evolutionary formal software development

    In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …