Search the dblp DataBase
Wolfram Menzel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Sanjay Jain, Wolfram Menzel, Frank Stephan
Classes with Easily Learnable Subclasses. [Citation Graph (0, 0)][DBLP]
ALT, 2002, pp:218-232 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
FASE, 2002, pp:327-330 [Conf] - Thomas Ragg, Martin Granzow, Wolfram Menzel, Werner Dubitzky
Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments. [Citation Graph (0, 0)][DBLP]
IC-AI, 2003, pp:335-341 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
JELIA, 2000, pp:21-36 [Conf] - Hermann Hild, Johannes Feulner, Wolfram Menzel
HARMONET: A Neural Net for Harmonizing Chorales in the Style of J. S. Bach. [Citation Graph (0, 0)][DBLP]
NIPS, 1991, pp:267-274 [Conf] - Sanjay Jain, Wolfram Menzel, Frank Stephan
Classes with easily learnable subclasses. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2004, v:190, n:1, pp:81-99 [Journal] - Thomas Ragg, Wolfram Menzel, Walter Baum, Michael Wigbers
Bayesian learning for sales rate prediction for thousands of retailers. [Citation Graph (0, 0)][DBLP]
Neurocomputing, 2002, v:43, n:1-4, pp:127-144 [Journal] - Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
J.UCS Special Issue on Integration of Deduction Systems. [Citation Graph (0, 0)][DBLP]
J. UCS, 1999, v:5, n:3, pp:- [Journal] - Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
Integrierter Deduktiver Software-Entwurf. [Citation Graph (0, 0)][DBLP]
KI, 1998, v:12, n:4, pp:40-41 [Journal] - Wolfram Menzel, Frank Stephan
Topological aspects of numberings. [Citation Graph (0, 0)][DBLP]
Math. Log. Q., 2003, v:49, n:2, pp:129-149 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002