Manfred Widera

15 papers Journal 2Unranked 12

Year	Rank	Type	Title / Venue / Authors
2006	—	`conf`	Adapting Structural Testing to Functional Programming. Software Engineering Research and Practice Manfred Widera
2006	—	`conf`	An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	—	`conf`	Computer Science Exercises in a Virtual University. CSREA EEE Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
2006	J	`jnl`	Strukturorientiertes Testen funktionaler Programme. Softwaretechnik-Trends Manfred Widera
2005	—	`conf`	Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera
2004	—	`conf`	A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP Christoph Beierle, Marija Kulas, Manfred Widera
2004	—	`conf`	Flow graphs for testing sequential Erlang programs. Erlang Workshop Manfred Widera
2003	—	`conf`	Automatic Analysis of Programming Assignments. DeLFI Christoph Beierle, Marjaa Kulaa, Manfred Widera
2003	—	`conf`	Testing Scheme programming assignments automatically. Trends in Functional Programming Manfred Widera
2001	—	`—`	Complete type inference in functional programming. Manfred Widera
2001	—	`conf`	Function Types in Complete Type Inference. Scottish Functional Programming Workshop Manfred Widera, Christoph Beierle
2000	—	`conf`	Detecting common elements of types. Scottish Functional Programming Workshop Manfred Widera, Christoph Beierle
1999	—	`conf`	Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung Manfred Widera, Christoph Beierle
1999	—	`conf`	How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop Manfred Widera, Christoph Beierle
1997	J	`jnl`	Inkrementelle temporale Constraintpropagierung. Künstliche Intell. Georg Schmitt, Hartmut Noltemeier, Manfred Widera