- Exploration of biopolymer energy landscapes via random sampling
- BIOINFORMATICS ORIGINAL PAPER Vol. 25 no. 16 2009, pages 20952102
- BIOINFORMATICS APPLICATIONS NOTE SECISDesign: A Server to Design SECIS-
- CRISPR revisited: structure prediction of CRISPR repeats Sita Lange1
- BIOINFORMATICS APPLICATIONS NOTE Vol. 25 no. 5 2009, pages 676677
- Media Engineering and Technology Faculty German University in Cairo
- Local Alignment of RNA Sequences with Arbitrary Scoring Schemes
- Controlling Functional Uncertainty Rolf Backofen 1
- Bioinformatics Informatik,
- Excluding Symmetries in Constraint-Based Rolf Backofen and Sebastian Will
- A Posteriori Modelling of Sequence Motif Arrangements
- Computational Design of New and Recombinant Selenoproteins
- MODERNA Design of New and Recombinant Selenoproteins
- www.landesbioscience.com RNA Biology 33 RNA Biology 7:1, 33-42; January/February 2010; 2010 Landes Bioscience
- Using Constraint Programming for Lattice Protein Folding Rolf Backofen
- Bioinformatics FACECENTERED
- Supplementary material for: Signatures of Co-translational Folding
- Signatures of Co-translational Folding Rhodri Saunders 1,
- Fast Detection of Common Sequence Structure Patterns in RNAs
- Excluding Symmetries in Concurrent Constraint Programming
- A Constraint-Based Approach to Structure Prediction for Simpli ed Protein Models that
- The Energy Landscape Library -a Platform for Generic Algorithms
- Nucleic Acids Research, 2007, 14 doi:10.1093/nar/gkm218
- Journal of Integrative Bioinformatics 2007 http://journal.imbio.de/ An integrated medical software system for early lung
- Constraint-based Local Move Definitions for Lattice Protein Models Including Side Chains
- Counting Protein Structures by DFS with Dynamic Decomposition
- RESEARCH ARTICLE Open Access Evolution of metabolic networks: a computational
- RESEARCH Open Access Sparsification of RNA structure prediction
- Using RNA secondary structures to guide sequence motif finding towards single-stranded regions
- February 2, 2004 15:33 WSPC/INSTRUCTION FILE localssa Journal of Bioinformatics and Computational Biology
- In: Proc. of 4. Internationaler Gi-Kongre Wissensbasierte Systeme Linking Typed Feature Formalisms and Terminological
- In: Proc. of the ACL'93 ON THE DECIDABILITY OF FUNCTIONAL UNCERTAINTY
- FSU Jena Chair for Bioinformatics
- Counting Protein Structures by DFS with Dynamic Decomposition
- Classroom Assignment using Constraint Logic Programming Slim Abdennadher, Matthias Saft and Sebastian Will
- Protein similarity search under mRNA structural constraints: application to targeted selenocysteine insertion
- Sinha et al. BMC Bioinformatics 2010, 11:216 http://www.biomedcentral.com/1471-2105/11/216
- arXiv:0910.2559v3[q-bio.BM]18Jan2011 Efficient exploration of discrete energy landscapes
- Common Sequence Structure Properties and Stable Regions in
- RESEARCH Open Access Fast prediction of RNA-RNA interaction
- Classifying protein-like sequences in arbitrary lattice protein models using LatPack
- COMPUTATIONAL STUDIES OF NON-CODING RNAS ROLF BACKOFEN
- Protein similarity search under mRNA structural constraints: application to selenocysteine incorporation
- Excluding Symmetries in Constraint-Based Search Rolf Backofen and Sebastian Will
- E#cient Constraintbased Sequence Alignment by Cluster Tree Elimination #
- INFORNA A Fast Approach of the Inverse RNA Folding
- Structure Prediction in an HPtype Lattice with an Extended Alphabet
- 1068 VOLUME 24 NUMBER 9 SEPTEMBER 2006 NATURE BIOTECHNOLOGY developing countries are actively developing
- Expressivity and Decidability of Firstorder Languages over
- RNA-Sequence-Structure Properties and Selenocysteine Insertion
- Fax +41 61 306 12 34 E-Mail karger@karger.ch
- CONSTRAINT-BASED HYDROPHOBIC CORE CONSTRUCTION FOR PROTEIN STRUCTURE PREDICTION
- How to Win a Game with Features Rolf Backofen and Ralf Treinen
- To appear in Constraints. The Protein Structure Prediction Problem: A
- How to Win a Game with Features Rolf Backofen \Lambda
- ORIGINAL PAPER The small RNA Aar in Acinetobacter baylyi: a putative regulator
- J. LOGIC PROGRAMMING 1995:24:37 --72 37 A Complete Axiomatization of a Theory with
- Application of Constraint Programming Techniques for Structure Prediction of Lattice
- J. Symbolic Computation (1994) 17, 421--455 Regular Path Expressions in Feature Logic y
- Lattice model refinement of protein structures Martin Mann
- J. Math. Biol. (2008) 56:129144 DOI 10.1007/s00285-007-0107-5 Mathematical Biology
- In: Journal of Theoretical Computer Science. A Complete and Recursive Feature Theory
- Seemann et al. Algorithms for Molecular Biology 2010, 5:22 http://www.almob.org/content/5/1/22
- CPSP-tools -Exact and Complete Algorithms for High-throughput 3D Lattice Protein Studies
- High accuracy on-lattice side chain models of PDB protein structures
- [23:02 27/3/2011 SeemannPETfoldPETcofoldwebserverrev1.tex] Page: 1 14 Published online ? Nucleic Acids Research, ?, Vol. ?, No. ? 14
- Structure Local Multiple Alignment of RNA Wolfgang Otto1
- Shape-based barrier estimation for RNAs Sergiy Bogomolov1,
- In Proc. of PSB2000 ALGORITHMIC APPROACH TO QUANTIFYING THE
- April 18, 2008 13:10 WSPC/INSTRUCTION FILE main International Journal of Pattern Recognition and Artificial Intelligence
- Sinha et al. BMC Plant Biology 2010, 10:76 http://www.biomedcentral.com/1471-2229/10/76
- In: Proc. of CSL'97 Evolution as a computational engine #
- Constraint Techniques for Solving the Protein Structure Prediction Problem
- Symmetry Exclusion in Constraint Based Search with an Application to Lattice Protein Folding
- EFFICIENT PREDICTION OF ALTERNATIVE SPLICE FORMS USING PROTEIN DOMAIN HOMOLOGY
- Nucleic Acids Research, 2007, 15 doi:10.1093/nar/gkm292
- Vol. 22 no. 15 2006, pages 18231831 doi:10.1093/bioinformatics/btl194BIOINFORMATICS ORIGINAL PAPER
- Optimization Techniques for the Protein Structure Prediction Problem
- Legionnaires' Disease First outbreak reported in 1976 in
- BIOINFORMATICS Vol. 25 ISMB 2009, pages i365i373
- Methods for Multiple Alignment and Consensus Structure Prediction of RNAs implemented in
- Computational discovery of human coding and non-coding transcripts with conserved splice sites
- !#"$ % % &'(')012 &3546)17)048 9@A54BCD EFHGI
- Media Engineering and Technology Faculty German University in Cairo
- Sparsification of RNA Structure Prediction Including Pseudoknots
- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise
- Published online xx xxxx 2010 Nucleic Acids Research, 2010, Vol. xx, No. xx 15 doi:10.1093/nar/gkn000
- Time and space efficient RNA-RNA interaction prediction via sparse folding
- Lifting Prediction to Alignment of RNA Pseudoknots
- Simultaneous Alignment and Folding of Protein Sequences
- BioMed Central Page 1 of 13
- Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots
- Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
- Lightweight Comparison of RNAs Based on Exact Sequence-Structure Matches
- Inferring Noncoding RNA Families and Classes by Means of Genome-Scale Structure-Based
- RNAs Everywhere: Genome-Wide Annotation of Structured RNAs
- A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models
- Supplementary Material PETcofold: Predicting conserved interactions and structures
- Fast RNA Structure Alignment for Crossing Input Rolf Backofena
- Hierarchical folding of multiple sequence alignments for the prediction of structures and RNA-RNA interactions
- BIOINFORMATICS DISCOVERY NOTE Vol. 26 no. 1 2010, pages 15
- Published online 9 April 2009 Nucleic Acids Research, 2009, Vol. 37, No. 11 35693579 doi:10.1093/nar/gkp220
- Fast prediction of RNA-RNA Interaction Raheleh Salari1
- biRNA: Fast RNA-RNA Binding Sites Prediction Hamidreza Chitsaz1, Rolf Backofen2, and S. Cenk Sahinalp1
- Fast RNA Structure Alignment for Crossing Input Structures
- BioMed Central Page 1 of 14
- BIOINFORMATICS ORIGINAL PAPER Vol. 24 no. 24 2008, pages 28492856
- This Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon.
- 10.1261/rna.883908Access the most recent version at doi: 2008 14: 616-629; originally published online Feb 11, 2008;RNA
- Nucleic Acids Research doi:10.1093/nar/gkn544
- JOURNAL OF COMPUTATIONAL BIOLOGY Volume 14, Number 8, 2007
- Pre-mRNA Secondary Structures Influence Exon Recognition
- A FirstOrder Axiomatization of the Theory of Finite Trees Rolf Backofen \Lambda
- A BranchandBound Constraint Optimization Approach to the HPNX Structure Prediction Problem
- Europhysics Letters PREPRINT Exploring the lower part of discrete polymer model energy
- JOURNAL OF COMPUTATIONAL BIOLOGY Volume 14, Number 1, 2007
- PIK 29 (2006) 2 81 GRID-COMPUTING K.G. Saur Verlag, Mnchen, 2006
- Bioinformatics and Constraints Rolf Backofen and David Gilbert
- www.ajhg.org Hiller et al.: SNPs in NAGNAG Splice Acceptors 291 Single-Nucleotide Polymorphisms in NAGNAG Acceptors Are Highly
- Genome Biology 2006, 7:R65 commentreviewsreportsdepositedresearchrefereedresearchinteractionsinformation
- Genome Biology 2005, 6:R58 commentreviewsreportsdepositedresearchrefereedresearchinteractionsinformation
- Non-EST based prediction of exon skipping and intron retention events using Pfam information
- BIOINFORMATICS ORIGINAL PAPER Vol. 21 no. 14 2005, pages 30823088
- BIOINFORMATICS ORIGINAL PAPER Vol. 21 no. 16 2005, pages 33523359
- Constraints, 6, 223255, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- LatFit -Producing high accuracy lattice models from protein atomic co-ordinates including side chains
- arXiv:0712.2389v1[cs.AI]14Dec2007 Decomposition During Search for
- Dynamic Programming based RNA Pseudoknot Alignment
- Mildly Context-Sensitive Dependency Languages Marco Kuhlmann
- Extended cross-serial dependencies in Tree Adjoining Grammars Marco Kuhlmann and Mathias Mhl
- Lexicalised Configuration Grammars Robert Grabowski, Marco Kuhlmann, and Mathias Mohl
- TEMPLATE DESIGN 2008 www.PosterPresentations.com
- HPdesign: Inverse Folding of Proteins Albert-Ludwigs-
- RNA Secondary Structure Design under Simple and Complex Constraints
- CONSTRAINT APPROACH FOR PROTEIN STRUCTURE PREDICTION IN THE SIDE CHAIN HP MODEL
- Albert-Ludwigs-Universitat Diploma Thesis
- A Sampling Approach for the Exploration of Biopolymer Energy Land-Richter, A.S.; Will, S.; Backofen, R.
- Table 1. Suboptimal solutions of INTARNA, RNAHYBRID and RNAPLEX for interactions without correct optimal solution.
- Alignment of RNA with Structures of Unlimited Complexity Alessandro Dal Pal`u
- Constraints, 6, 139, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- nature methods | VOL.7 NO.6 | JUNE 2010 | 419 correspondence
- Widespread and subtle: alternative splicing at short-distance tandem sites
- Supplementary Material for Lifting Prediction to Alignment of RNA Pseudoknots
- Protein Folding Simulation by Two-Stage Optimization
- Friedrich-Schiller-Universitat Jena Fakultat fur Mathematik und Informatik
- FG-MoL 2005: The 10th conference on
- Constraints, 6, 141156, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Exact, ConstraintBased Structure Prediction in
- A ConstraintBased Approach to Fast and Exact Structure Prediction in ThreeDimensional Protein Models
- Fast Detection of Common Sequence Structure Patterns in RNAs
- Freiburg RNA Tools: a web server integrating INTARNA, EXPARNA and LOCARNA
- Efficient exploration of discrete energy landscapes Martin Mann
- A Polynomial Time Upper Bound for the Number of Contacts in the
- Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information
- In: CPM2000 An Upper Bound for Number of Contacts in the
- Predicting Transcription Factor Binding Sites by Modeling Multiple Features
- This Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon.
- Normalized Similarity of RNA Sequences Rolf Backofen1
- A COMPLETE AND RECURSIVE FEATURE THEORY Rolf Backofen and Gert Smolka
- Breaking of Partial Symmetries in the Photo and Alignment Problem
- On the Complexity of Protein Similarity Search under mRNA Structure Constraints
- Forschungszentrum Intelligenz GmbH
- Using Constraint Programming for Lattice Protein Folding Rolf Backofen
- Optimally Compact Finite Sphere Packings | Hydrophobic Cores in the FCC
- Decomposition During Search Martin Mann1,
- Lifting Prediction to Alignment of RNA Pseudoknots Mathias Mohl
- BIOINFORMATICS ORIGINAL PAPER Vol. 27 no. 2 2011, pages 211219
- A Posteriori Modelling of Sequence Motif Arrangements
- Fast, Constraint-based Threading of HP-Sequences to Hydrophobic Cores
- Exact, Constraint-Based Structure Prediction in
- Feature Based Representation and Detection of Transcription Factor Binding Sites
- The 12th conference on Formal Grammar
- The Energy Landscape Library A Platform for Generic Algorithms
- Qupe -a Rich Internet Application to take a Step Forward in the Analysis of Mass Spectrometry-Based Quantitative
- Correspondence Alternative Splicing at NAGNAG
- February 2, 2004 15:33 WSPC/INSTRUCTION FILE local-ssa Journal of Bioinformatics and Computational Biology
- BioMed Central Page 1 of 25
- ALGORITHMIC APPROACH TO QUANTIFYING THE HYDROPHOBIC FORCE CONTRIBUTION IN PROTEIN FOLDING
- Evolution as a computational engine Rolf Backofen
- Sparse RNA Folding: Time and Space Efficient Rolf Backofen1
- TassDB: a database of alternative tandem splice sites
- Bioinformatics Analyses of Alternative Splicing Prediction of alternative splicing events in animals and
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Supplementary Material Accessibility and conservation in bacterial small RNA-mRNA
- Computational Methods for Lattice Protein Models
- Structator: fast index-based search for RNA sequence-structure patterns
- Accessibility and conservation in bacterial small RNA-mRNA interactions and implications for genome-wide target predictions
- Sparsification in Algebraic Dynamic Programming Mathias Mohl
- ORIGINAL RESEARCH ARTICLE published: 05 October 2011
- BIOINFORMATICS ORIGINAL PAPER Vol. 27 no. 14 2011, pages 18941900
- Computational RNomics of Drosophilids Dominic Rose1
- Microstructure Alignment of Wood Density Profiles An Approach to Equalize Radial Differences in Growth Rate
- S.Will et al. LocARNA-P 1 LocARNA-P: Accurate Boundary Prediction and Improved Detection
- Supplement --LocARNA-P: Boundary Prediction and Detection of Structural RNAs 1 Supplement to LocARNA-P: Accurate Boundary Prediction and Im-
- NcDNAlign: Plausible Multiple Alignments of Non-Protein-Coding Genomic Sequences
- 10.1101/gr.090050.108Access the most recent version at doi: 2009 19: 1289-1300 originally published online May 20, 2009Genome Res.
- Global or local? Predicting secondary structure and accessibility in mRNAs
- Structure-based Whole Genome Realignment Reveals Many Novel Non-coding RNAs
- 16021615 Nucleic Acids Research, 2009, Vol. 37, No. 5 Published online 16 January 2009 doi:10.1093/nar/gkn1084
- Exact Pattern Matching for RNA Structure Ensembles
- Journal of Bioinformatics and Computational Biology Vol. 6, No. 6 (2008) 11571175
- BioMed Central Open Access
- ORIGINAL RESEARCH ARTICLE published: 05 October 2011
- 78. Funding for this work came from the NHGRI of the NIH as part of the modENCODE project, NIH (grant
- Prediction of Structured Non-Coding RNAs in the Genomes of the Nematodes Caenorhabditis
