| 2009 |
11 | | Inge Gavat,
Ovidiu Grigore,
Marius Cotescu,
Markus Canazei,
Hermann Atz,
Klaus Becker,
Lajos Izsó,
Guido Kempter,
Herbert Plischke,
Wilfried Pohl:
Lighting as Support for Enhancing Well-Being, Health and Mental Fitness of an Ageing Population - The FP6 EU Funded ALADIN Project.
HCI (15) 2009: 231-240 |
| 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 | | 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 | | 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 |