| Publication | Date of Publication | Type |
|---|
| Proven Impossible | 2023-10-30 | Paper |
Comparing integer linear programming to SAT-solving for hard problems in computational and systems biology
Algorithms for Computational Biology | 2022-10-13 | Paper |
Efficient solution of the matroid product problem
Operations Research Letters | 2019-07-22 | Paper |
| Integer Linear Programming in Computational and Systems Biology | 2019-05-08 | Paper |
A sparsified Four-Russian algorithm for RNA folding
Lecture Notes in Computer Science | 2017-07-25 | Paper |
Minimum average distance clique trees
SIAM Journal on Discrete Mathematics | 2015-09-23 | Paper |
| G\"odel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) G\"odel's First Incompleteness Theorem | 2014-09-21 | Paper |
| ReCombinatorics. The algorithmics of ancestral recombination graphs and explicit phylogenetic networks. With contributions from Charles H. Langley, Yun S. Song and Yufeng Wu | 2014-07-14 | Paper |
Speedup of RNA pseudoknotted secondary structure recurrence computation with the four-Russians method
Combinatorial Optimization and Applications | 2012-11-02 | Paper |
The fine structure of galls in phylogenetic networks
INFORMS Journal on Computing | 2012-06-08 | Paper |
Generalizing the splits equivalence theorem and four gamete condition: Perfect phylogeny on three-state characters
SIAM Journal on Discrete Mathematics | 2012-03-15 | Paper |
Empirical Exploration of Perfect Phylogeny Haplotyping and Haplotypers
Lecture Notes in Computer Science | 2011-03-18 | Paper |
The three-state perfect phylogeny problem reduces to 2-SAT
Communications in Information and Systems | 2010-04-23 | Paper |
A new recombination lower bound and the minimum perfect phylogenetic forest problem
Journal of Combinatorial Optimization | 2009-07-13 | Paper |
A New Recombination Lower Bound and the Minimum Perfect Phylogenetic Forest Problem
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Integer Programming Formulations and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data
Lecture Notes in Computer Science | 2009-03-06 | Paper |
ReCombinatorics: Combinatorial Algorithms for Studying the History of Recombination in Populations
Combinatorial Pattern Matching | 2008-06-17 | Paper |
Improved Algorithms for Inferring the Minimum Mosaic of a Set of Recombinants
Combinatorial Pattern Matching | 2008-06-17 | Paper |
Computational Methods for SNPs and Haplotype Inference
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Algorithms to Distinguish the Role of Gene-Conversion from Single-Crossover Recombination in the Derivation of SNP Sequences in Populations
Lecture Notes in Computer Science | 2007-08-30 | Paper |
An efficiently computed lower bound on the number of recombinations in phylogenetic networks: theory and empirical study
Discrete Applied Mathematics | 2007-04-18 | Paper |
Research in Computational Molecular Biology
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Research in Computational Molecular Biology
Lecture Notes in Computer Science | 2005-11-23 | Paper |
| scientific article; zbMATH DE number 2185625 (Why is no real title available?) | 2005-07-04 | Paper |
Optimal, efficient reconstruction of root-unknown phylogenetic networks with constrained and structured recombination
Journal of Computer and System Sciences | 2005-05-04 | Paper |
Linear time algorithms for finding and representing all the tandem repeats in a string
Journal of Computer and System Sciences | 2005-02-23 | Paper |
Partition-distance: A problem and class of perfect graphs arising in clustering
Information Processing Letters | 2002-07-14 | Paper |
Simple and flexible detection of contiguous repeats using a suffix tree
Theoretical Computer Science | 2002-03-03 | Paper |
The structure and complexity of sports elimination numbers
Algorithmica | 2002-02-28 | Paper |
A More Efficient Approximation Scheme for Tree Alignment
SIAM Journal on Computing | 2000-10-18 | Paper |
| scientific article; zbMATH DE number 1301590 (Why is no real title available?) | 2000-02-20 | Paper |
Graph traversals, genes and matroids: An efficient case of the travelling salesman problem
Discrete Applied Mathematics | 1999-03-22 | Paper |
| Algorithms on Strings, Trees and Sequences | 1999-02-28 | Paper |
Improved Approximation Algorithms for Tree Alignment
Journal of Algorithms | 1998-09-08 | Paper |
A Fast Algorithm for Optimally Increasing the Edge Connectivity
SIAM Journal on Computing | 1998-02-10 | Paper |
Reconstructing a history of recombinations from a set of sequences
Discrete Applied Mathematics | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 1003279 (Why is no real title available?) | 1997-04-23 | Paper |
Faster implementation of a shortest superstring approximation
Information Processing Letters | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 826056 (Why is no real title available?) | 1995-12-13 | Paper |
| scientific article; zbMATH DE number 742991 (Why is no real title available?) | 1995-04-11 | Paper |
Parametric optimization of sequence alignment
Algorithmica | 1994-11-08 | Paper |
| scientific article; zbMATH DE number 432789 (Why is no real title available?) | 1994-09-20 | Paper |
A faster parametric minimum-cut algorithm
Algorithmica | 1994-09-11 | Paper |
Efficient Detection and Protection of Information in Cross Tabulated Tables I: Linear Invariant Test
SIAM Journal on Discrete Mathematics | 1993-10-14 | Paper |
Extracting maximal information about sets of minimum cuts
Algorithmica | 1993-09-01 | Paper |
| scientific article; zbMATH DE number 218386 (Why is no real title available?) | 1993-06-29 | Paper |
Efficient methods for multiple sequence alignment with guaranteed error bounds
Bulletin of Mathematical Biology | 1993-02-11 | Paper |
| scientific article; zbMATH DE number 45086 (Why is no real title available?) | 1993-01-23 | Paper |
A bounded approximation for the minimum cost 2-sat problem
Algorithmica | 1992-09-27 | Paper |
An efficient algorithm for the all pairs suffix-prefix problem
Information Processing Letters | 1992-09-26 | Paper |
A fast algorithm for the generalized parametric minimum cut problem and applications
Algorithmica | 1992-06-28 | Paper |
Efficient algorithms for generalized cut‐trees
Networks | 1992-06-25 | Paper |
Computing the Strength of a Graph
SIAM Journal on Computing | 1992-06-25 | Paper |
Efficient algorithms for inferring evolutionary trees
Networks | 1991-01-01 | Paper |
Very Simple Methods for All Pairs Network Flow Analysis
SIAM Journal on Computing | 1990-01-01 | Paper |
Parametric stable marriage and minimum cuts
Information Processing Letters | 1989-01-01 | Paper |
A Graph Theoretic Approach to Statistical Data Security
SIAM Journal on Computing | 1988-01-01 | Paper |
The Structure of the Stable Roommate Problem: Efficient Representation and Enumeration of All Stable Assignments
SIAM Journal on Computing | 1988-01-01 | Paper |
Three Fast Algorithms for Four Problems in Stable Marriage
SIAM Journal on Computing | 1987-01-01 | Paper |
Fast Algorithms for Bipartite Network Flow
SIAM Journal on Computing | 1987-01-01 | Paper |
Every finite distributive lattice is a set of stable matchings for a small stable marriage instance
Journal of Combinatorial Theory. Series A | 1987-01-01 | Paper |
Optimal Mixed Graph Augmentation
SIAM Journal on Computing | 1987-01-01 | Paper |
Equivalent approximation algorithms for node cover
Information Processing Letters | 1986-01-01 | Paper |
Bounds for naive multiple machine scheduling with release times and deadlines
Journal of Algorithms | 1984-01-01 | Paper |
Matroid optimization with the interleaving of two ordered sets
Discrete Applied Mathematics | 1984-01-01 | Paper |
Parametric Combinatorial Computing and a Problem of Program Module Distribution
Journal of the ACM | 1983-01-01 | Paper |
A note on Arc tolerances in sparse shortest-path and network flow problems
Networks | 1983-01-01 | Paper |
Connectivity and edge-disjoint spanning trees
Information Processing Letters | 1983-01-01 | Paper |
Simple Constructions for Multiterminal Network Flow Synthesis
SIAM Journal on Computing | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3702681 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3717343 (Why is no real title available?) | 1980-01-01 | Paper |
