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 |