Inkrementelle temporale Constraintpropagierung. - Georg Schmitt; Hartmut Noltemeier; Manfred Widera (Künstliche Intell., 1997)

Combining Strict and Soft Typing in Functional Programming. - Manfred Widera; Christoph Beierle (GI Jahrestagung, 1999)

How to Combine the Benefits of Strict and Soft Typing. - Manfred Widera; Christoph Beierle (Scottish Functional Programming Workshop, 1999)

Detecting common elements of types. - Manfred Widera; Christoph Beierle (Scottish Functional Programming Workshop, 2000)

Function Types in Complete Type Inference. - Manfred Widera; Christoph Beierle (Scottish Functional Programming Workshop, 2001)

Complete type inference in functional programming. - Manfred Widera (Mensch-und-Buch-Verlag, 2001)

Automatic Analysis of Programming Assignments. - Christoph Beierle; Marjaa Kulaa; Manfred Widera (DeLFI, 2003)

Testing Scheme programming assignments automatically. - Manfred Widera (Trends in Functional Programming, 2003)

Flow graphs for testing sequential Erlang programs. - Manfred Widera (Erlang Workshop, 2004)

A Pragmatic Approach to Pre-testing Prolog Programs. - Christoph Beierle; Marija Kulas; Manfred Widera (INAP/WLP, 2004)

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. - Christoph Beierle; Malte Isberner; Gabriele Kern-Isberner; Barbara Messing; Manfred Widera (DeLFI, 2005)

Computer Science Exercises in a Virtual University. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (CSREA EEE, 2006)

An Extendable System for the Specification and Generation of Interactive Self-tests. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (Edutainment, 2006)

Adapting Structural Testing to Functional Programming. - Manfred Widera (Software Engineering Research and Practice, 2006)

Strukturorientiertes Testen funktionaler Programme. - Manfred Widera (Softwaretechnik-Trends, 2006)