
\documentclass[a4paper,german]{scrartcl}
\usepackage{t1enc,babel}
\usepackage[latin1]{inputenc}
\usepackage{techrprt}
\usepackage{hyperref}

\pagestyle{empty}

    
\hypersetup{
    pdfauthor={Jörn Clausen},
    pdftitle={Persistent Objects with O2DBI},
    pdfsubject={Technical Report 2002-01, Faculty of Technology, University of Bielefeld},
    pdfpagemode=None,
    bookmarks=false,
}
  

\begin{document}
    
\tfrauthor{Jörn Clausen}
\tfrtitle{Persistent Objects with O2DBI}
\tfrnum{2002-01}
\tfrmaketitle
  
\begin{tfreports}{2002}
      
\tfritem{94-01}
{Modular Properties of Composable Term Rewriting Systems}
{Enno Ohlebusch}
  
\tfritem{94-02}
{Analysis and Applications of the Direct Cascade Architecture}
{Enno Littmann, Helge Ritter}
  
\tfritem{94-03}
{From Ukkonen to McCreight and Weiner: A Unifying View of
      Linear-Time Suffix Tree Construction}
{Robert Giegerich, Stefan Kurtz}
  
\tfritem{94-04}
{Die Verwendung unscharfer Maße zur Korrespondenzanalyse in
      Stereo Farbbildern}
{André Wolfram, Alois Knoll}
  
\tfritem{94-05}
{Searching Correspondences in Colour Stereo Images -- Recent
      Results Using the Fuzzy Integral}
{André Wolfram, Alois Knoll}
  
\tfritem{94-06}
{A Basic Semantics for Computer Arithmetic}
{Markus Freericks, A. Fauth, Alois Knoll}
  
\tfritem{94-07}
{Reverse Restructuring: Another Method of Solving Algebraic
      Equations}
{Bernd Bütow, Stephan Thesing}
  
\tfritem{95-01}
{PaNaMa User Manual V1.3}
{Bernd Bütow, Stephan Thesing}
  
\tfritem{95-02}
{Computer Based Training-Software: ein interaktiver
      Sequenzierkurs}
{Frank Meier, Garrit Skrock, Robert Giegerich}
  
\tfritem{95-03}
{Fundamental Algorithms for a Declarative Pattern Matching
      System}
{Stefan Kurtz}
  
\tfritem{95-04}
{On the Equivalence of E-Pattern Languages}
{Enno Ohlebusch, Esko Ukkonen}
  
\tfritem{96-01}
{Static and Dynamic Filtering Methods for Approximate String
      Matching}
{Robert Giegerich, Frank Hischke, Stefan Kurtz, Enno Ohlebusch}
  
\tfritem{96-02}
{Instructing Cooperating Assembly Robots through Situated Dialogues
      in Natural Language}
{Alois Knoll, Bernd Hildebrand, Jianwei Zhang}
  
\tfritem{96-03}
{Correctness in System Engineering}
{Peter Ladkin}
  
\tfritem{96-04}
{An Algebraic Approach to General Boolean Constraint Problems}
{Hans-Werner Güsgen, Peter Ladkin}
  
\tfritem{96-05}
{Future University Computing Resources}
{Peter Ladkin}
  
\tfritem{96-06}
{Lazy Cache Implements Complete Cache}
{Peter Ladkin}
  
\tfritem{96-07}
{Formal but Lively Buffers in TLA+}
{Peter Ladkin}
  
\tfritem{96-08}
{The X-31 and A320 Warsaw Crashes: Whodunnit?}
{Peter Ladkin}
  
\tfritem{96-09}
{Reasons and Causes}
{Peter Ladkin}
  
\tfritem{96-10}
{Comments on Confusing Conversation at Cali}
{Dafydd Gibbon, Peter Ladkin}
  
\tfritem{96-11}
{On Needing Models}
{Peter Ladkin}
  
\tfritem{96-12}
{Formalism Helps in Describing Accidents}
{Peter Ladkin}
  
\tfritem{96-13}
{Explaining Failure with Tense Logic}
{Peter Ladkin}
  
\tfritem{96-14}
{Some Dubious Theses in the Tense Logic of Accidents}
{Peter Ladkin}
  
\tfritem{96-15}
{A Note on a Note on a Lemma of Ladkin}
{Peter Ladkin}
  
\tfritem{96-16}
{News and Comment on the AeroPeru B757 Accident}
{Peter Ladkin}
  
\tfritem{97-01}
{Analysing the Cali Accident With a WB-Graph}
{Peter Ladkin}
  
\tfritem{97-02}
{Divide-and-Conquer Multiple Sequence Alignment}
{Jens Stoye}
  
\tfritem{97-03}
{A System for the Content-Based Retrieval of Textual and
      Non-Textual Documents Based on Natural Language Queries}
{Alois Knoll, Ingo Glöckner, Hermann Helbig, Sven Hartrumpf}
  
\tfritem{97-04}
{Rose: Generating Sequence Families}
{Jens Stoye, Dirk Evers, Folker Meyer}
  
\tfritem{97-05}
{Fuzzy Quantifiers for Processing Natural Language Queries in
      Content-Based Multimedia Retrieval Systems}
{Ingo Glöckner, Alois Knoll}
  
\tfritem{97-06}
{DFS -- An Axiomatic Approach to Fuzzy Quantification}
{Ingo Glöckner}
  
\tfritem{98-01}
{Kognitive Aspekte bei der Realisierung eines robusten
      Robotersystems für Konstruktionsaufgaben}
{Alois Knoll, Bernd Hildebrandt}
  
\tfritem{98-02}
{A Declarative Approach to the Development of Dynamic
      Programming Algorithms, applied to RNA Folding}
{Robert Giegerich}
  
\tfritem{98-03}
{Reducing the Space Requirement of Suffix Trees}
{Stefan Kurtz}
  
\tfritem{99-01}
{Entscheidungskalküle}
{Axel Saalbach, Christian Lange, Sascha Wendt, Mathias Katzer, Guillaume Dubois, Michael Höhl, Oliver Kuhn, Sven Wachsmuth, Gerhard Sagerer}
  
\tfritem{99-02}
{Transforming Conditional Rewrite Systems with Extra Variables
      into Unconditional Systems}
{Enno Ohlebusch}
  
\tfritem{99-03}
{A Framework for Evaluating Approaches to Fuzzy
      Quantification}
{Ingo Glöckner}
  
\tfritem{99-04}
{Towards Evaluation of Docking Hypotheses using elastic
      Matching}
{Steffen Neumann, Stefan Posch, Gerhard Sagerer}
  
\tfritem{99-05}
{A Systematic Approach to Dynamic Programming in
      Bioinformatics. Part 1 and 2: Sequence Comparison and RNA
      Folding}
{Robert Giegerich}
  
\tfritem{99-06}
{Autonomie für situierte Robotersysteme -- Stand und
      Entwicklungslinien}
{Alois Knoll}
  
\tfritem{2000-01}
{Advances in DFS Theory}
{Ingo Glöckner}
  
\tfritem{2000-02}
{A Broad Class of DFS Models}
{Ingo Glöckner}
  
\tfritem{2000-03}
{An Axiomatic Theory of Fuzzy Quantifiers in Natural
      Languages}
{Ingo Glöckner}
  
\tfritem{2000-04}
{Affix Trees}
{Jens Stoye}
  
\tfritem{2000-05}
{Computergestützte Auswertung von Spektren organischer
      Verbindungen}
{Annika Büscher, Michaela Hohenner, Sascha Wendt, Markus Wiesecke, Frank Zöllner, Arne Wegener, Frank Bettenworth, Thorsten Twellmann, Jan Kleinlützum, Mathias Katzer, Sven Wachsmuth, Gerhard Sagerer}
  
\tfritem{2000-06}
{The Syntax and Semantics of a Language for Describing Complex
      Patterns in Biological Sequences}
{Dirk Strothmann, Stefan Kurtz, Stefan Gräf, Gerhard Steger}
  
\tfritem{2000-07}
{Systematic Dynamic Programming in Bioinformatics (ISMB 2000
      Tutorial Notes)}
{Dirk J. Evers, Robert Giegerich}
  
\tfritem{2000-08}
{Difficulties when Aligning Structure Based RNAs with the
      Standard Edit Distance Method}
{Christian Büschking}
  
\tfritem{2001-01}
{Standard Models of Fuzzy Quantification}
{Ingo Glöckner}
  
\tfritem{2001-02}
{Causal System Analysis}
{Peter B. Ladkin}
  
\tfritem{2001-03}
{A Rotamer Library for Protein-Protein Docking Using Energy
      Calculations and Statistics}
{Kerstin Koch, Frank Zöllner, Gerhard Sagerer}
  
\tfritem{2001-04}
{Eine asynchrone Implementierung eines Microprozessors auf
      einem FPGA}
{Marco Balke, Thomas Dettbarn, Robert Homann, Sebastian Jaenicke, Tim Köhler, Henning Mersch, Holger Weiss}
  
\tfritem{2001-05}
{Hierarchical Termination Revisited}
{Enno Ohlebusch}
  
\end{tfreports}
      
\end{document}
  