dblp.uni-trier.dewww.uni-trier.de

Wolfram Büttner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
12EEWolfram Büttner: Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. ABZ 2008: 1-3
2005
11EEWolfram 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
6EEWolfram 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
3EEWolfram 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)

Coauthor Index

1Franz Baader [5]
2Klaus Estenfeld [8] [9]
3Hans Haugeneder [9]
4Ferdinand Hergert [7]
5Richard Schmid [8]
6Hans-Albert Schneider [8]
7Bernd Schürmann [7]
8Helmut Simonis [4]
9Peter Struss [9]
10Erik Tidén [8]
11Hans-Georg Zimmermann [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)