| Title | Author(s) | ID | Files |
|---|---|---|---|
| Modular Properties of Composable Term Rewriting Systems | Enno Ohlebusch | 94-01 | PS |
| Analysis and Applications of the Direct Cascade Architecture | Enno Littmann, Helge Ritter | 94-02 | |
| From Ukkonen to McCreight and Weiner: A Unifying View of Linear-Time Suffix Tree Construction | Robert Giegerich, Stefan Kurtz | 94-03 | PS |
| Die Verwendung unscharfer Maße zur Korrespondenzanalyse in Stereo Farbbildern | André Wolfram, Alois Knoll | 94-04 | |
| Searching Correspondences in Colour Stereo Images -- Recent Results Using the Fuzzy Integral | André Wolfram, Alois Knoll | 94-05 | |
| A Basic Semantics for Computer Arithmetic | Markus Freericks, A. Fauth, Alois Knoll | 94-06 | |
| Reverse Restructuring: Another Method of Solving Algebraic Equations | Bernd Bütow, Stephan Thesing | 94-07 | PS |
| PaNaMa User Manual V1.3 | Bernd Bütow, Stephan Thesing | 95-01 | |
| Computer Based Training-Software: ein interaktiver Sequenzierkurs | Frank Meier, Garrit Skrock, Robert Giegerich | 95-02 | |
| Fundamental Algorithms for a Declarative Pattern Matching System | Stefan Kurtz | 95-03 | PS |
| On the Equivalence of E-Pattern Languages | Enno Ohlebusch, Esko Ukkonen | 95-04 | PS |
| Static and Dynamic Filtering Methods for Approximate String Matching | Robert Giegerich, Frank Hischke, Stefan Kurtz, Enno Ohlebusch | 96-01 | PS |
| Instructing Cooperating Assembly Robots through Situated Dialogues in Natural Language | Alois Knoll, Bernd Hildebrand, Jianwei Zhang | 96-02 | |
| Correctness in System Engineering | Peter Ladkin | 96-03 | |
| An Algebraic Approach to General Boolean Constraint Problems | Hans-Werner Güsgen, Peter Ladkin | 96-04 | |
| Future University Computing Resources | Peter Ladkin | 96-05 | |
| Lazy Cache Implements Complete Cache | Peter Ladkin | 96-06 | |
| Formal but Lively Buffers in TLA+ | Peter Ladkin | 96-07 | |
| The X-31 and A320 Warsaw Crashes: Whodunnit? | Peter Ladkin | 96-08 | |
| Reasons and Causes | Peter Ladkin | 96-09 | |
| Comments on Confusing Conversation at Cali | Dafydd Gibbon, Peter Ladkin | 96-10 | |
| On Needing Models | Peter Ladkin | 96-11 | |
| Formalism Helps in Describing Accidents | Peter Ladkin | 96-12 | |
| Explaining Failure with Tense Logic | Peter Ladkin | 96-13 | |
| Some Dubious Theses in the Tense Logic of Accidents | Peter Ladkin | 96-14 | |
| A Note on a Note on a Lemma of Ladkin | Peter Ladkin | 96-15 | |
| News and Comment on the AeroPeru B757 Accident | Peter Ladkin | 96-16 | |
| Analysing the Cali Accident With a WB-Graph | Peter Ladkin | 97-01 | |
| Divide-and-Conquer Multiple Sequence Alignment | Jens Stoye | 97-02 | PS |
| 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 | 97-03 | |
| Rose: Generating Sequence Families | Jens Stoye, Dirk Evers, Folker Meyer | 97-04 | PS |
| Fuzzy Quantifiers for Processing Natural Language Queries in Content-Based Multimedia Retrieval Systems | Ingo Glöckner, Alois Knoll | 97-05 | |
| DFS -- An Axiomatic Approach to Fuzzy Quantification | Ingo Glöckner | 97-06 | |
| Kognitive Aspekte bei der Realisierung eines robusten Robotersystems für Konstruktionsaufgaben | Alois Knoll, Bernd Hildebrandt | 98-01 | |
| A Declarative Approach to the Development of Dynamic Programming Algorithms, applied to RNA Folding | Robert Giegerich | 98-02 | PS |
| Reducing the Space Requirement of Suffix Trees | Stefan Kurtz | 98-03 | |
| Entscheidungskalküle | Axel Saalbach, Christian Lange, Sascha Wendt, Mathias Katzer, Guillaume Dubois, Michael Höhl, Oliver Kuhn, Sven Wachsmuth, Gerhard Sagerer | 99-01 | |
| Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems | Enno Ohlebusch | 99-02 | |
| A Framework for Evaluating Approaches to Fuzzy Quantification | Ingo Glöckner | 99-03 | |
| Towards Evaluation of Docking Hypotheses using elastic Matching | Steffen Neumann, Stefan Posch, Gerhard Sagerer | 99-04 | |
| A Systematic Approach to Dynamic Programming in Bioinformatics. Part 1 and 2: Sequence Comparison and RNA Folding | Robert Giegerich | 99-05 | PS |
| Autonomie für situierte Robotersysteme -- Stand und Entwicklungslinien | Alois Knoll | 99-06 | |
| Advances in DFS Theory | Ingo Glöckner | 2000-01 | |
| A Broad Class of DFS Models | Ingo Glöckner | 2000-02 | |
| An Axiomatic Theory of Fuzzy Quantifiers in Natural Languages | Ingo Glöckner | 2000-03 | |
| Affix Trees | Jens Stoye | 2000-04 | |
| 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 | 2000-05 | |
| The Syntax and Semantics of a Language for Describing Complex Patterns in Biological Sequences | Dirk Strothmann, Stefan Kurtz, Stefan Gräf, Gerhard Steger | 2000-06 | |
| Systematic Dynamic Programming in Bioinformatics (ISMB 2000 Tutorial Notes) | Dirk J. Evers, Robert Giegerich | 2000-07 | PS |
| Difficulties when Aligning Structure Based RNAs with the Standard Edit Distance Method | Christian Büschking | 2000-08 | |
| Standard Models of Fuzzy Quantification | Ingo Glöckner | 2001-01 | |
| Causal System Analysis | Peter B. Ladkin | 2001-02 | |
| A Rotamer Library for Protein-Protein Docking Using Energy Calculations and Statistics | Kerstin Koch, Frank Zöllner, Gerhard Sagerer | 2001-03 | |
| Eine asynchrone Implementierung eines Microprozessors auf einem FPGA | Marco Balke, Thomas Dettbarn, Robert Homann, Sebastian Jaenicke, Tim Köhler, Henning Mersch, Holger Weiss | 2001-04 | |
| Hierarchical Termination Revisited | Enno Ohlebusch | 2001-05 | |
| Persistent Objects with O2DBI | Jörn Clausen | 2002-01 | |
| Simulation von Phasenübergängen in Proteinmonoschichten | Johanna Alichniewicz, Gabriele Holzschneider, Morris Michael, Ulf Schiller, Jan Stallkamp | 2002-02 | |
| Lecture Notes on Algebraic Dynamic Programming 2002 | Robert Giegerich | 2002-03 | |
| Side chain flexibility for 1:n protein-protein docking | Kerstin Koch, Steffen Neumann, Frank Zöllner, Gerhard Sagerer | 2002-04 | |
| ElMaR: A Protein Docking System using Flexibility Information | Frank Zöllner, Steffen Neumann, Kerstin Koch, Franz Kummert, Gerhard Sagerer | 2002-05 | |
| Calculating Residue Flexibility Information from Statistics and Energy based Prediction | Frank Zöllner, Steffen Neumann, Kerstin Koch, Franz Kummert, Gerhard Sagerer | 2002-06 | |
| Fundamentals of Fuzzy Quantification: Plausible Models, Constructive Principles, and Efficient Implementation | Ingo Glöckner | 2002-07 | |
| Branching of Fuzzy Quantifiers and Multiple Variable Binding: An Extension of DFS Theory | Ingo Glöckner | 2002-08 | |
| On the Similarity of Sets of Permutations and its Applications to Genome Comparison | Anne Bergeron, Jens Stoye | 2003-01 | |
| SNP and mutation discovery using base-specific cleavage and MALDI-TOF mass spectrometry | Sebastian Böcker | 2003-02 | |
| From RNA Folding to Thermodynamic Matching, including Pseudoknots | Robert Giegerich, Jens Reeder | 2003-03 | |
| Sequencing from compomers: Using mass spectrometry for DNA de-novo sequencing of 200+ nt | Sebastian Böcker | 2003-04 | |
| Systematic Investigation of Jumping Alignments | Constantin Bannert | 2003-05 | |
| Suffix Tree Construction and Storage with Limited Main Memory | Klaus-Bernd Schürmann, Jens Stoye | 2003-06 | |
| Sequencing from compomers in thepresence of false negative peaks | Sebastian Böcker | 2003-07 | |
| Genalyzer: An Interactive Visualisation Tool for Large-Scale Sequence Matching -- Biological Applications and User Manual | Jomuna V. Choudhuri, Chris Schleiermacher | 2003-08 | |
| Sequencing From Compomers is NP-hard | Sebastian Böcker | 2004-01 | |
| The Money Changing Problem revisited: Computing the Frobenius number in time O(k,a1) | Sebastian Böcker, Zsuzsanna Lipták | 2004-02 |