Klaus Becker

	2012
14		Klaus Becker, Marc Zeller, Gereon Weiss: Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems. PECCS 2012: 440-449
	2011
13		Gereon Weiss, Klaus Becker, Benjamin Kamphausen, Ansgar Radermacher, Sebastien Gerard: Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded Systems. EUROMICRO-SEAA 2011: 477-484
	2009
12		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
11		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
10		Klaus Becker, Gerd Stumme, Rudolf Wille, Uta Wille, Monika Zickwolff: Conceptual Information Systems Discussed through in IT-Security Tool. EKAW 2000: 352-365
	1999
9		Jürgen Avenhaus, Klaus Becker: A Framework for Operational Equational Specifications with Pre-defined Structures. J. Symb. Comput. 27(3): 271-310 (1999)
	1998
8		Klaus Becker, Uta Wille: Communication Complexity of Group Key Distribution. ACM Conference on Computer and Communications Security 1998: 1-6
	1996
7		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
6		Frank Arnold, Stefan Rill, Klaus Becker: Effiziente Flugzeug-Vorentwicklung durch multimediale Kooperation und Supercomputing auf Hochgeschwindigkeits-Datennetzen. GI Jahrestagung 1995: 642-650
	1994
5		Claus-Peter Wirth, Klaus Becker: Abstract Notions and Inference Systems for Proofs by Mathematical Induction. CTRS 1994: 353-373
4		Jürgen Avenhaus, Klaus Becker: Operational Specifications with Built-Ins. STACS 1994: 263-274
3		Klaus Becker: Rewrite operationalization of clausal specifications with predefined structures. Universität Kaiserslautern 1994: I-V, 1-247
	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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page