Wolfram Büttner

Publication Activity (10 Years)

Years Active: 1984-2008
Publications (10 Years): 0

Publications

Wolfram Büttner
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. ABZ (2008)
Wolfram Büttner
Is Formal Verification Bound to Remain a Junior Partner of Simulation? CHARME (2005)
Wolfram Büttner
Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme. Informationstechnik Tech. Inform. 39 (3) (1997)
Wolfram Büttner
Informationen zum Thema Neuronale Netze. it Inf. Technol. 33 (6) (1991)
Wolfram Büttner
Editorial: Neuronale Netze - einfaches Prinzip mit hohem Anspruch. it Inf. Technol. 33 (6) (1991)
Wolfram Büttner, Klaus Estenfeld, Hans Haugeneder, Peter Struss
Directions in AI Research and Applications at Siemens Corporate Research and Development. AI Mag. 11 (1) (1990)
Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén
Symbolic Constraint Handling Through Unification in Finite Algebras. Appl. Algebra Eng. Commun. Comput. 1 (1990)
Wolfram Büttner
Neuronale Netze - Soft - und Hardwarelösungen hochdimensionaler Approximationsprobleme. ARCS (1990)
Wolfram Büttner, Ferdinand Hergert, Bernd Schürmann, Hans-Georg Zimmermann
Grundlagenforschung und Softwareentwicklung im Siemensprojekt "Neurodemonstrator". Wissensbasierte Systeme (1989)
Franz Baader, Wolfram Büttner
Unification in Commutative Idempotent Monoids. Theor. Comput. Sci. 56 (1988)
Wolfram Büttner
Unification in Finite Algebras is Unitary (?). CADE (1988)
Wolfram Büttner, Helmut Simonis
Embedding Boolean Expressions into Logic Programming. J. Symb. Comput. 4 (2) (1987)
Wolfram Büttner
Unification in Datastructure Multisets. J. Autom. Reason. 2 (1) (1986)
Wolfram Büttner
Unification in the Data Structure Sets. CADE (1986)
Wolfram Büttner
On 4-Dimensional Translation Planes Admitting a Suzuki Group as Group of Automorphisms. J. Comb. Theory, Ser. A 37 (1) (1984)