Wolfram Büttner

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