Inductive Synthesis of Functional Programs. - Emanuel Kitzelmann; Ute Schmid; Martin Mühlpfordt; Fritz Wysotzki (AISC, 2002)

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

Cost Optimality And Predictability Of Parallel Programming With Skeletons. - Holger Bischof; Sergei Gorlatch; Emanuel Kitzelmann (Parallel Process. Lett., 2003)

An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. - Emanuel Kitzelmann; Ute Schmid (AAIP, 2005)

Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. - Emanuel Kitzelmann; Ute Schmid (RULE@FLoC, 2006)

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. - Emanuel Kitzelmann; Ute Schmid (J. Mach. Learn. Res., 2006)

Data-Driven Induction of Recursive Functions from Input/Output-Examples. - Emanuel Kitzelmann (AAIP, 2007)

Inductive Synthesis of Recursive Functional Programs. - Martin Hofmann 008; Andreas Hirschberger; Emanuel Kitzelmann; Ute Schmid (KI, 2007)

Data-driven Induction of Functional Programs. - Emanuel Kitzelmann (ECAI, 2008)

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. - Martin Hofmann 008; Emanuel Kitzelmann; Ute Schmid (KI, 2008)

Analytical Inductive Functional Programming. - Emanuel Kitzelmann (LOPSTR, 2008)

Porting IgorII from Maude to Haskell. - Martin Hofmann 008; Emanuel Kitzelmann; Ute Schmid (AAIP, 2009)

Inductive Programming: A Survey of Program Synthesis Techniques. - Emanuel Kitzelmann (AAIP, 2009)

Evolutionary Programming Guided by Analytically Generated Seeds. - Neil Crossley; Emanuel Kitzelmann; Martin Hofmann 008; Ute Schmid (IJCCI, 2009)

Inductive Programming. - Ute Schmid; Martin Hofmann 008; Emanuel Kitzelmann (Künstliche Intell., 2009)

A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs. - Emanuel Kitzelmann (2010)

Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme. - Emanuel Kitzelmann (Ausgezeichnete Informatikdissertationen, 2010)

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

Two New Operators for IGOR2 to Increase Synthesis Efficiency. - Emanuel Kitzelmann (AAIP, 2011)

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

Inductive rule learning on the knowledge level. - Ute Schmid; Emanuel Kitzelmann (Cogn. Syst. Res., 2011)

A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. - Emanuel Kitzelmann (Künstliche Intell., 2011)

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). - Sumit Gulwani; Emanuel Kitzelmann; Ute Schmid (Dagstuhl Reports, 2013)

Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2. - Jacqueline Hofmann; Emanuel Kitzelmann; Ute Schmid (KI, 2014)

Inductive programming meets the real world. - Sumit Gulwani; José Hernández-Orallo; Emanuel Kitzelmann; Stephen H. Muggleton; Ute Schmid; Benjamin G. Zorn (Commun. ACM, 2015)

Lernen mit Neuronalen Netzen. - Emanuel Kitzelmann (Künstliche Intelligenz für Lehrkräfte, 2024)

Lernen aus Daten. - Tilman Michaeli; Emanuel Kitzelmann; Stefan Seegerer; Ralf Romeike (Künstliche Intelligenz für Lehrkräfte, 2024)