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) |