| 2001 |
|---|
| 10 | | Petra Aumann,
H. Barnewitz,
H. Schwarten,
Klaus Becker,
Ralf Heinrich,
Britta Roll,
M. Galle,
Norbert Kroll,
Thomas Gerhold,
Dieter Schwamborn,
M. Franke:
MEGAFLOW: Parallel complete aircraft CFD.
Parallel Computing 27(4): 415-440 (2001) |
| 2000 |
|---|
| 9 | EE | Klaus Becker,
Gerd Stumme,
Rudolf Wille,
Uta Wille,
Monika Zickwolff:
Conceptual Information Systems Discussed through in IT-Security Tool.
EKAW 2000: 352-365 |
| 1999 |
|---|
| 8 | | Jürgen Avenhaus,
Klaus Becker:
A Framework for Operational Equational Specifications with Pre-defined Structures.
J. Symb. Comput. 27(3): 271-310 (1999) |
| 1998 |
|---|
| 7 | EE | Klaus Becker,
Uta Wille:
Communication Complexity of Group Key Distribution.
ACM Conference on Computer and Communications Security 1998: 1-6 |
| 1996 |
|---|
| 6 | | Holger Holthoff,
Wolfgang Rönsch,
Hans Bleecke,
Bernhard Eisfeld,
Norbert Kroll,
Hubert Ritzdorf,
Anton Schüller,
Petra Aumann,
Klaus Becker:
Parallelization of Large Scale Industrial Aerodynamic Applications on the IBM RS/6000 SP.
HPCN Europe 1996: 901-904 |
| 1995 |
|---|
| 5 | | Frank Arnold,
Stefan Rill,
Klaus Becker:
Effiziente Flugzeug-Vorentwicklung durch multimediale Kooperation und Supercomputing auf Hochgeschwindigkeits-Datennetzen.
GI Jahrestagung 1995: 642-650 |
| 1994 |
|---|
| 4 | | Claus-Peter Wirth,
Klaus Becker:
Abstract Notions and Inference Systems for Proofs by Mathematical Induction.
CTRS 1994: 353-373 |
| 3 | | Jürgen Avenhaus,
Klaus Becker:
Operational Specifications with Built-Ins.
STACS 1994: 263-274 |
| 1993 |
|---|
| 2 | | Klaus Becker:
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.
TAPSOFT 1993: 46-60 |
| 1992 |
|---|
| 1 | | Klaus Becker:
Semantics for Positive/Negative Conditional Rewrite Systems.
CTRS 1992: 213-225 |
