Manfred Widera

2006
13		Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29
12	EE	Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment 2006: 316-321
11		Manfred Widera: Adapting Structural Testing to Functional Programming. Software Engineering Research and Practice 2006: 86-92
2005
10		Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera: Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI 2005: 523-524
2004
9	EE	Manfred Widera: Flow graphs for testing sequential Erlang programs. Erlang Workshop 2004: 48-53
8	EE	Christoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308
2003
7		Christoph Beierle, Marjaa Kulaa, Manfred Widera: Automatic Analysis of Programming Assignments. DeLFI 2003: 144-153
6		Manfred Widera: Testing Scheme programming assignments automatically. Trends in Functional Programming 2003: 95-110
2001
5		Manfred Widera, Christoph Beierle: Function Types in Complete Type Inference. Scottish Functional Programming Workshop 2001: 111-122
2000
4		Manfred Widera, Christoph Beierle: Detecting common elements of types. Scottish Functional Programming Workshop 2000: 173-184
1999
3		Manfred Widera, Christoph Beierle: Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung 1999: 350-359
2		Manfred Widera, Christoph Beierle: How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop 1999: 68-78
1997
1		Georg Schmitt, Hartmut Noltemeier, Manfred Widera: Inkrementelle temporale Constraintpropagierung. KI 11(1): 7-13 (1997)

Coauthor Index

1	Christoph Beierle	[2] [3] [4] [5] [7] [8] [10] [12] [13]
2	Malte Isberner	[10] [12] [13]
3	Gabriele Kern-Isberner	[10] [12] [13]
4	Marjaa Kulaa	[7]
5	Marija Kulas	[8]
6	Barbara Messing	[10] [12] [13]
7	Hartmut Noltemeier	[1]
8	Georg Schmitt	[1]

Colors in the list of coauthors