Wolfram Menzel

Publication Activity (10 Years)

Years Active: 1991-2005
Publications (10 Years): 0

Publications

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. Softw. Syst. Model. 4 (1) (2005)
Sanjay Jain, Wolfram Menzel, Frank Stephan
Classes with easily learnable subclasses. Inf. Comput. 190 (1) (2004)
Wolfram Menzel, Frank Stephan
Topological aspects of numberings. Math. Log. Q. 49 (2) (2003)
Thomas Ragg, Martin Granzow, Wolfram Menzel, Werner Dubitzky
Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments. IC-AI (2003)
Sanjay Jain, Wolfram Menzel, Frank Stephan
Classes with Easily Learnable Subclasses. ALT (2002)
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)
Thomas Ragg, Wolfram Menzel, Walter Baum, Michael Wigbers
Bayesian learning for sales rate prediction for thousands of retailers. Neurocomputing 43 (1-4) (2002)
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)
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
J.UCS Special Issue on Integration of Deduction Systems. J. Univers. Comput. Sci. 5 (3) (1999)
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
Integrierter Deduktiver Software-Entwurf. Künstliche Intell. 12 (4) (1998)
Hermann Hild, Johannes Feulner, Wolfram Menzel
HARMONET: A Neural Net for Harmonizing Chorales in the Style of J. S. Bach. NIPS (1991)