Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 101.
  1. Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

    VSE: Controlling the Complexity in Formal Software Developments

    In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany, Pages 351-358, Lecture Notes in Computer Science (LNCS), Vol. 1641, ISBN 978-3-540-66462-8, Springer-Verlag, Berlin, Heidelberg, 1999.

  2. Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

    Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98

    Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.

  3. Eberhard Bertsch; Mark-Jan Nederhof

    Regular Closure of Deterministic Languages

    In: SIAM Journal on Computing, Vol. 29, No. 1, Pages 81-102, 1999.

  4. Eberhard Bertsch; Mark-Jan Nederhof

    On Failure of the Pruning Technique in "Error Repair in Shift-Reduce Parsers"

    In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 1999.

  5. Gregor Erbach; Dagmar Unz; Joanne Capstick

    Interface-Design zur Unterstützung von Selektionsentscheidungen

    In: Werner Wirth; Wolfgang Schweiger (Hrsg.). Selektion im Internet. Westdeutscher Verlag, 1999.

  6. Franciska de Jong; Jean-Luc Gauvain; Jurgen den Hartog; Klaus Netter

    OLIVE: Speech-Based Video Retrieval

    In: Proceedings of the European Workshop on Content-Based Multimedia Indexing (CBMI'99), October 25-27. International Workshop on Content-Based Multimedia Indexing (CBMI), Toulouse, France, Pages 75-80, 1999.

  7. Jörg Becker; Michael zur Mühlen; Michael Rosemann (Hrsg.)

    Workflow Based Applications, Proceedings of Workflow Management 99

    Workflow Management Conference, November 9, Münster, Germany, Working Paper Series of the Department of Information Systems, No. 70, 1999.

  8. Franz Schmalhofer; Ludger van Elst; Felix-Robinson Aschoff; Olaf Bärenfänger; Lyle E. Bourne

    Mentale Modelle sozialer Interaktionen: Wie Texte über Sozialbetrügereien verstanden werden

    In: Zeitschrift für Experimentelle Psychologie, Vol. 46, No. 3, Pages 204-216, 1999.

  9. Franz Schmalhofer; Ludger van Elst

    An Oligo-Agents System with Shared Responsibilities for Knowledge Management

    In: Dieter Fensel; Rudi Studer (Hrsg.). Knowledge Acquisition, Modeling and Management, Proceedings of the 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999. International Conference on Knowledge Engineering and Knowledge Management (EKAW), Pages 379-384, LNAI, Vol. 1621, Springer: Berlin, Heidelberg, New York. 1999.

  10. Petra Funk; Gero Vierke; Hans-Jürgen Bürckert

    Distributed Intermodal Transportation Planning

    In: Proceedings des Workshops Agententechnologie - Multiagentensysteme in der Informationslogistik und wirtschaftlcihe Perspektiven der Agentenkonzeptualisierung. German Conference on Artificial Intelligence (KI-99), September 14-15, Bremen, Germany, TZI Berichte, No. 16, Universität Bremen, 1999.