On 4-Dimensional Translation Planes Admitting a Suzuki Group as Group of Automorphisms. - Wolfram Büttner (J. Comb. Theory A, 1984)

Unification in the Data Structure Sets. - Wolfram Büttner (CADE, 1986)

Unification in Datastructure Multisets. - Wolfram Büttner (J. Autom. Reason., 1986)

Embedding Boolean Expressions into Logic Programming. - Wolfram Büttner; Helmut Simonis (J. Symb. Comput., 1987)

Unification in Finite Algebras is Unitary (?). - Wolfram Büttner (CADE, 1988)

Unification in Commutative Idempotent Monoids. - Franz Baader; Wolfram Büttner (Theor. Comput. Sci., 1988)

Grundlagenforschung und Softwareentwicklung im Siemensprojekt "Neurodemonstrator". - Wolfram Büttner; Ferdinand Hergert; Bernd Schürmann; Hans-Georg Zimmermann (Wissensbasierte Systeme, 1989)

Neuronale Netze - Soft - und Hardwarelösungen hochdimensionaler Approximationsprobleme. - Wolfram Büttner (ARCS, 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)

Directions in AI Research and Applications at Siemens Corporate Research and Development. - Wolfram Büttner; Klaus Estenfeld; Hans Haugeneder; Peter Struss (AI Mag., 1990)

Editorial: Neuronale Netze - einfaches Prinzip mit hohem Anspruch. - Wolfram Büttner (it Inf. Technol., 1991)

Informationen zum Thema Neuronale Netze. - Wolfram Büttner (it Inf. Technol., 1991)

Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme. - Wolfram Büttner (Informationstechnik Tech. Inform., 1997)

Is Formal Verification Bound to Remain a Junior Partner of Simulation? - Wolfram Büttner (CHARME, 2005)

Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. - Wolfram Büttner (ABZ, 2008)