Search the dblp DataBase

Publications of Author

1. Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki
   Inductive Synthesis of Functional Programs. [Citation Graph (0, 0)][DBLP]
   AISC, 2002, pp:26-37 [Conf]
   
2. Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
   Cost Optimality and Predictability of Parallel Programming with Skeletons. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 2003, pp:682-693 [Conf]
   
3. Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
   Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons. [Citation Graph (0, 0)][DBLP]
   PaCT, 2003, pp:415-428 [Conf]
   
4. Emanuel Kitzelmann, Ute Schmid
   Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:49-63 [Journal]
   
5. Emanuel Kitzelmann, Ute Schmid
   Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. [Citation Graph (0, 0)][DBLP]
   Journal of Machine Learning Research, 2006, v:7, n:, pp:429-454 [Journal]
   
6. Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
   Cost Optimality And Predictability Of Parallel Programming With Skeletons. [Citation Graph (0, 0)][DBLP]
   Parallel Processing Letters, 2003, v:13, n:4, pp:575-587 [Journal]
   
7. Martin Hofmann 0008, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
   Inductive Synthesis of Recursive Functional Programs. [Citation Graph (0, 0)][DBLP]
   KI, 2007, pp:468-472 [Conf]
   
8. 
   Data-driven Induction of Functional Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. [Citation Graph (, )][DBLP]
   
   
10. 
    Analytical Inductive Functional Programming. [Citation Graph (, )][DBLP]
    
    
11. 
    I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. [Citation Graph (, )][DBLP]
    
    
12. 
    Evolutionary Programming Guided by Analytically Generated Seeds. [Citation Graph (, )][DBLP]
    
    
13. 
    Inductive Programming: A Survey of Program Synthesis Techniques. [Citation Graph (, )][DBLP]
    
    
14. 
    Porting IgorII from Maude to Haskell. [Citation Graph (, )][DBLP]