2008 |
24 | EE | Martin Simonsen,
Thomas Mailund,
Christian N. S. Pedersen:
Rapid Neighbour-Joining.
WABI 2008: 113-122 |
23 | EE | Zhihong Ding,
Thomas Mailund,
Yun S. Song:
Efficient whole-genome association mapping using local phylogenies for unphased genotype data.
Bioinformatics 24(19): 2215-2221 (2008) |
22 | EE | M. Stissing,
Thomas Mailund,
Christian N. S. Pedersen,
Gerth Stølting Brodal,
Rolf Fagerberg:
Computing the All-Pairs Quartet Distance on a Set of Evolutionary Trees.
J. Bioinformatics and Computational Biology 6(1): 37-50 (2008) |
2007 |
21 | EE | M. Stissing,
Christian N. S. Pedersen,
Thomas Mailund,
Gerth Stølting Brodal,
Rolf Fagerberg:
Computing the Quartet Distance Between Evolutionary Trees of Bounded Degree.
APBC 2007: 101-110 |
20 | EE | M. Stissing,
Thomas Mailund,
Christian N. S. Pedersen,
Gerth Stølting Brodal,
Rolf Fagerberg:
Computing the All-Pairs Quartet Distance on a Set of Evolutionary Trees.
APBC 2007: 91-100 |
19 | EE | Stephen McCauley,
Saskia de Groot,
Thomas Mailund,
Jotun Hein:
Annotation of selection strengths in viral genomes.
Bioinformatics 23(22): 2978-2986 (2007) |
18 | EE | Saskia de Groot,
Thomas Mailund,
Jotun Hein:
Comparative annotation of viral genomes with non-conserved gene structure.
Bioinformatics 23(9): 1080-1089 (2007) |
17 | EE | Thomas Mailund,
Christian N. S. Pedersen,
Jonas Bardino,
Brian Vinter,
Henrik Hoey Karlsen:
Experiences with GeneRecon on MiG.
Future Generation Comp. Syst. 23(4): 580-586 (2007) |
2006 |
16 | EE | Thomas Mailund,
Gerth Stølting Brodal,
Rolf Fagerberg,
Christian N. S. Pedersen,
Derek Phillips:
Recrafting the neighbor-joining method.
BMC Bioinformatics 7: 29 (2006) |
15 | EE | Thomas Mailund,
Mikkel H. Schierup,
Christian N. S. Pedersen,
Jesper N. Madsen,
Jotun Hein,
Leif Schauser:
GeneRecon - a coalescent based tool for fine-scale association mapping.
Bioinformatics 22(18): 2317-2318 (2006) |
2005 |
14 | | Thomas Mailund,
Christian N. S. Pedersen,
Jonas Bardino,
Brian Vinter,
Henrik Hoey Karlsen:
Initial Experiences with GeneRecon on MiG.
GCA 2005: 141-146 |
13 | EE | Chris Christiansen,
Thomas Mailund,
Christian N. S. Pedersen,
Martin Randers:
Computing the Quartet Distance Between Trees of Arbitrary Degree.
WABI 2005: 77-88 |
12 | EE | Thomas Mailund,
Mikkel H. Schierup,
Christian N. S. Pedersen,
Peter J. M. Mechlenborg,
Jesper N. Madsen,
Leif Schauser:
CoaSim: A flexible environment for simulating genetic data under coalescent models.
BMC Bioinformatics 6: 252 (2005) |
11 | EE | Søren Besenbacher,
Thomas Mailund,
Lasse Westh-Nielsen,
Christian N. S. Pedersen:
RBT - a tool for building refined Buneman trees.
Bioinformatics 21(8): 1711-1712 (2005) |
2004 |
10 | EE | Thomas Mailund,
Michael Westergaard:
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.
TACAS 2004: 177-191 |
9 | EE | Thomas Mailund,
Christian N. S. Pedersen:
QDist-quartet distance between evolutionary trees.
Bioinformatics 20(10): 1636-1637 (2004) |
8 | EE | Thomas Mailund,
Christian N. S. Pedersen:
QuickJoin - fast neighbour-joining tree reconstruction.
Bioinformatics 20(17): 3261-3262 (2004) |
7 | EE | Jonathan Billington,
Guy Edward Gallasch,
Lars Michael Kristensen,
Thomas Mailund:
Exploiting equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 23-37 (2004) |
2003 |
6 | EE | Lars Michael Kristensen,
Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage.
ICFEM 2003: 319-337 |
2002 |
5 | EE | Lars Michael Kristensen,
Thomas Mailund:
A Generalised Sweep-Line Method for Safety Properties.
FME 2002: 549-567 |
4 | EE | Lars Michael Kristensen,
Thomas Mailund:
A Compositional Sweep-Line State Space Exploration Method.
FORTE 2002: 327-343 |
3 | EE | Thomas Mailund:
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.
ICATPN 2002: 314-334 |
2001 |
2 | EE | Søren Christensen,
Lars Michael Kristensen,
Thomas Mailund:
Condensed State Spaces for Timed Petri Nets.
ICATPN 2001: 101-120 |
1 | EE | Søren Christensen,
Lars Michael Kristensen,
Thomas Mailund:
A Sweep-Line Method for State Space Exploration.
TACAS 2001: 450-464 |