Wolfram Menzel

11 papers B 3Misc 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2005 J jnl
The KeY tool.
Softw. Syst. Model.
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2004 J jnl
Classes with easily learnable subclasses.
Inf. Comput.
Sanjay Jain, Wolfram Menzel, Frank Stephan
2003 Misc conf
Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments.
IC-AI
Thomas Ragg, Martin Granzow, Wolfram Menzel, Werner Dubitzky
2003 J jnl
Topological aspects of numberings.
Math. Log. Q.
Wolfram Menzel, Frank Stephan
2002 J jnl
Bayesian learning for sales rate prediction for thousands of retailers.
Neurocomputing
Thomas Ragg, Wolfram Menzel, Walter Baum, Michael Wigbers
2002 B conf
Classes with Easily Learnable Subclasses.
ALT
Sanjay Jain, Wolfram Menzel, Frank Stephan
2002 B conf
The KeY System: Integrating Object-Oriented Design and Formal Methods.
FASE
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
2000 B conf
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
JELIA
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1999 J jnl
J.UCS Special Issue on Integration of Deduction Systems.
J. Univers. Comput. Sci.
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
1998 J jnl
Integrierter Deduktiver Software-Entwurf.
Künstliche Intell.
Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1991 — conf
HARMONET: A Neural Net for Harmonizing Chorales in the Style of J. S. Bach.
NIPS
Hermann Hild, Johannes Feulner, Wolfram Menzel