dblp.uni-trier.dewww.uni-trier.de

Thomas Mailund

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
24EEMartin Simonsen, Thomas Mailund, Christian N. S. Pedersen: Rapid Neighbour-Joining. WABI 2008: 113-122
23EEZhihong Ding, Thomas Mailund, Yun S. Song: Efficient whole-genome association mapping using local phylogenies for unphased genotype data. Bioinformatics 24(19): 2215-2221 (2008)
22EEM. 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
21EEM. 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
20EEM. 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
19EEStephen McCauley, Saskia de Groot, Thomas Mailund, Jotun Hein: Annotation of selection strengths in viral genomes. Bioinformatics 23(22): 2978-2986 (2007)
18EESaskia de Groot, Thomas Mailund, Jotun Hein: Comparative annotation of viral genomes with non-conserved gene structure. Bioinformatics 23(9): 1080-1089 (2007)
17EEThomas 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
16EEThomas Mailund, Gerth Stølting Brodal, Rolf Fagerberg, Christian N. S. Pedersen, Derek Phillips: Recrafting the neighbor-joining method. BMC Bioinformatics 7: 29 (2006)
15EEThomas 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
13EEChris Christiansen, Thomas Mailund, Christian N. S. Pedersen, Martin Randers: Computing the Quartet Distance Between Trees of Arbitrary Degree. WABI 2005: 77-88
12EEThomas 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)
11EESø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
10EEThomas Mailund, Michael Westergaard: Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. TACAS 2004: 177-191
9EEThomas Mailund, Christian N. S. Pedersen: QDist-quartet distance between evolutionary trees. Bioinformatics 20(10): 1636-1637 (2004)
8EEThomas Mailund, Christian N. S. Pedersen: QuickJoin - fast neighbour-joining tree reconstruction. Bioinformatics 20(17): 3261-3262 (2004)
7EEJonathan 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
6EELars Michael Kristensen, Thomas Mailund: Efficient Path Finding with the Sweep-Line Method Using External Storage. ICFEM 2003: 319-337
2002
5EELars Michael Kristensen, Thomas Mailund: A Generalised Sweep-Line Method for Safety Properties. FME 2002: 549-567
4EELars Michael Kristensen, Thomas Mailund: A Compositional Sweep-Line State Space Exploration Method. FORTE 2002: 327-343
3EEThomas Mailund: Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. ICATPN 2002: 314-334
2001
2EESøren Christensen, Lars Michael Kristensen, Thomas Mailund: Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120
1EESøren Christensen, Lars Michael Kristensen, Thomas Mailund: A Sweep-Line Method for State Space Exploration. TACAS 2001: 450-464

Coauthor Index

1Jonas Bardino [14] [17]
2Søren Besenbacher [11]
3Jonathan Billington [7]
4Gerth Stølting Brodal [16] [20] [21] [22]
5Søren Christensen [1] [2]
6Chris Christiansen [13]
7Zhihong Ding [23]
8Rolf Fagerberg [16] [20] [21] [22]
9Guy Edward Gallasch [7]
10Saskia de Groot [18] [19]
11Jotun Hein [15] [18] [19]
12Henrik Hoey Karlsen [14] [17]
13Lars Michael Kristensen [1] [2] [4] [5] [6] [7]
14Jesper N. Madsen [12] [15]
15Stephen McCauley [19]
16Peter J. M. Mechlenborg [12]
17Christian N. S. Pedersen [8] [9] [11] [12] [13] [14] [15] [16] [17] [20] [21] [22] [24]
18Derek Phillips [16]
19Martin Randers [13]
20Leif Schauser [12] [15]
21Mikkel H. Schierup [12] [15]
22Martin Simonsen [24]
23Yun S. Song [23]
24M. Stissing [20] [21] [22]
25Brian Vinter [14] [17]
26Michael Westergaard [10]
27Lasse Westh-Nielsen [11]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)