Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wolfram Menzel
2000 – 2009
- 2005
[j6]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
- [j5]Sanjay Jain, Wolfram Menzel, Frank Stephan: Classes with easily learnable subclasses. Inf. Comput. 190(1): 81-99 (2004)
- 2003
- [j4]Wolfram Menzel, Frank Stephan: Topological aspects of numberings. Math. Log. Q. 49(2): 129-149 (2003)
- [c5]Thomas Ragg, Martin Granzow, Wolfram Menzel, Werner Dubitzky: Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments. IC-AI 2003: 335-341
- 2002
- [j3]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)
- [c4]Sanjay Jain, Wolfram Menzel, Frank Stephan: Classes with Easily Learnable Subclasses. ALT 2002: 218-232
- [c3]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
- 2000
- [c2]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
1990 – 1999
- 1999
- [j2]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
- [j1]Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)
- 1991
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:42 CET by the dblp team