Klaus Becker - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Lighting as Support for Enhancing Well-Being, Health and Mental Fitness of an Ageing Population - The FP6 EU Funded ALADIN ProjectInge Gavat, Ovidiu Grigore, Marius Cotescu, Markus Canazei, Hermann Atz, Klaus Becker, Lajos IzsÃ³, Guido Kempter, Herbert Plischke, Wilfried Pohl. hci 2009: 231-240 [doi]

2001

MEGAFLOW: Parallel complete aircraft CFDPetra Aumann, H. Barnewitz, H. Schwarten, Klaus Becker, Ralf Heinrich, Britta Roll, M. Galle, Norbert Kroll, Thomas Gerhold, Dieter Schwamborn, M. Franke. pc, 27(4):415-440, 2001.

2000

Conceptual Information Systems Discussed through in IT-Security ToolKlaus Becker, Gerd Stumme, Rudolf Wille, Uta Wille, Monika Zickwolff. ekaw 2000: 352-365 [doi]

1999

A Framework for Operational Equational Specifications with Pre-defined StructuresJürgen Avenhaus, Klaus Becker. JSC, 27(3):271-310, 1999.

1998

Communication Complexity of Group Key DistributionKlaus Becker, Uta Wille. ccs 1998: 1-6 [doi]

1996

Parallelization of Large Scale Industrial Aerodynamic Applications on the IBM RS/6000 SPHolger Holthoff, Wolfgang Rönsch, Hans Bleecke, Bernhard Eisfeld, Norbert Kroll, Hubert Ritzdorf, Anton Schüller, Petra Aumann, Klaus Becker. hpcn 1996: 901-904

1995

Effiziente Flugzeug-Vorentwicklung durch multimediale Kooperation und Supercomputing auf Hochgeschwindigkeits-DatennetzenFrank Arnold, Stefan Rill, Klaus Becker. gi 1995: 642-650

1994

Operational Specifications with Built-InsJürgen Avenhaus, Klaus Becker. STACS 1994: 263-274

Rewrite operationalization of clausal specifications with predefined structuresKlaus Becker. PhD thesis, Universität Kaiserslautern, 1994.

Abstract Notions and Inference Systems for Proofs by Mathematical InductionClaus-Peter Wirth, Klaus Becker. ctrs 1995: 353-373

1993

Proving Ground Confluence and Inductive Validity in Constructor Based Equational SpecificationsKlaus Becker. tapsoft 1993: 46-60

1992

Semantics for Positive/Negative Conditional Rewrite SystemsKlaus Becker. ctrs 1993: 213-225