Wolfram Menzel

Affiliations:

Karlsruhe Institute of Technology, Germany

According to our database¹, Wolfram Menzel authored at least 10 papers between 1991 and 2005.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2005

The KeY tool.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

2003

Topological aspects of numberings.

[BibT_eX]

[DOI]

Wolfram Menzel

Frank Stephan

Math. Log. Q., 2003

Filtering Nonlinear Intensity Dependencies in cDNA Microarray Experiments.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2003

2002

Bayesian learning for sales rate prediction for thousands of retailers.

[BibT_eX]

[DOI]

Neurocomputing, 2002

The KeY System: Integrating Object-Oriented Design and Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Classes with Easily Learnable Subclasses.

[BibT_eX]

[DOI]

Sanjay Jain

Wolfram Menzel

Frank Stephan

Proceedings of the Algorithmic Learning Theory, 13th International Conference, 2002

2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

J.UCS Special Issue on Integration of Deduction Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

1998

Integrierter Deduktiver Software-Entwurf.

[BibT_eX]

Reiner Hähnle

Wolfram Menzel

Peter H. Schmitt

Künstliche Intell., 1998

1991

HARMONET: A Neural Net for Harmonizing Chorales in the Style of J. S. Bach.

[BibT_eX]

[DOI]

Hermann Hild

Johannes Feulner

Wolfram Menzel

Proceedings of the Advances in Neural Information Processing Systems 4, 1991

Wolfram Menzel

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...