Wolfram Büttner

According to our database, Wolfram Büttner authored at least 15 papers between 1984 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.

Wolfram Büttner

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2005

Is Formal Verification Bound to Remain a Junior Partner of Simulation?

Wolfram Büttner

Proceedings of the Correct Hardware Design and Verification Methods, 2005

1997

Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme.

Wolfram Büttner

Informationstechnik Tech. Inform., 1997

1991

Informationen zum Thema Neuronale Netze.

Wolfram Büttner

it Inf. Technol., 1991

Editorial: Neuronale Netze - einfaches Prinzip mit hohem Anspruch.

Wolfram Büttner

it Inf. Technol., 1991

1990

Directions in AI Research and Applications at Siemens Corporate Research and Development.

Wolfram Büttner, Klaus Estenfeld, Hans Haugeneder, Peter Struss

AI Mag., 1990

Symbolic Constraint Handling Through Unification in Finite Algebras.

Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén

Appl. Algebra Eng. Commun. Comput., 1990

Neuronale Netze - Soft - und Hardwarelösungen hochdimensionaler Approximationsprobleme.

Wolfram Büttner

Proceedings of the Architektur von Rechensystemen, 1990

1989

Grundlagenforschung und Softwareentwicklung im Siemensprojekt "Neurodemonstrator".

Wolfram Büttner, Ferdinand Hergert, Bernd Schürmann, Hans-Georg Zimmermann

Proceedings of the Wissensbasierte Systeme, 1989

1988

Unification in Commutative Idempotent Monoids.

Franz Baader, Wolfram Büttner

Theor. Comput. Sci., 1988

Unification in Finite Algebras is Unitary (?).

Wolfram Büttner

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Embedding Boolean Expressions into Logic Programming.

Wolfram Büttner, Helmut Simonis

J. Symb. Comput., 1987

1986

Unification in Datastructure Multisets.

Wolfram Büttner

J. Autom. Reason., 1986

Unification in the Data Structure Sets.

Wolfram Büttner

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1984

On 4-Dimensional Translation Planes Admitting a Suzuki Group as Group of Automorphisms.

Wolfram Büttner

J. Comb. Theory, Ser. A, 1984