Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1998
Remove all filters
Displaying results 31 to 40 of 102.

  1. Andreas Wolpers; Werner Stephan

    Modular Verification of Programmable Logic Controllers with TLA

    In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information Control in Manufacturing (INCOM), Pages 121-126, 1998.

  2. 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 (EWCBR 98). European Workshop on Case Based Reasoning (EWCBR), Pages 76-87, LNCS, Vol. 1488, Springer, Berlin, Heidelberg,, 1998.

  3. 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 397-411, LNCS, Vol. 1421, Springer, 1998.

  4. 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, Cottbus, Germany, Pages 125-135, Shaker Verlag, Aachen, 1998.

  5. Hans-Jürgen Bürckert; Gero Vierke

    Simulated Trading Mechanismen für speditionsübergreifende Transportplanung

    DFKI, DFKI Technical Memos (TM), Vol. 98-04, 1998.

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

    A Multi-Agent Perspective on Intermodal Transport Chains

    DFKI, DFKI Technical Memos (TM), Vol. 98-06, 1998.

  7. Thomas Kieninger; Andreas Dengel

    Table Recognition and Labeling Using Intrinsic Layout Features

    In: Proceedings ICAPR. International Conference in Advances in Pattern Recognition (ICAPR), 11/1998.

  8. Andreas Dengel

    Brockhaus: Die Enzyklopädie (verschiedene Beiträge)

    In: Bibliographisches Institut der F.A. Brockhaus AG (Hrsg.). Brockhaus: Die Enzyklopädie. Bibliographisches Institut der F.A. Brockhaus AG, Leipzig; Mannheim, 1998.

  9. Frank Dubiel; Andreas Dengel

    FormClas - OCR-Free Classification of Forms

    In: Jonathan J. Hull; S. Liebowitz (Hrsg.). Document Analysis Systems II. Pages 189-208, Series in Machine Perception and Artificial Intelligence, Vol. 29, World Scientific Publishing Co. Inc. Singapore, 1998.

  10. D. Y. Lee; Andreas Dengel

    Document Analysis and Learning

    In: J.J. Hull; S. Liebowitz (Hrsg.). Document Analysis Systems II. Pages 509-511, World Scientific Publishing Co. Inc. 1998.

Year