| 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 |