| 2008 |
|---|
| 10 | EE | Emanuel Kitzelmann:
Data-driven Induction of Functional Programs.
ECAI 2008: 781-782 |
| 9 | EE | Martin Hofmann,
Emanuel Kitzelmann,
Ute Schmid:
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.
KI 2008: 78-86 |
| 8 | EE | Emanuel Kitzelmann:
Analytical Inductive Functional Programming.
LOPSTR 2008: 87-102 |
| 2007 |
|---|
| 7 | EE | Martin Hofmann,
Andreas Hirschberger,
Emanuel Kitzelmann,
Ute Schmid:
Inductive Synthesis of Recursive Functional Programs.
KI 2007: 468-472 |
| 6 | EE | Emanuel Kitzelmann,
Ute Schmid:
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities.
Electr. Notes Theor. Comput. Sci. 174(1): 49-63 (2007) |
| 2006 |
|---|
| 5 | EE | Emanuel Kitzelmann,
Ute Schmid:
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.
Journal of Machine Learning Research 7: 429-454 (2006) |
| 2003 |
|---|
| 4 | EE | Holger Bischof,
Sergei Gorlatch,
Emanuel Kitzelmann:
Cost Optimality and Predictability of Parallel Programming with Skeletons.
Euro-Par 2003: 682-693 |
| 3 | EE | Holger Bischof,
Sergei Gorlatch,
Emanuel Kitzelmann:
Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.
PaCT 2003: 415-428 |
| 2 | EE | Holger Bischof,
Sergei Gorlatch,
Emanuel Kitzelmann:
Cost Optimality And Predictability Of Parallel Programming With Skeletons.
Parallel Processing Letters 13(4): 575-587 (2003) |
| 2002 |
|---|
| 1 | EE | Emanuel Kitzelmann,
Ute Schmid,
Martin Mühlpfordt,
Fritz Wysotzki:
Inductive Synthesis of Functional Programs.
AISC 2002: 26-37 |
