 | 2008 |
|---|
| 12 |       | Wolfram Büttner:
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.
ABZ 2008: 1-3 |
| 2005 |
|---|
| 11 | | Wolfram Büttner:
Is Formal Verification Bound to Remain a Junior Partner of Simulation?
CHARME 2005: 1 |
| 1990 |
|---|
| 10 |  | Wolfram Büttner:
Neuronale Netze - Soft - und Hardwarelösungen hochdimensionaler Approximationsprobleme.
ARCS 1990: 1-8 |
| 9 | | Wolfram Büttner,
Klaus Estenfeld,
Hans Haugeneder,
Peter Struss:
Directions in AI Research and Applications at Siemens Corporate Research and Development.
AI Magazine 11(1): 20-27 (1990) |
| 8 | | 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: 97-118 (1990) |
| 1989 |
|---|
| 7 | | Wolfram Büttner,
Ferdinand Hergert,
Bernd Schürmann,
Hans-Georg Zimmermann:
Grundlagenforschung und Softwareentwicklung im Siemensprojekt ``Neurodemonstrator''.
Wissensbasierte Systeme 1989: 209-226 |
| 1988 |
|---|
| 6 | | Wolfram Büttner:
Unification in Finite Algebras is Unitary (?).
CADE 1988: 368-377 |
| 5 | | Franz Baader,
Wolfram Büttner:
Unification in Commutative Idempotent Monoids.
Theor. Comput. Sci. 56: 345-353 (1988) |
| 1987 |
|---|
| 4 | | Wolfram Büttner,
Helmut Simonis:
Embedding Boolean Expressions into Logic Programming.
J. Symb. Comput. 4(2): 191-205 (1987) |
| 1986 |
|---|
| 3 | | Wolfram Büttner:
Unification in the Data Structure Sets.
CADE 1986: 470-488 |
| 2 | | Wolfram Büttner:
Unification in Datastructure Multisets.
J. Autom. Reasoning 2(1): 75-88 (1986) |
| 1984 |
|---|
| 1 | | Wolfram Büttner:
On 4-Dimensional Translation Planes Admitting a Suzuki Group as Group of Automorphisms.
J. Comb. Theory, Ser. A 37(1): 76-79 (1984) |
