Emanuel Kitzelmann

Ute Schmid, Emanuel Kitzelmann: Inductive rule learning on the knowledge level. Cognitive Systems Research 12(3-4): 237-248 (2011)

Emanuel Kitzelmann: A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. KI 25(2): 179-182 (2011)

Marius Raab, Mark Wernsdorfer, Emanuel Kitzelmann, Ute Schmid: From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience. AGI 2011: 333-339

Emanuel Kitzelmann: A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs. Universität Bamberg 2010, pp. I-XXI, 1-187

Martin Hofmann, Emanuel Kitzelmann: I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. PEPM 2010: 93-100

Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.): Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Lecture Notes in Computer Science 5812, Springer 2010, isbn 978-3-642-11930-9

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann: Inductive Programming. KI 23(2): 38-41 (2009)

Emanuel Kitzelmann: Inductive Programming: A Survey of Program Synthesis Techniques. AAIP 2009: 50-73

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid: Porting IgorII from Maude to Haskell. AAIP 2009: 140-158

Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid: Evolutionary Programming Guided by Analytically Generated Seeds. IJCCI 2009: 198-203

Emanuel Kitzelmann: Data-driven Induction of Functional Programs. ECAI 2008: 781-782

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid: Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. KI 2008: 78-86

Emanuel Kitzelmann: Analytical Inductive Functional Programming. LOPSTR 2008: 87-102

Emanuel Kitzelmann, Ute Schmid: Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. Electr. Notes Theor. Comput. Sci. 174(1): 49-63 (2007)

Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid: Inductive Synthesis of Recursive Functional Programs. KI 2007: 468-472

Emanuel Kitzelmann, Ute Schmid: Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. Journal of Machine Learning Research 7: 429-454 (2006)

Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann: Cost Optimality And Predictability Of Parallel Programming With Skeletons. Parallel Processing Letters 13(4): 575-587 (2003)

Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann: Cost Optimality and Predictability of Parallel Programming with Skeletons. Euro-Par 2003: 682-693

Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann: Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons. PaCT 2003: 415-428

Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki: Inductive Synthesis of Functional Programs. AISC 2002: 26-37