 | 2009 |
|---|
| 10 |       | Marcel H. Schulz,
Sebastian Köhler,
Sebastian Bauer,
Martin Vingron,
Peter N. Robinson:
homepages/84/1721 journals/jiis/BarbanconM07 conf/fqas/BarbanconM04 conf/bibe/NakhlehMBPD03 conf/ideas/BarbanconM02 Exact Score Distribution Computation for Similarity Searches in Ontologies.
WABI 2009: 298-309 |
| 2008 |
|---|
| 9 | | Josh Passenger,
Oscar Acosta,
Hans de Visser,
Sebastian Bauer,
Christoph Russ,
Sébastien Ourselin:
Texture coordinate generation of colonic surface meshes for surgical simulation.
ISBI 2008: 640-643 |
| 8 | | Sebastian Bauer,
Steffen Grossmann,
Martin Vingron,
Peter N. Robinson:
Ontologizer 2.0 - a multifunctional tool for GO term enrichment analysis and data exploration.
Bioinformatics 24(14): 1650-1651 (2008) |
| 7 | | Marcel H. Schulz,
Sebastian Bauer,
Peter N. Robinson:
The generalised k-Truncated Suffix Tree for time-and space-efficient searches in multiple DNA or protein sequences.
IJBRA 4(1): 81-95 (2008) |
| 2007 |
|---|
| 6 | | Steffen Grossmann,
Sebastian Bauer,
Peter N. Robinson,
Martin Vingron:
Improved detection of overrepresentation of Gene-Ontology annotations with parent-child analysis.
Bioinformatics 23(22): 3024-3031 (2007) |
| 5 | | Sebastian Bauer:
Axiomatizing the Monodic Fragment of QCTL.
J. Log. Comput. 17(1): 7-30 (2007) |
| 2006 |
|---|
| 4 | | Steffen Grossmann,
Sebastian Bauer,
Peter N. Robinson,
Martin Vingron:
An Improved Statistic for Detecting Over-Represented Gene Ontology Annotations in Gene Sets.
RECOMB 2006: 85-98 |
| 2005 |
|---|
| 3 | | Dany Kemmler,
Panagiotis A. Adamidis,
Wenqing Wang,
Sebastian Bauer,
Olaf Kolditz:
Solving Coupled Geoscience Problems on High Performance Computing Platforms.
International Conference on Computational Science (2) 2005: 1064-1071 |
| 2004 |
|---|
| 2 | | Sebastian Bauer,
Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
On Non-local Propositional and Weak Monodic Quantified CTL.
J. Log. Comput. 14(1): 3-22 (2004) |
| 2002 |
|---|
| 1 | | Sebastian Bauer,
Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
On Non-Local Propositional and Local One-Variable Quantified CTL*.
TIME 2002: 2-9 |
