| 2009 | ||
|---|---|---|
| 25 | Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009 | |
| 24 | Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835 | |
| 23 | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66 | |
| 22 | Pawel Durek, Christian Schudoma, Wolfram Weckwerth, Joachim Selbig, Dirk Walther: Detection and characterization of 3D-signature phosphorylation site motifs and their contribution towards improved phosphorylation site prediction in proteins. BMC Bioinformatics 10: (2009) | |
| 2008 | ||
| 21 | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008 | |
| 20 | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59 | |
| 19 | Boris Konev, Dirk Walther, Frank Wolter: The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274 | |
| 18 | Joshua L. Heazlewood, Pawel Durek, Jan Hummel, Joachim Selbig, Wolfram Weckwerth, Dirk Walther, Waltraud X. Schulze: PhosPhAt: a database of phosphorylation sites in Arabidopsis thaliana and a plant-specific phosphorylation site predictor. Nucleic Acids Research 36(Database-Issue): 1015-1021 (2008) | |
| 2007 | ||
| 17 | Claudia Falter, Alexander Schliep, Joachim Selbig, Martin Vingron, Dirk Walther: Proceedings of the German Conference on Bioinformatics, GCB 2007, September 26-28, 2007, Potsdam, Germany. GI 2007 | |
| 16 | Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458 | |
| 15 | Dirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278 | |
| 14 | Jan Hummel, Michaela Niemann, Stefanie Wienkoop, Waltraud X. Schulze, Dirk Steinhauser, Joachim Selbig, Dirk Walther, Wolfram Weckwerth: ProMEX: a mass spectral reference database for proteins and protein phosphorylation sites. BMC Bioinformatics 8: (2007) | |
| 13 | Wolfram Stacklies, Henning Redestig, Matthias Scholz, Dirk Walther, Joachim Selbig: pcaMethods - a bioconductor package providing PCA methods for incomplete data. Bioinformatics 23(9): 1164-1167 (2007) | |
| 12 | Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007) | |
| 2006 | ||
| 11 | Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006) | |
| 10 | Dirk Walther, Christof Koch: Modeling attention to salient proto-objects. Neural Networks 19(9): 1395-1407 (2006) | |
| 2005 | ||
| 9 | Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146 | |
| 8 | Dirk Walther, Ueli Rutishauser, Christof Koch, Pietro Perona: Selective visual attention enables learning and recognition of multiple objects in cluttered scenes. Computer Vision and Image Understanding 100(1-2): 41-63 (2005) | |
| 7 | Carsten Lutz, Dirk Walther: PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15(2): 189-213 (2005) | |
| 2004 | ||
| 6 | Dirk Walther, Duane R. Edgington, Christof Koch: Detection and Tracking of Objects in Underwater Video. CVPR (1) 2004: 544-549 | |
| 5 | Ueli Rutishauser, Dirk Walther, Christof Koch, Pietro Perona: Is Bottom-Up Attention Useful for Object Recognition? CVPR (2) 2004: 37-44 | |
| 4 | Carsten Lutz, Dirk Walther: PDL with Negation of Atomic Programs. IJCAR 2004: 259-273 | |
| 2003 | ||
| 3 | Razif R. Gabdoulline, Rebecca C. Wade, Dirk Walther: MolSurfer: a macromolecular interface navigator. Nucleic Acids Research 31(13): 3349-3351 (2003) | |
| 2002 | ||
| 2 | Dirk Walther, Laurent Itti, Maximilian Riesenhuber, Tomaso Poggio, Christof Koch: Attentional Selection for Object Recognition A Gentle Way. Biologically Motivated Computer Vision 2002: 472-479 | |
| 1 | Daesu Chung, Reid Hirata, T. Nathan Mundhenk, Jen Ng, Robert J. Peters, Eric Pichon, April Tsui, Tong Ventrice, Dirk Walther, Philip Williams, Laurent Itti: A New Robotics Platform for Neuromorphic Vision: Beobots. Biologically Motivated Computer Vision 2002: 558-566 | |