1998

Berichte

Nummer

Autoren / Titel

erschienen

• Tr_9801

  Carsta Petersohn Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-Time Extension

  Dezember 1998

• Tr_9802

  Hans-Joachim Klein Gesicherte und mögliche Antworten auf Anfragen an relationale Datenbanken mit partiellen Relationen

  Dezember 1998

• Tr_9803

  Rudolf Berghammer, Yassine Lakhnech Tool Support for System Specification, Development, and Verification : preliminary proceedings of a workshop, held in Malente, June 2 - 4, 1998

  Juni 1998

• Tr_9804

  Claus Reinke Functions, Frames, and Interactions-completing a lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

  Mai 1998

• Tr_9805

  Josef Pauli Geometric/Photometric Consensus and Regular Shape Quasi-Invariants for Object Localization and Boundary Extraction

  Mai 1998

• Tr_9806

  Arnaud Maes Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P

  Mai 1998

• Tr_9807

  Oliver Matz First-Order Closure and the Monadic Second-Order Alternation Hierarchy

  Mai 1998

• Tr_9808

  Barbara Leoniuk, Helmut Lescow, Wolfgang Thomas Singleton Acceptance Conditions in omega-Automata

  August 1998

• Tr_9809

  Jörg Bruske Dynamische Zellstrukturen - Theorie und Anwendung eines KNN-Modells

  Juni 1998

• Tr_9810

  Ina Schiering Hierarchical Accepting Systems and Monadic Second-Order Logic on Graphs

  Oktober 1998

• Tr_9811

  Martin Dickhoefer, Thomas Wilke The Automata-Theoretic Method Works for TCTL Model Checking

  September 1998

• Tr_9812

  Wolfgang Goerigk, Ulrich Hoffmann Compiling ComLisp to Executable Machine Code: Compiler Construction

  Oktober 1998

• Tr_9813

  Josef Pauli Manipulator and Head Servoing for Tool Handling and Object Inspection

  November 1998

• Tr_9814

  Ulrich Hoffmann Compiler Implementation Verification Through Rigorous Syntactical Code Inspection

  Dezember 1998

Statische URL

https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000575