Robert Giegerich

J. Funct. Program., 2006

Table design in dynamic programming.

[BibT_eX]

[DOI]

Inf. Comput., 2006

Correction: versatile and declarative dynamic programming using pair algebras.

[BibT_eX]

[DOI]

BMC Bioinform., 2006

XML schemas for common bioinformatic data types and their application in workflow systems.

[BibT_eX]

[DOI]

BMC Bioinform., 2006

Fast index based algorithms and software for matching position specific scoring matrices.

[BibT_eX]

[DOI]

BMC Bioinform., 2006

RNAshapes: an integrated RNA analysis package based on abstract shapes.

[BibT_eX]

[DOI]

Bioinform., 2006

GUUGle: a utility for fast exact matching under RNA complementary rules including G-U base pairing.

[BibT_eX]

[DOI]

Wolfgang Gerlach

Bioinform., 2006

Challenges in the compilation of a domain specific language for dynamic programming.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A graphical programming system for molecular motif search.

[BibT_eX]

[DOI]

Janina Reeder

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Versatile and declarative dynamic programming using pair algebras.

[BibT_eX]

[DOI]

BMC Bioinform., 2005

Effective ambiguity checking in biosequence analysis.

[BibT_eX]

[DOI]

Janina Reeder

BMC Bioinform., 2005

Consensus shapes: an alternative to the Sankoff algorithm for RNA consensus structure prediction.

[BibT_eX]

[DOI]

Jens Reeder

Bioinform., 2005

2004

Pure Multiple RNA Secondary Structure Alignments: A Progressive Profile Approach.

[BibT_eX]

[DOI]

Matthias Höchsmann

Björn Voss

IEEE ACM Trans. Comput. Biol. Bioinform., 2004

A discipline of dynamic programming over sequence data.

[BibT_eX]

[DOI]

Carsten Meyer

Sci. Comput. Program., 2004

e2g: an interactive web-based server for efficiently mapping large EST and cDNA sets to genomic sequences.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2004

Genlight: Interactive high-throughput sequence analysis and comparative genomics.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2004

Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics.

[BibT_eX]

[DOI]

Jens Reeder

BMC Bioinform., 2004

A comprehensive comparison of comparative RNA structure prediction approaches.

[BibT_eX]

[DOI]

Paul P. Gardner

BMC Bioinform., 2004

Evaluating the predictability of conformational switching in RNA.

[BibT_eX]

[DOI]

Björn Voss

Carsten Meyer

Bioinform., 2004

GenAlyzer: interactive visualization of sequence similarities between entire genomes.

[BibT_eX]

[DOI]

Bioinform., 2004

<i>PoSSuMsearch</i>: Fast and Sensitive Matching of Position Specific Scoring Matrices using Enhanced Suffix Arrays.

[BibT_eX]

[DOI]

Proceedings of the German Conference on Bioinformatics (GCB 2004), Bielefeld, 2004

2003

Efficient implementation of lazy suffix trees.

[BibT_eX]

[DOI]

Jens Stoye

Softw. Pract. Exp., 2003

RNA-related tools on the Bielefeld Bioinformatics Server.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2003

Prediction of conformational switching in RNA.

[BibT_eX]

Björn Voß

Proceedings of the German Conference on Bioinformatics, 2003

Local Similarity in RNA Secondary Structures.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

2002

PathFinder: reconstruction and dynamic visualization of metabolic pathways.

[BibT_eX]

[DOI]

Bioinform., 2002

Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Towards A Discipline of Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002

Algebraic Dynamic Programming.

[BibT_eX]

[DOI]

Carsten Meyer

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Minimum conflict: a divide-and-conquer approach to phylogeny estimation.

[BibT_eX]

[DOI]

Georg Fuellen

Johann-Wolfgang Wägele

Bioinform., 2001

Reducing the Conformation Space in RNA Structure Prediction.

[BibT_eX]

Dirk Evers

Proceedings of the Computer science and biology: Proceedings of the German Conference on Bioinformatics, 2001

2000

A systematic approach to dynamic programming in bioinformatics.

[BibT_eX]

[DOI]

Bioinform., 2000

Computation and Visualization of Degenerate Repeats in Complete Genomes.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Intelligent Systems for Molecular Biology, 2000

Explaining and Controlling Ambiguity in Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Pattern Matching, 11th Annual Symposium, 2000

1999

Semantic Matching for Left-Linear Convergent Rewrite Systems

[BibT_eX]

[DOI]

J. Funct. Log. Program., 1999

RNA movies: visualizing RNA secondary structure spaces.

[BibT_eX]

[DOI]

Dirk Evers

Bioinform., 1999

Prediction and Visualization of Structural Switches in RNA.

[BibT_eX]

[DOI]

Dirk Haase

Marc Rehmsmeier

Proceedings of the 4th Pacific Symposium on Biocomputing, 1999

1998

ViSeL - An interactive course in DNA Sequencing.

[BibT_eX]

Dieter Lorenz

Proceedings of the Tagungsband zum Workshop "Multimedia-Systeme" im Rahmen der GI-Jahrestagung 1998. Magdeburg, 1998

1997

From Ukkonen to McCreight and Weiner: A Unifying View of Linear-Time Suffix Tree Construction.

[BibT_eX]

[DOI]

Algorithmica, 1997

RIFLE: Rapid Identification of Microorganisms by Fragment Length Evaluation.

[BibT_eX]

[DOI]

Henning Hermjakob

Walter Arnold

Proceedings of the 5th International Conference on Intelligent Systems for Molecular Biology, 1997

1996

Sequenzanalyse mit verteilten Ressourcen: Ein WWW-basierter Kurs.

[BibT_eX]

[DOI]

Christian Büschking

Informationstechnik Tech. Inform., 1996

GeneFisher-Software Support for the Detection of Postulated Genes.

[BibT_eX]

[DOI]

Folker Meyer

Chris Schleiermacher

Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology, 1996

Sequence Analysis with Distributed Resources: A WWW-Based Course.

[BibT_eX]

Christian Büschking

Proceedings of the German Conference on Bioinformatics, 1996

1995

A Comparison of Imperative and Purely Functional Suffix Tree Constructions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1995

A New Strategy for Semantic Matching

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1995

1994

Suffix Trees in the Functional Programming Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994

1991

An Implicit Representation of Infinite Sequences of Terms.

[BibT_eX]

Enno Ohlebusch

Bull. EATCS, 1991

Der Studiengang Naturwissenschaftliche Informatik an der Universität Bielefeld.

[BibT_eX]

[DOI]

Willi Schepper

Proceedings of the Physik und Informatik, 1991

Considerate Code Selection.

[BibT_eX]

[DOI]

Proceedings of the Code Generation, 1991

1990

Code Selection by Inversion of Order-Sorted Derivors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

On the Structure of Verifiable Code Generator Specifications.

[BibT_eX]

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

1988

Composition and Evaluation of Attribute Coupled Grammars.

[BibT_eX]

[DOI]

Acta Informatica, 1988

Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors.

[BibT_eX]

[DOI]

Karl Schmal

Proceedings of the ESOP '88, 1988

1987

A note on termination in combinatiosn of heterogeneous term rewriting systems.

[BibT_eX]

Harald Ganzinger

Bull. EATCS, 1987

1985

Logic specification of code generation techniques.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, 1985

1984

Attribute coupled grammars.

[BibT_eX]

[DOI]

Harald Ganzinger

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1983

A Formal Framework for the Derivation of Machine-Specific Optimizers.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1983

1982

A Truly Generative Semantics-Directed Compiler Generator.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

A Formal Model of Instruction Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Programmiersprachen und Programmentwicklung, 1982

Automatic Generation of Machine Specific Code Optimizers.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

Automatische Erzeugung von Maschinencode-Optimierern.

[BibT_eX]

[DOI]

PhD thesis, 1981

Invariance of Approximate Semantics with Respect to Program Transformations.

[BibT_eX]

[DOI]

Ulrich Möncke

Reinhard Wilhelm

Proceedings of the GI, 1981

1978

Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars.

[BibT_eX]

[DOI]

Reinhard Wilhelm

Inf. Process. Lett., 1978

1977

Implementierbarkeit attributierter Grammatiken.

[BibT_eX]

[DOI]