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

Klaus Becker Vis

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

*2009
11EEInge 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
9EEKlaus 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
7EEKlaus 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
3EEJürgen Avenhaus, Klaus Becker: Operational Specifications with Built-Ins. STACS 1994: 263-274
1993
2EEKlaus 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

Coauthor Index

1Frank Arnold [5]
2Hermann Atz [11]
3Petra Aumann [6] [10]
4Jürgen Avenhaus [3] [8]
5H. Barnewitz [10]
6Hans Bleecke [6]
7Markus Canazei [11]
8Marius Cotescu [11]
9Bernhard Eisfeld [6]
10M. Franke [10]
11M. Galle [10]
12Inge Gavat [11]
13Thomas Gerhold [10]
14Ovidiu Grigore [11]
15Ralf Heinrich [10]
16Holger Holthoff [6]
17Lajos Izsó [11]
18Guido Kempter [11]
19Norbert Kroll [6] [10]
20Herbert Plischke [11]
21Wilfried Pohl [11]
22Stefan Rill [5]
23Hubert Ritzdorf [6]
24Britta Roll [10]
25Wolfgang Rönsch [6]
26Anton Schüller [6]
27Dieter Schwamborn [10]
28H. Schwarten [10]
29Gerd Stumme [9]
30Rudolf Wille [9]
31Uta Wille [7] [9]
32Claus-Peter Wirth [4]
33Monika Zickwolff [9]

Colors in the list of coauthors

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