Wolfram Menzel

2005
11	EE	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt: The KeY tool. Software and System Modeling 4(1): 32-54 (2005)
2004
10	EE	Sanjay Jain, Wolfram Menzel, Frank Stephan: Classes with easily learnable subclasses. Inf. Comput. 190(1): 81-99 (2004)
2003
9		Thomas Ragg, Martin Granzow, Wolfram Menzel, Werner Dubitzky: Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments. IC-AI 2003: 335-341
8	EE	Wolfram Menzel, Frank Stephan: Topological aspects of numberings. Math. Log. Q. 49(2): 129-149 (2003)
2002
7	EE	Sanjay Jain, Wolfram Menzel, Frank Stephan: Classes with Easily Learnable Subclasses. ALT 2002: 218-232
6	EE	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt: The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330
5	EE	Thomas Ragg, Wolfram Menzel, Walter Baum, Michael Wigbers: Bayesian learning for sales rate prediction for thousands of retailers. Neurocomputing 43(1-4): 127-144 (2002)
2000
4	EE	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
1999
3	EE	Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3): (1999)
1998
2		Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)
1991
1	EE	Hermann Hild, Johannes Feulner, Wolfram Menzel: HARMONET: A Neural Net for Harmonizing Chorales in the Style of J. S. Bach. NIPS 1991: 267-274

Coauthor Index

1	Wolfgang Ahrendt	[4] [6] [11]
2	Thomas Baar	[4] [6] [11]
3	Walter Baum	[5]
4	Bernhard Beckert	[4] [6] [11]
5	Richard Bubel	[11]
6	Werner Dubitzky	[9]
7	Johannes Feulner	[1]
8	Martin Giese	[4] [6] [11]
9	Martin Granzow	[9]
10	Elmar Habermalz	[4] [6]
11	Reiner Hähnle	[2] [3] [4] [6] [11]
12	Hermann Hild	[1]
13	Sanjay Jain	[7] [10]
14	Wojciech Mostowski	[6] [11]
15	Thomas Ragg	[5] [9]
16	Wolfgang Reif	[3]
17	Andreas Roth	[11]
18	Steffen Schlager	[11]
19	Peter H. Schmitt	[2] [3] [4] [6] [11]
20	Frank Stephan	[7] [8] [10]
21	Michael Wigbers	[5]

Colors in the list of coauthors