Manfred Widera

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
Computer Science Exercises in a Virtual University. CSREA EEE (2006)
Manfred Widera
Adapting Structural Testing to Functional Programming. Software Engineering Research and Practice (2006)
Manfred Widera
Strukturorientiertes Testen funktionaler Programme. Softwaretechnik-Trends 26 (2) (2006)
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)
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)
Manfred Widera
Flow graphs for testing sequential Erlang programs. Erlang Workshop (2004)
Christoph Beierle, Marija Kulas, Manfred Widera
A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP (2004)
Christoph Beierle, Marjaa Kulaa, Manfred Widera
Automatic Analysis of Programming Assignments. DeLFI (2003)
Manfred Widera
Testing Scheme programming assignments automatically. Trends in Functional Programming (2003)
Manfred Widera, Christoph Beierle
Function Types in Complete Type Inference. Scottish Functional Programming Workshop (2001)
Manfred Widera, Christoph Beierle
Detecting common elements of types. Scottish Functional Programming Workshop (2000)
Manfred Widera, Christoph Beierle
Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung (1999)
Manfred Widera, Christoph Beierle
How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop (1999)
Georg Schmitt, Hartmut Noltemeier, Manfred Widera
Inkrementelle temporale Constraintpropagierung. Künstliche Intell. 11 (1) (1997)

Manfred Widera.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Manfred Widera