| 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 |
