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 71 to 80 of 101.
  1. Workshop on Automation of Proofs by Mathematical Induction

    Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.

  2. Georg Rock; Werner Stephan; Andreas Wolpers

    Modular Reasoning about Structured TLA Specifications

    In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …

  3. Georg Rock; Werner Stephan; Andreas Wolpers

    Modeling Dynamic Processes in TLA

    In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …

  4. Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

    Structured Formal Development in VSE II: The Robertino Case Study

    In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …

  5. Wojciech Skut; Hans Uszkoreit; Thorsten Brants

    Syntactic Annotation of a German Newspaper Corpus

    In: ATALA sur le Corpus Annotés pour la Syntaxe Treebanks, June 18-19. Les journées d'Etude de l'ATALA, Pages 69-76, 1999.

  6. Marc Schröder

    Zur Machbarkeit von Synthese emotionaler Sprache ohne Modellierung der Stimmqualität

    In: Elektronische Sprachsignalverarbeitung. Pages 222-229, 1999.

  7. Marc Schröder

    Can Emotions be Synthesized without Controlling Voice Quality?

    In: PHONUS, Vol. 4, Pages 37-55, 1999.