dblp.uni-trier.dewww.uni-trier.de

Wolfram Menzel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
11EEWolfgang 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
10EESanjay 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
8EEWolfram Menzel, Frank Stephan: Topological aspects of numberings. Math. Log. Q. 49(2): 129-149 (2003)
2002
7EESanjay Jain, Wolfram Menzel, Frank Stephan: Classes with Easily Learnable Subclasses. ALT 2002: 218-232
6EEWolfgang 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
5EEThomas 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
4EEWolfgang 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
3EEReiner 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
1EEHermann 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

1Wolfgang Ahrendt [4] [6] [11]
2Thomas Baar [4] [6] [11]
3Walter Baum [5]
4Bernhard Beckert [4] [6] [11]
5Richard Bubel [11]
6Werner Dubitzky [9]
7Johannes Feulner [1]
8Martin Giese [4] [6] [11]
9Martin Granzow [9]
10Elmar Habermalz [4] [6]
11Reiner Hähnle [2] [3] [4] [6] [11]
12Hermann Hild [1]
13Sanjay Jain [7] [10]
14Wojciech Mostowski [6] [11]
15Thomas Ragg [5] [9]
16Wolfgang Reif [3]
17Andreas Roth [11]
18Steffen Schlager [11]
19Peter H. Schmitt [2] [3] [4] [6] [11]
20Frank Stephan [7] [8] [10]
21Michael Wigbers [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)