This page is outdated. Please visit me at emanuel.kitzelmann.org.

Dipl. Inf. Emanuel Kitzelmann

• Büro / Office
• Lehre / Teaching
• Forschung / Research
• Publikationen / Publications
• Meine alte Homepage / My Old Homepage at TU Berlin

Büro / Office

	Photo
Feldkirchenstr. 21, Room 124 phone: ++49-951-863 2863 fax: ++49-951-863 2862 e-mail: emanuel.kitzelmann(at)wiai.uni-bamberg.de	Office
Thu, 2-3pm (please make an appointment by e-mail)	Consultation-hour

Lehre / Teaching

Übung zur Vorlesung KogSys III: Mensch-Computer Interaktion (Di., 10:00-12:00, F 348) Hauptseminar Philosophische Grundlagen der Kognitionswissenschaft (Mo., 10:00-12:00, F 303) Projekt Kognitive Systeme (F 125)	SS 06
Übung zur Vorlesung KogSys I: Intelligente Agenten [WS 04/05] [WS 05/06] Übung zur Vorlesung KogSys II: Lernende Systeme [WS 04/05] [SS 05] [WS 05/06] Übung zur Vorlesung KogSys III: Mensch-Computer Interaktion [SS 05] Hauptseminar Philosophische Grundlagen der Kognitionswissenschaft [SS 05]	vergangene Semester

Forschung / Research

My research is mostly about inductive synthesis of functional programs from I/O-examples. I will soon describe my research at this place. Until then have a look at the research pages of our group, particularly at the Inductive Program Synthesis page.

• My diploma thesis [PS, 121 pages]
• Slides from a talk about inductive synthesis of functional programs, given in the doctorand colloquium of my department [PDF]

Publikationen / Publications

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Emanuel Kitzelmann, Ute Schmid), Journal of Machine Learning Research, 7, 2006 (Special Topic on Inductive Programming) [PDF]	2006
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs (Emanuel Kitzelmann, Ute Schmid) [Workshop on Approaches and Applications of Inductive Programming (AAIP 2005)] [PDF]	2005
Cost Optimality and Predictability of Parallel Programming with Skeletons (Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann) [Euro-Par 2003] [BibTex-Entry] Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons (Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann) [Parallel Computing Technologies (PaCT 2003)] [BibTex-Entry]	2003
The Double-Scan Skeleton and its Parallelization (Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann) [Technical Report] [BibTex-Entry] Schmid, U., Kitzelmann, E., and Wysotzki, F. (2002). Inductive Program Synthesis: From Theory to Application. In G. Kókai and J. Zeidler (Eds.), Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen, FGML 2002 (7.-9.10.2002, Hannover), pp. 135-141. [PDF, 7 pages] Kitzelmann, E., Schmid, U., Mühlpfordt, M., and Wysotzki, F. (2002). Folding of finite program terms to recursive program schemes. IEEE International Symposium 'Intelligent Systems', Bulgaria, September 10-12, 2002 (Proceedings Volume 1, pp. 144-149), IEEE Press. [PS, 6 pages] Kitzelmann, E., Schmid, U., Mühlpfordt, M., and Wysotzki, F. (2002). Inductive synthesis of functional programs. In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge (Eds.), Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conference, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002, pp. 26-37, Springer, LNAI 2385. [PS, 12 pages]	2002