Dirk Walther Vis

*	2009
25	EE	Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009
24	EE	Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835
23	EE	Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66
22	EE	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	EE	Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008
20	EE	Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59
19	EE	Boris Konev, Dirk Walther, Frank Wolter: The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274
18	EE	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	EE	Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458
15	EE	Dirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278
14	EE	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	EE	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	EE	Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)
	2006
11	EE	Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
10	EE	Dirk Walther, Christof Koch: Modeling attention to salient proto-objects. Neural Networks 19(9): 1395-1407 (2006)
	2005
9	EE	Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146
8	EE	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	EE	Dirk Walther, Duane R. Edgington, Christof Koch: Detection and Tracking of Objects in Underwater Video. CVPR (1) 2004: 544-549
5	EE	Ueli Rutishauser, Dirk Walther, Christof Koch, Pietro Perona: Is Bottom-Up Attention Useful for Object Recognition? CVPR (2) 2004: 37-44
4	EE	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	EE	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	EE	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

Coauthor Index

1	Daesu Chung	[1]
2	Pawel Durek	[18] [22]
3	Duane R. Edgington	[6]
4	Claudia Falter	[17]
5	Razif R. Gabdoulline	[3]
6	Joshua L. Heazlewood	[18]
7	Reid Hirata	[1]
8	Wiebe van der Hoek	[15]
9	Jan Hummel	[14] [18]
10	Laurent Itti	[1] [2]
11	Christof Koch	[2] [5] [6] [8] [10]
12	Boris Konev	[19] [20] [21] [23] [24] [25]
13	Carsten Lutz	[4] [7] [9] [11] [12] [16] [20] [21] [23]
14	T. Nathan Mundhenk	[1]
15	Jen Ng	[1]
16	Michaela Niemann	[14]
17	Pietro Perona	[5] [8]
18	Robert J. Peters	[1]
19	Eric Pichon	[1]
20	Tomaso Poggio	[2]
21	Henning Redestig	[13]
22	Maximilian Riesenhuber	[2]
23	Ueli Rutishauser	[5] [8]
24	Alexander Schliep	[17]
25	Matthias Scholz	[13]
26	Christian Schudoma	[22]
27	Waltraud X. Schulze	[14] [18]
28	Joachim Selbig	[13] [14] [17] [18] [22]
29	Wolfram Stacklies	[13]
30	Dirk Steinhauser	[14]
31	April Tsui	[1]
32	Tong Ventrice	[1]
33	Martin Vingron	[17]
34	Rebecca C. Wade	[3]
35	Wolfram Weckwerth	[14] [18] [22]
36	Stefanie Wienkoop	[14]
37	Philip Williams	[1]
38	Frank Wolter	[9] [11] [12] [16] [19] [20] [21] [23] [24] [25]
39	Michael Wooldridge (Michael J. Wooldridge)	[11] [15]

Colors in the list of coauthors