| Publication | Date of Publication | Type |
|---|
Regular path expressions in feature logic
Rewriting Techniques and Applications | 2022-12-09 | Paper |
How to win a game with features
Constraints in Computational Logics | 2022-08-16 | Paper |
Fast and accurate structure probability estimation for simultaneous alignment and folding of RNAs
| 2022-07-27 | Paper |
Local exact pattern matching for non-fixed RNA structures
Combinatorial Pattern Matching | 2012-08-14 | Paper |
Impact of the energy model on the complexity of RNA folding with pseudoknots
Combinatorial Pattern Matching | 2012-08-14 | Paper |
Fast RNA structure alignment for crossing input structures
Journal of Discrete Algorithms | 2011-05-03 | Paper |
Sparse RNA folding: time and space efficient algorithms
Journal of Discrete Algorithms | 2011-05-03 | Paper |
Fast RNA Structure Alignment for Crossing Input Structures
Combinatorial Pattern Matching | 2009-07-07 | Paper |
Sparse RNA Folding: Time and Space Efficient Algorithms
Combinatorial Pattern Matching | 2009-07-07 | Paper |
Efficient sequence alignment with side-constraints by cluster tree elimination
Constraints | 2008-09-02 | Paper |
Variations on RNA folding and alignment: Lessons from Benasque
Journal of Mathematical Biology | 2008-08-18 | Paper |
Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots
Combinatorial Pattern Matching | 2008-06-17 | Paper |
Fast detection of common sequence structure patterns in RNAs
Journal of Discrete Algorithms | 2007-10-30 | Paper |
Local Alignment of RNA Sequences with Arbitrary Scoring Schemes
Combinatorial Pattern Matching | 2007-09-14 | Paper |
A polynomial time upper bound for the number of contacts in the HP-model on the face-centered-cubic lattice (FCC)
Journal of Discrete Algorithms | 2007-04-26 | Paper |
A constraint-based approach to fast and exact structure prediction in three-dimensional protein models
Constraints | 2006-11-03 | Paper |
String Processing and Information Retrieval
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Combinatorial Pattern Matching
Lecture Notes in Computer Science | 2005-09-07 | Paper |
scientific article; zbMATH DE number 2086392 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2084726 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2033333 (Why is no real title available?)
| 2004-01-27 | Paper |
Excluding symmetries in constraint-based search
Constraints | 2003-05-04 | Paper |
scientific article; zbMATH DE number 1786464 (Why is no real title available?)
| 2002-08-21 | Paper |
The protein structure prediction problem: A constraint optimization approach using a new lower bound
Constraints | 2001-09-09 | Paper |
Bioinformatics and constraints
Constraints | 2001-09-09 | Paper |
scientific article; zbMATH DE number 1615287 (Why is no real title available?)
| 2001-07-08 | Paper |
scientific article; zbMATH DE number 1487977 (Why is no real title available?)
| 2000-08-10 | Paper |
scientific article; zbMATH DE number 1455130 (Why is no real title available?)
| 2000-06-05 | Paper |
scientific article; zbMATH DE number 1223611 (Why is no real title available?)
| 1999-06-21 | Paper |
How to win a game with features
Information and Computation | 1998-11-10 | Paper |
A complete axiomatization of a theory with feature and arity constraints
The Journal of Logic Programming | 1997-03-20 | Paper |
A complete and recursive feature theory
Theoretical Computer Science | 1997-02-28 | Paper |
Regular path expressions in feature logic
Journal of Symbolic Computation | 1994-09-13 | Paper |
