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 51 bis 60 von 102
  1. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  2. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

  3. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

  4. Paul Buitelaar

    Specification and Underspecification in Lexical Semantic Processing for Information Extraction

    In: Bad Teinach Workshop on Underspecification, May. Bad Teinach Workshop on Underspecification, 1998.

  5. Paul Buitelaar

    CoreLex: An Ontology of Systematic Polysemous Classes

    In: Proceedings of the 1st International Conference on Formal Ontology in Information Systems (FOIS'98), June 6-8. International Conference on Formal …

  6. Melanie Siegel

    Japanese Particles in an HPSG Grammar

    Verbmobil Report, Universität des Saarlandes, Vol. 220, 1998.

  7. Stephan Oepen; Klaus Netter; Judith Klein

    TSNLP - Test Suites for Natural Language Processing

    In: John Nerbonne (Hrsg.). Linguistic Databases. Pages 13-36, CSLI Lecture Notes, Vol. 77, CSLI Publications, Stanford, 1998.

  8. Hans Uszkoreit; Thorsten Brants; Denys Duchier; Brigitte Krenn; Lars Konieczny; Stephan Oepen; Wojciech Skut

    Studien zur performanzorientierten Linguistik. Aspekte der Relativsatzextraposition im Deutschen

    CLAUS-Report, Universität des Saarlandes, Vol. 99, 4/1998.

  9. W. G. ter Stal; J.-H. Beijert; G. de Bruin; J. van Gent; Franciska de Jong; W. Kraaij; Klaus Netter; G. Smart

    Twenty-One: Cross-Language Disclosure and Retrieval of Multimedia Documents on Sustainable Development

    In: Computer Networks and ISDN Systems, Vol. 30, No. 13, Pages 1237-1248, 1998.

  10. Axel Schairer

    A Technique for Reusing Proofs in Software Verification

    Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.