Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Mailund, Thomas"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The sweep-line state space exploration method
Kurt Jensen
,
Lars M. Kristensen
,
Thomas Mailund
Theoretical Computer Science
429
, 2012, pp. 169-179
Using colored Petri nets to construct coalescent hidden Markov models: Automatic translation from demographic specifications to efficient inference methods
Thomas Mailund
,
Anders E. Halager
,
Michael Westergaard
Lecture Notes in Computer Science
7347
, 2012, pp. 32-50
Efficient whole-genome association mapping using local phylogenies for unphased genotype data
Zhihong Ding
,
Thomas Mailund
,
Yun S. Song
Bioinformatics
24
(19), 2008, pp. 2215-2221
Annotation of selection strengths in viral genomes
Stephen McCauley
,
Saskia de Groot
,
Thomas Mailund
,
Jotun Hein
Bioinformatics
23
(22), 2007, pp. 2978-2986
Comparative annotation of viral genomes with non-conserved gene structure
Saskia de Groot
,
Thomas Mailund
,
Jotun Hein
Bioinformatics
23
(9), 2007, pp. 1080-1089
GeneRecon - A coalescent based tool for fine-scale association mapping
Thomas Mailund
,
Mikkel H. Schierup
,
Christian N.S. Pedersen
,
Jesper N. Madsen
,
Jotun Hein
,
Leif Schauser
Bioinformatics
22
(18), 2006, pp. 2317-2318
RBT - A tool for building refined Buneman trees
Sren Besenbacher
,
Thomas Mailund
,
Lasse Westh-Nielsen
,
Christian N.S. Pedersen
Bioinformatics
21
(8), 2005, pp. 1711-1712
Computing the quartet distance between trees of arbitrary degree
Chris Christiansen
,
Thomas Mailund
,
Christian N.S. Pedersen
,
Martin Randers
LNCS/LNBI
3692
, 2005, pp. 77-88
QDist-quartet distance between evolutionary trees
Thomas Mailund
,
Christian N.S. Pedersen
Bioinformatics
20
(10), 2004, pp. 1636-1637
QuickJoin - Fast neighbour-joining tree reconstruction
Thomas Mailund
,
Christian N.S. Pedersen
Bioinformatics
20
(17), 2004, pp. 3261-3262
Analysing infinite-state systems by combining equivalence reduction and the sweep-line method
Thomas Mailund
Lecture Notes in Computer Science
2360
, 2002, pp. 314-334
Condensed state spaces for timed Petri nets
Sren Christensen
,
Lars Michael Kristensen
,
Thomas Mailund
Lecture Notes in Computer Science
2075
, 2001, pp. 101-120