dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Emanuel Kitzelmann Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Raab, Mark Wernsdorfer, Emanuel Kitzelmann, Ute Schmid: From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience. AGI 2011: 333-339
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUte Schmid, Emanuel Kitzelmann: Inductive rule learning on the knowledge level. Cognitive Systems Research 12(3-4): 237-248 (2011)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann: A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. KI 25(2): 179-182 (2011)
2010
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUte Schmid, Emanuel Kitzelmann, Rinus Plasmeijer: Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers Springer 2010
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Emanuel Kitzelmann: I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. PEPM 2010: 93-100
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann: A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs. Universität Bamberg 2010: I-XXI, 1-187
2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Emanuel Kitzelmann, Ute Schmid: Porting IgorII from Maude to Haskell. AAIP 2009: 140-158
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann: Inductive Programming: A Survey of Program Synthesis Techniques. AAIP 2009: 50-73
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid: Evolutionary Programming Guided by Analytically Generated Seeds. IJCCI 2009: 198-203
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUte Schmid, Martin Hofmann, Emanuel Kitzelmann: Inductive Programming. KI 23(2): 38-41 (2009)
2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann: Data-driven Induction of Functional Programs. ECAI 2008: 781-782
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Emanuel Kitzelmann, Ute Schmid: Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. KI 2008: 78-86
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann: Analytical Inductive Functional Programming. LOPSTR 2008: 87-102
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid: Inductive Synthesis of Recursive Functional Programs. KI 2007: 468-472
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann, Ute Schmid: Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. Electr. Notes Theor. Comput. Sci. 174(1): 49-63 (2007)
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann, Ute Schmid: Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. Journal of Machine Learning Research 7: 429-454 (2006)
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Bischof, Sergei Gorlatch, Emanuel Kitzelmann: Cost Optimality and Predictability of Parallel Programming with Skeletons. Euro-Par 2003: 682-693
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Bischof, Sergei Gorlatch, Emanuel Kitzelmann: Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons. PaCT 2003: 415-428
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Bischof, Sergei Gorlatch, Emanuel Kitzelmann: Cost Optimality And Predictability Of Parallel Programming With Skeletons. Parallel Processing Letters 13(4): 575-587 (2003)
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki: Inductive Synthesis of Functional Programs. AISC 2002: 26-37

Coauthor Index

1Holger Bischof [2] [3] [4]
2Neil Crossley [12]
3Sergei Gorlatch [2] [3] [4]
4Andreas Hirschberger [7]
5Martin Hofmann [7] [9] [11] [12] [14] [16]
6Martin Mühlpfordt [1]
7Marinus J. Plasmeijer (Rinus Plasmeijer) [17]
8Marius Raab [20]
9Ute Schmid [1] [5] [6] [7] [9] [11] [12] [14] [17] [19] [20]
10Mark Wernsdorfer [20]
11Fritz Wysotzki [1]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page