Emanuel Kitzelmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2015

Inductive programming meets the real worldSumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn. CACM, 58(11):90-99, 2015. [doi]

2014

Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid. ki 2014: 25-36 [doi]

2013

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid. dagstuhl-reports, 3(12):43-66, 2013. [doi]

2011

2010

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IPMartin Hofmann 0008, Emanuel Kitzelmann. PEPM 2010: 93-100 [doi]

A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional ProgramsEmanuel Kitzelmann. PhD thesis, Universität Bamberg, 2010.

Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler ProgrammeEmanuel Kitzelmann. gi 2011: 141-150

2009

2008

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order FrameworkMartin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid. ki 2008: 78-86 [doi]

Analytical Inductive Functional ProgrammingEmanuel Kitzelmann. LOPSTR 2009: 87-102 [doi]

Data-driven Induction of Functional ProgramsEmanuel Kitzelmann. ecai 2008: 781-782 [doi]

2007

Inductive Synthesis of Recursive Functional ProgramsMartin Hofmann 0008, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid. ki 2007: 468-472 [doi]

Data-Driven Induction of Recursive Functions from Input/Output-ExamplesEmanuel Kitzelmann. AAIP 2007: 15-26 [doi]

Inducing Constructor Systems from Example-Terms by Detecting Syntactical RegularitiesEmanuel Kitzelmann, Ute Schmid. ENTCS, 174(1):49-63, 2007. [doi]

2006

Inductive Synthesis of Functional Programs: An Explanation Based Generalization ApproachEmanuel Kitzelmann, Ute Schmid. jmlr, 7:429-454, 2006. [doi]

2005

An Explanation Based Generalization Approach to Inductive Synthesis of Functional ProgramsEmanuel Kitzelmann, Ute Schmid. AAIP 2005: 15-26 [doi]

2003

Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using SkeletonsHolger Bischof, Sergei Gorlatch, Emanuel Kitzelmann. pact 2003: 415-428 [doi]

Cost Optimality and Predictability of Parallel Programming with SkeletonsHolger Bischof, Sergei Gorlatch, Emanuel Kitzelmann. europar 2003: 682-693 [doi]

Cost Optimality And Predictability Of Parallel Programming With SkeletonsHolger Bischof, Sergei Gorlatch, Emanuel Kitzelmann. ppl, 13(4):575-587, 2003. [doi]

2002

Inductive Synthesis of Functional ProgramsEmanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki. AISC 2002: 26-37 [doi]

I/O Guided Detection of List Catamorphisms: Towards Problem Specific Use of Program Templates in IPMartin Hofmann, Emanuel Kitzelmann. PEPM 2010:

Sign in or sign up to see more results.

runs on WebDSL