The SCEAS System
Navigation Menu

Search the dblp DataBase


Manfred Widera: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002