2008 |
9 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sebastian Bauer:
Axiomatizing the Monodic Fragment of QCTL.
J. Log. Comput. 17(1): 7-30 (2007) |
2006 |
4 | EE | 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 | EE | 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 | EE | 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 | EE | Sebastian Bauer,
Ian M. Hodkinson,
Frank Wolter,
Michael Zakharyaschev:
On Non-Local Propositional and Local One-Variable Quantified CTL*.
TIME 2002: 2-9 |