The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Thomas Mailund: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    APBC, 2007, pp:91-100 [Conf]
  2. M. Stissing, Christian N. S. Pedersen, Thomas Mailund, Gerth Stølting Brodal, Rolf Fagerberg
    Computing the Quartet Distance Between Evolutionary Trees of Bounded Degree. [Citation Graph (0, 0)][DBLP]
    APBC, 2007, pp:101-110 [Conf]
  3. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
    Condensed State Spaces for Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:101-120 [Conf]
  4. Thomas Mailund
    Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:314-334 [Conf]
  5. Lars Michael Kristensen, Thomas Mailund
    A Generalised Sweep-Line Method for Safety Properties. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:549-567 [Conf]
  6. Lars Michael Kristensen, Thomas Mailund
    A Compositional Sweep-Line State Space Exploration Method. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:327-343 [Conf]
  7. Thomas Mailund, Christian N. S. Pedersen, Jonas Bardino, Brian Vinter, Henrik Hoey Karlsen
    Initial Experiences with GeneRecon on MiG. [Citation Graph (0, 0)][DBLP]
    GCA, 2005, pp:141-146 [Conf]
  8. Lars Michael Kristensen, Thomas Mailund
    Efficient Path Finding with the Sweep-Line Method Using External Storage. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:319-337 [Conf]
  9. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
    A Sweep-Line Method for State Space Exploration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:450-464 [Conf]
  10. Thomas Mailund, Michael Westergaard
    Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:177-191 [Conf]
  11. Chris Christiansen, Thomas Mailund, Christian N. S. Pedersen, Martin Randers
    Computing the Quartet Distance Between Trees of Arbitrary Degree. [Citation Graph (0, 0)][DBLP]
    WABI, 2005, pp:77-88 [Conf]
  12. Søren Besenbacher, Thomas Mailund, Lasse Westh-Nielsen, Christian N. S. Pedersen
    RBT - a tool for building refined Buneman trees. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2005, v:21, n:8, pp:1711-1712 [Journal]
  13. Thomas Mailund, Christian N. S. Pedersen
    QDist-quartet distance between evolutionary trees. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2004, v:20, n:10, pp:1636-1637 [Journal]
  14. Thomas Mailund, Christian N. S. Pedersen
    QuickJoin - fast neighbour-joining tree reconstruction. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2004, v:20, n:17, pp:3261-3262 [Journal]
  15. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:18, pp:2317-2318 [Journal]
  16. Thomas Mailund, Gerth Stølting Brodal, Rolf Fagerberg, Christian N. S. Pedersen, Derek Phillips
    Recrafting the neighbor-joining method. [Citation Graph (0, 0)][DBLP]
    BMC Bioinformatics, 2006, v:7, n:, pp:29- [Journal]
  17. 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. [Citation Graph (0, 0)][DBLP]
    BMC Bioinformatics, 2005, v:6, n:, pp:252- [Journal]
  18. Thomas Mailund, Christian N. S. Pedersen, Jonas Bardino, Brian Vinter, Henrik Hoey Karlsen
    Experiences with GeneRecon on MiG. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2007, v:23, n:4, pp:580-586 [Journal]
  19. Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
    Exploiting equivalence reduction and the sweep-line method for detecting terminal states. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2004, v:34, n:1, pp:23-37 [Journal]
  20. Saskia de Groot, Thomas Mailund, Jotun Hein
    Comparative annotation of viral genomes with non-conserved gene structure. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2007, v:23, n:9, pp:1080-1089 [Journal]

  21. Rapid Neighbour-Joining. [Citation Graph (, )][DBLP]


  22. Annotation of selection strengths in viral genomes. [Citation Graph (, )][DBLP]


  23. Efficient whole-genome association mapping using local phylogenies for unphased genotype data. [Citation Graph (, )][DBLP]


  24. SNPFile - A software library and file format for large scale association mapping and population genetics studies. [Citation Graph (, )][DBLP]


  25. Investigating selection on viruses: a statistical alignment approach. [Citation Graph (, )][DBLP]


  26. A fast algorithm for genome-wide haplotype pattern mining. [Citation Graph (, )][DBLP]


  27. Whole genome association mapping by incompatibilities and local perfect phylogenies. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002