HARMONET: A Neural Net for Harmonizing Chorales in the Style of J. S. Bach. - Hermann Hild; Johannes Feulner; Wolfram Menzel (NIPS, 1991)

Integrierter Deduktiver Software-Entwurf. - Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt (Künstliche Intell., 1998)

J.UCS Special Issue on Integration of Deduction Systems. - Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt; Wolfgang Reif (J. Univers. Comput. Sci., 1999)

The KeY Approach: Integrating Object Oriented Design and Formal Verification. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt (JELIA, 2000)

The KeY System: Integrating Object-Oriented Design and Formal Methods. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Peter H. Schmitt (FASE, 2002)

Bayesian learning for sales rate prediction for thousands of retailers. - Thomas Ragg; Wolfram Menzel; Walter Baum; Michael Wigbers (Neurocomputing, 2002)

Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments. - Thomas Ragg; Martin Granzow; Wolfram Menzel; Werner Dubitzky (IC-AI, 2003)

Topological aspects of numberings. - Wolfram Menzel; Frank Stephan 001 (Math. Log. Q., 2003)

Classes with easily learnable subclasses. - Sanjay Jain 001; Wolfram Menzel; Frank Stephan 001 (Inf. Comput., 2004)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)